A Language for Specifying Program Transformations.
David HildumJacques CohenPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- computer programs
- programming environment
- programming language
- functional programs
- programs written
- declarative semantics
- intended meaning
- language learning
- natural language
- program execution
- logic programming language
- database
- language processing
- java programming
- java programs
- computational linguistics
- static analysis
- conceptual graphs
- modeling language
- context dependent
- deductive databases
- test cases
- operating system
- database systems