UMIST OBJ: A Language for Executable Program Specifications.
Robin M. GallimoreDerek ColemanVictoria StavridouPublished in: Comput. J. (1989)
Keyphrases
- control flow
- formal specification
- specification language
- attribute grammars
- computer programs
- programming environment
- programming language
- recursive programs
- process algebra
- concurrent systems
- data flow
- operational semantics
- high level
- language learning
- intended meaning
- xml processing
- video sequences
- program synthesis
- programs written
- delay insensitive
- semantically equivalent
- concurrent programming
- controlled natural language
- natural language
- object oriented
- conceptual models
- software engineering
- modelling language
- formal language
- context free
- software testing
- object oriented programming