A Compiler for Rewrite Programs in Associative-Commutative Theories.
Pierre-Etienne MoreauHélène KirchnerPublished in: PLILP/ALP (1998)
Keyphrases
- programming language
- theoretical framework
- distributed memory machines
- special case
- java bytecode
- information systems
- domain theory
- program code
- automatic programming
- programming environment
- computer programs
- associative memory
- neural network
- databases
- answer sets
- fixpoint
- cognitive psychology
- design theory
- virtual machine
- program execution
- open source