Martin Churchill
- Research Area(s)
- Software Engineering
- Software Systems
Google Publications
-
Reusable Components of Semantic Specifications
Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini
Lecture Notes in Computer Science, vol. 8989 (2015), pp. 132-179
Previous Publications
-
Imperative Programs as Proofs via Game Semantics
Martin Churchill, Jim Laird, Guy McCusker
CoRR, vol. abs/1307.2004 (2013)
-
Imperative programs as proofs via game semantics
Martin Churchill, Jim Laird, Guy McCusker
Ann. Pure Appl. Logic, vol. 164 (2013), pp. 1038-1078
-
Modular Bisimulation Theory for Computations and Values
Martin Churchill, Peter D. Mosses
FoSSaCS (2013), pp. 97-112
-
Modular Semantics for Transition System Specifications with Negative Premises
Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi
CONCUR (2013), pp. 46-60
-
Imperative Programs as Proofs via Game Semantics
Martin Churchill, James Laird, Guy McCusker
LICS (2011), pp. 65-74
-
A Concrete Representation of Observational Equivalence for PCF
Martin Churchill, James Laird, Guy McCusker
CoRR, vol. abs/1003.0107 (2010)
-
A Logic of Sequentiality
Martin Churchill, James Laird
CSL (2010), pp. 215-229
