Logical foundations for more expressive declarative temporal logic programming languages.
Jose GaintzarainPaqui LucioPublished in: ACM Trans. Comput. Log. (2013)
Keyphrases
- programming language
- temporal logic
- logical foundations
- model checking
- high level
- modal logic
- object oriented
- general purpose
- active databases
- software engineering
- strongly typed
- knowledge representation
- logic programming
- verification method
- specification language
- denotational semantics
- linear temporal logic
- lambda calculus
- belief revision