Quantitative Separation Logic and Programs with Lists.
Marius BozgaRadu IosifSwann PerarnauPublished in: J. Autom. Reason. (2010)
Keyphrases
- recursive programs
- dynamic logic
- declarative semantics
- logic programming
- computational properties
- logic programs
- modal logic
- classical logic
- neural network
- predicate logic
- quantitative and qualitative
- computer programs
- programming environment
- qualitative and quantitative
- asynchronous circuits
- agent programming
- programs written
- functional programs
- fixpoint
- stable models
- probabilistic logic
- control flow
- answer sets
- object oriented
- artificial intelligence
- database