Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation

Published in: LICS (1986)

Keyphrases

computer programs
case study
general purpose
higher order
imperative programs
information retrieval
information systems
relational databases
operating system
programming environment
java programs