OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences.
Peter LippsUlrich MönckeReinhard WilhelmPublished in: CC (1988)
Keyphrases
- specification language
- modelling language
- computer programs
- programming language
- formal language
- intended meaning
- operational semantics
- programming environment
- action language
- formal languages
- semantically equivalent
- control program
- programs written
- control flow
- definition language
- declarative semantics
- functional programs
- conceptual model
- natural language
- high level
- case study
- linear temporal logic
- neural network
- concurrent programming
- exception handling
- language processing
- language learning
- software engineering
- web services