32 Publications (Page 2 of 2)
2000
Slicing software for model constructionHatcliff, John⋅Hatcliff, John⋅Dwyer, Matthew B⋅Dwyer, Matthew⋅Zheng, Hongjun and Zheng, HongjunHIGH ORDER SYMBOL COMPUT, vol. 13, (no. 4), pp. 315-353, 2000.
| Journal Article
1998
Foundations for partial evaluation of functional programs with computational effects
Hatcliff, John
ACM Computing Surveys, vol. 30, (no. 3es), 1998. | Journal Article
Using partial evaluation to enable verification of concurrent softwareDwyer, Matthew⋅Dwyer, Matthew⋅Hatcliff, John⋅Hatcliff, John⋅Nanda, Muhammad and Nanda, MuhammadACM Computing Surveys, vol. 30, (no. 3es), 1998.
| Journal Article
1994
A generic account of continuation-passing stylesHatcliff, John and Danvy, OlivierAnnual Symposium on Principles of Programming Languages: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 16-19 Jan. 1994. 1994. | Conference Proceeding
The structure of continuation-passing styles (Dissertation)
Hatcliff, John (1994).
1992
CPS-transformation after strictness analysis
Danvy, Olivier and Hatcliff, John
ACM Letters on Programming Languages and Systems, vol. 1, (no. 3), pp. 195-212, 1992. | Journal Article