Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories.
Hélène KirchnerPierre-Etienne MoreauPublished in: J. Funct. Program. (2001)
Keyphrases
- programming language
- database languages
- computer programs
- high level programming language
- query rewriting
- rewrite rules
- programming environment
- general purpose
- java bytecode
- object oriented
- program code
- strongly typed
- programming language constructs
- high level
- programs written
- functional language
- object oriented programming
- functional programming
- concurrent programming
- logic programming
- software engineering
- specification language
- query optimization
- object oriented concepts
- data abstraction
- programming tool
- java language
- object oriented databases
- conjunctive queries
- database systems