Travelled to:1 × Denmark
1 × USA
Collaborated with:C.L.Ong S.J.Ramsay S.J.Ramsay
Talks about:higher (2) order (2) model (2) check (2) algorithm (1) approach (1) abstract (1) travers (1) direct (1) refin (1)
Person: Robin P. Neatherway
DBLP: Neatherway:Robin_P=
Contributed to:
2014
2012Wrote 2 papers:
- POPL-2014-RamsayNO #abstraction #approach #higher-order #model checking #refinement
- A type-directed abstraction refinement approach to higher-order model checking (SJR, RPN, CHLO), pp. 61–72.
- ICFP-2012-NeatherwayRO #algorithm #higher-order #model checking
- A traversal-based algorithm for higher-order model checking (RPN, SJR, CHLO), pp. 353–364.