BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Japan
1 × United Kingdom
Collaborated with:
C.L.Ong A.S.Murawski N.Tzevelekos R.P.Neatherway Toby Cathcart Burn
Talks about:
higher (2) order (2) check (2) intersect (1) constrain (1) bisimilar (1) algorithm (1) automata (1) abstract (1) travers (1)

Person: Steven J. Ramsay

DBLP DBLP: Ramsay:Steven_J=

Contributed to:

LICS 20152015
PPDP 20142014
ICFP 20122012
POPL 20182018

Wrote 4 papers:

LICS-2015-MurawskiRT #automaton #similarity
Bisimilarity in Fresh-Register Automata (ASM, SJR, NT), pp. 156–167.
PPDP-2014-Ramsay #abstraction #recursion #safety
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.
ICFP-2012-NeatherwayRO #algorithm #higher-order #model checking
A traversal-based algorithm for higher-order model checking (RPN, SJR, CHLO), pp. 353–364.
POPL-2018-BurnOR #higher-order #horn clause #verification
Higher-order constrained horn clauses for verification (TCB, CHLO, SJR), p. 28.

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.