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 × Canada
1 × Czech Republic
1 × Italy
Collaborated with:
J.Laird P.D.Mosses G.McCusker
Talks about:
sequenti (1) program (1) modular (1) bisimul (1) theori (1) semant (1) comput (1) proof (1) logic (1) imper (1)

Person: Martin Churchill

DBLP DBLP: Churchill:Martin

Contributed to:

FOSSACS 20132013
LICS 20112011
CSL 20102010

Wrote 3 papers:

FoSSaCS-2013-ChurchillM #bisimulation #composition
Modular Bisimulation Theory for Computations and Values (MC, PDM), pp. 97–112.
LICS-2011-ChurchillLM #game studies #imperative #proving #semantics #source code
Imperative Programs as Proofs via Game Semantics (MC, JL, GM), pp. 65–74.
CSL-2010-ChurchillL #logic
A Logic of Sequentiality (MC, JL), pp. 215–229.

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.