The MacBeth Specification, Modeling and Programming Language.
Carlos PucholSubramanian K. IyerPublished in: IEEE Real Time Technology and Applications Symposium (2001)
Keyphrases
- programming language
- specification language
- high level
- general purpose
- logic programming
- strongly typed
- object oriented
- programming environment
- software engineering
- object oriented programming
- object oriented concepts
- high level programming language
- denotational semantics
- computer programs
- database languages
- programming paradigms
- domain specific languages
- concurrent programming
- databases
- formal specification
- data management
- abstract data types
- functional language
- artificial intelligence
- machine learning