Separation Logic Contracts for a Java-Like Language with Fork/Join.
Christian HaackClément HurlinPublished in: AMAST (2008)
Keyphrases
- programming language
- natural language
- object oriented
- logic programming
- object oriented languages
- formal language
- dynamic logic
- proof theory
- programs written
- intuitionistic logic
- java programming
- formal theory
- object oriented programming
- modal logic
- highly expressive
- source code
- language learning
- linear temporal logic
- operational semantics
- java language
- supply chain
- java bytecode
- agent programming
- order sorted
- java virtual machine
- predicate calculus
- predicate logic
- conditional logic
- join algorithms
- query optimization
- web applications
- modal operators
- java programs
- model theoretic
- formal logic
- classical logic
- high level