Juarez Muylaert Filho, Geoffrey L. Burn. Continuation Passing Transformation and Abstract Interpretation. In Geoffrey L. Burn, Simon J. Gay, Mark Ryan, editors, Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. Workshops in Computing, pages 247-259, Springer, 1993.
@inproceedings{FilhoB93,
title = {Continuation Passing Transformation and Abstract Interpretation},
author = {Juarez Muylaert Filho and Geoffrey L. Burn},
year = {1993},
tags = {transformation},
researchr = {https://researchr.org/publication/FilhoB93},
cites = {0},
citedby = {0},
pages = {247-259},
booktitle = {Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993},
editor = {Geoffrey L. Burn and Simon J. Gay and Mark Ryan},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19842-3},
}