OPTRAN, a Language for the Specification of Program Transformations.
Ingrid GlasnerUlrich MönckeReinhard WilhelmPublished in: Fachtagung über Programmiersprachen (1980)
Keyphrases
- specification language
- computer programs
- operational semantics
- modelling language
- programming environment
- formal language
- high level
- language learning
- formal languages
- intended meaning
- programming language
- programs written
- declarative semantics
- natural language
- action language
- logic programming language
- functional programs
- control flow
- control program
- formal specification
- business rules
- general purpose
- language constructs
- formal semantics
- conceptual model
- highly modular