Ian A. Mason. Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 105-117, IEEE Computer Society, 1986.
@inproceedings{Mason86,
title = {Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation},
author = {Ian A. Mason},
year = {1986},
tags = {higher-order transformations, transformation, program transformation},
researchr = {https://researchr.org/publication/Mason86},
cites = {0},
citedby = {0},
pages = {105-117},
booktitle = {Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA},
publisher = {IEEE Computer Society},
}