Martin C. Henson - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Martin C. Henson' as author, editor, or advisor:

An Analysis of Backward Simulation Data-Refinement for Partial Relation SemanticsMoshe Deutsch, Martin C. Henson. apsec 2003: 38-48 [doi]
A Logic for the Schema CalculusMartin C. Henson, Steve Reeves. zum 1998: 172-191
An Analysis of Operation-Refinement in an Abortive ParadigmMoshe Deutsch, Martin C. Henson. ENTCS, 137(2):67-92, 2005. [doi]
Information Loss in the Programming Logic TKMartin C. Henson. ifip2 1990: 523-560
Investigating ZMartin C. Henson, Steve Reeves. logcom, 10(1):43-73, 2000.
Modular refinement in novel schema calculiMoshe Deutsch, Martin C. Henson, Besnik Kajtazi. apsec 2003: 197 [doi]
On the Proof Theory of Program TransformationsMartin C. Henson. igpl, 3(4):643-671, 1995. [doi]
Realizability Models for Program ConstructionMartin C. Henson. mpc 1989: 256-272
Revising Z: Part II - Logical DevelopmentMartin C. Henson, Steve Reeves. fac, 11(4):381-401, 1999. [doi]
Completion Semantics, Interpreter GenerationMartin C. Henson, Raymond Turner. POPL 1982: 242-254
Program Development and Specification Refinement in the Schema CalculusMartin C. Henson, Steve Reeves. zum 2000: 344-362 [doi]
Safe Positive Induction in the Programming Logic TKMartin C. Henson. lpar 1992: 215-231
An intensional semantics for elementary program transformationsMartin C. Henson. logcom, 5(4):423-447, 1995.
An analysis of refinement in an abortive paradigmMoshe Deutsch, Martin C. Henson. fac, 18(3):329-363, 2006. [doi]
Results on Formal Stepwise Design in ZMoshe Deutsch, Martin C. Henson, Steve Reeves. apsec 2002: 33-42 [doi]
The Standard Logic of Z is InconsistentMartin C. Henson. fac, 10(3):243-247, 1998. [doi]
Higher-Order Transformations and Type SimulationsMartin C. Henson. cj, 31(6):517-524, 1988.
The specification logic nuZMartin C. Henson, Moshe Deutsch, Besnik Kajtazi. fac, 18(3):364-395, 2006. [doi]
A Relational Investigation of UTP Designs and PrescriptionsMoshe Deutsch, Martin C. Henson. utp 2006: 101-122 [doi]
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, ProceedingsHelen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, Volume 3455 of Lecture Notes in Computer Science, Springer, 2005.
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics IIMoshe Deutsch, Martin C. Henson. igpl, 11(3):319-352, 2003. [doi]
An Analysis of Forward Simulation Data RefinementMoshe Deutsch, Martin C. Henson. zum 2003: 148-167 [doi]
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-RefinementMoshe Deutsch, Martin C. Henson. apsec 2005: 149-158 [doi]
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics IMoshe Deutsch, Martin C. Henson, Steve Reeves. igpl, 11(3):287-317, 2003. [doi]
Operation Refinement and Monotonicity in the Schema CalculusMoshe Deutsch, Martin C. Henson, Steve Reeves. zum 2003: 103-126 [doi]
Revising Z: Part I - Logic and SemanticsMartin C. Henson, Steve Reeves. fac, 11(4):359-380, 1999. [doi]
Program Development in the Constructive Set Theory TKMartin C. Henson. fac, 1(2):173-192, 1989.
The Specification Logic vZMartin C. Henson, Besnik Kajtazi. ENTCS, 137(2):111-129, 2005. [doi]
A Constructive Set Theory for Program DevelopmentMartin C. Henson, Raymond Turner. fsttcs 1988: 329-347
A Logic for Schema-Based Program DevelopmentMartin C. Henson, Steve Reeves. fac, 15(1):48-83, 2003. [doi]

runs on WebDSL