Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools.
Arnd Poetzsch-HeffterPublished in: AMAST (1996)
Keyphrases
- programming language
- specification language
- object oriented programming
- programming environment
- modelling language
- programming skills
- scripting language
- programming environments
- computer programs
- oriented programming
- programming tool
- code generation
- object oriented programming language
- operational semantics
- formal languages
- exception handling
- domain specific languages
- high level
- conceptual models
- language learning
- formal methods
- java programming
- programs written
- software tools
- language constructs
- development environment
- program understanding
- reactive systems
- general purpose
- language processing
- formal specification
- programming course
- modeling language
- computer programming
- operating system
- tool suite
- software development environment
- graphical interfaces
- natural language