An Object-Oriented Logic Language for Modular System Specification.
Angelo MorzentiPierluigi San PietroPublished in: ECOOP (1991)
Keyphrases
- formal language
- specification language
- operational semantics
- linear temporal logic
- highly modular
- object oriented
- constraint language
- programming language
- formal languages
- natural language
- intuitionistic logic
- action language
- dynamic logic
- predicate logic
- modal logic
- highly expressive
- asynchronous circuits
- proof theory
- predicate calculus
- transition systems
- language learning
- formal specification
- formal semantics
- modal operators
- modelling language
- high level
- derivation rules
- formal logic
- agent programming
- reasoning about actions
- definition language
- formal theory
- modular architecture
- description language
- state machine
- logic programming language
- conceptual model
- logic programming
- computational linguistics
- model theoretic