Martin Churchill

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 1

Top Topics

Modular Architecture

Formal Semantics

Imperative Programs

Top Venues

Ann. Pure Appl. Log.

LNCS Trans. Aspect Oriented Softw. Dev.

Publications

Martin Churchill, Peter D. Mosses, Neil Sculthorpe, Paolo Torrini
Reusable Components of Semantic Specifications. LNCS Trans. Aspect Oriented Softw. Dev. 12 (2015)
Martin Churchill, Peter D. Mosses, Paolo Torrini
Reusable components of semantic specifications. MODULARITY (2014)
Martin Churchill, Peter D. Mosses
Modular Bisimulation Theory for Computations and Values. FoSSaCS (2013)
Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi
Modular Semantics for Transition System Specifications with Negative Premises. CONCUR (2013)
Martin Churchill, Jim Laird, Guy McCusker
Imperative Programs as Proofs via Game Semantics. CoRR (2013)
Martin Churchill, Jim Laird, Guy McCusker
Imperative programs as proofs via game semantics. Ann. Pure Appl. Log. 164 (11) (2013)
Martin Churchill, James Laird, Guy McCusker
Imperative Programs as Proofs via Game Semantics. LICS (2011)
Martin Churchill, James Laird
A Logic of Sequentiality. CSL (2010)
Martin Churchill, James Laird, Guy McCusker
A Concrete Representation of Observational Equivalence for PCF CoRR (2010)