Ian A. Mason, Carolyn L. Talcott. Program Transformation via Contextual Assertions. In Neil D. Jones, Masami Hagiya, Masahiko Sato, editors, Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Volume 792 of Lecture Notes in Computer Science, pages 225-254, Springer, 1994.
@inproceedings{MasonT94,
title = {Program Transformation via Contextual Assertions},
author = {Ian A. Mason and Carolyn L. Talcott},
year = {1994},
tags = {transformation, program transformation},
researchr = {https://researchr.org/publication/MasonT94},
cites = {0},
citedby = {0},
pages = {225-254},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
editor = {Neil D. Jones and Masami Hagiya and Masahiko Sato},
volume = {792},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
}