Specification and Prototyping of a Compiler for a Small Applicative Language.
Heinrich HußmannChristian RankPublished in: Algebraic Methods (1987)
Keyphrases
- programming language
- specification language
- code generation
- highly modular
- general purpose
- modeling language
- formal language
- high level
- small number
- operational semantics
- language learning
- formal languages
- constraint language
- definition language
- action language
- development process
- application development
- modelling language
- software development
- java bytecode
- language processing
- rapid prototyping
- representation language
- programming environment
- information systems
- description language
- formal specification
- knowledge representation
- case study
- web services