Paper: Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation (at LICS 1986)
Authors: Ian A. MasonAbstract
No Abstract Available
BibTeX
@InProceedings{Mason-EquivalenceofFirstO, author = {Ian A. Mason}, title = {Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {105--117 }, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }