Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking.
Andrey NovikovRostislav YavorskiyPublished in: Abstract State Machines (2005)
Keyphrases
- formal semantics
- modelling language
- logical language
- formal language
- operational semantics
- modeling language
- er model
- computer programs
- speech acts
- first order logic
- object oriented
- owl dl ontology
- logical reasoning
- representation language
- test cases
- user interface
- theorem prover
- programming language
- probability distribution
- artificial intelligence
- databases