University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Steven Ramsay : Publications

By dateBy titleBy typeBibtex

[1]

A Traversal Based Algorithm for Higher−Order Model Checking

Robin P. Neatherway‚ C.−H. Luke Ong and Steven J. Ramsay

In Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP '12). 2012.

Details | BibTeX

[2]

Model Checking Liveness Properties of Higher−Order Functional Programs

Martin M. Lester‚ Robin P. Neatherway‚ C.−H. Luke Ong and Steven J. Ramsay

2010.

Details | BibTeX

[3]

Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types

C.−H. Luke Ong and Steven J. Ramsay

In Proceedings of the 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011.

Details | BibTeX | Download  (pdf)