A Correctness and Incorrectness Program Logic.
Roberto BruniRoberto GiacobazziRoberta GoriFrancesco RanzatoPublished in: J. ACM (2023)
Keyphrases
- declarative semantics
- databases
- asynchronous circuits
- program execution
- static analysis
- computer programs
- logic programs
- logic programming
- multi valued
- defeasible logic
- predicate logic
- modal logic
- deductive databases
- expert systems
- multi agent systems
- probability theory
- bayesian networks
- neural network
- data sets
- semantics of logic programs