BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Neatherway:Robin_P=

Contributed to:

POPL 20142014
ICFP 20122012

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.