32 Publications (Page 2 of 2)
2000
Slicing software for model construction
Hatcliff, JohnHatcliff, JohnDwyer, Matthew BDwyer, MatthewZheng, Hongjun and Zheng, Hongjun
HIGH 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 software
Dwyer, MatthewDwyer, MatthewHatcliff, JohnHatcliff, JohnNanda, Muhammad and Nanda, Muhammad
ACM Computing Surveys, vol. 30, (no. 3es), 1998. | Journal Article
1994
A generic account of continuation-passing styles
Hatcliff, John and Danvy, Olivier
Annual 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
n.d.no date or unknown
Foundations of the Bandera Abstraction Tools
Hatcliff, JohnDwyer, MatthewPasareanu, Corina and Robby
. | Journal Article