A specification logic for concurrent object-oriented programming.
Giorgio DelzannoDidier GalmicheMaurizio MartelliPublished in: Math. Struct. Comput. Sci. (1999)
Keyphrases
- object oriented programming
- exception handling
- programming language
- object oriented
- programming concepts
- key concepts
- asynchronous circuits
- hybrid automata
- state machine
- linear temporal logic
- logic programming
- functional programming
- formal language
- transition systems
- learning perl
- modal logic
- formal specification
- high level
- object oriented languages
- operational semantics
- object oriented databases
- databases
- object oriented concepts
- website
- e learning