Graph Transformation for Specification and Programming.
Marc AndriesGregor EngelsAnnegret HabelBerthold HoffmannHans-Jörg KreowskiSabine KuskeDetlef PlumpAndy SchürrGabriele TaentzerPublished in: Sci. Comput. Program. (1999)
Keyphrases
- graph transformation
- reactive systems
- programming language
- programming environment
- formal specification
- neural network
- fully functional
- code generation
- programming course
- computer programming
- high level
- development environment
- user defined
- general purpose
- specification language
- formal verification
- e learning
- machine learning
- databases
- programming education