Robin P. Neatherway

According to our database, Robin P. Neatherway authored at least 5 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Verifying Liveness Properties of ML Programs.

Martin Lester, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay

CoRR, 2020

2014

Higher-order model checking with traversals.

Robin P. Neatherway

PhD thesis, 2014

TravMC2: higher-order model checking for alternating parity tree automata.

Robin P. Neatherway, C.-H. Luke Ong

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

A type-directed abstraction refinement approach to higher-order model checking.

Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2012

A traversal-based algorithm for higher-order model checking.

Robin P. Neatherway, Steven J. Ramsay, C.-H. Luke Ong

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012