Martin C. Henson

Publication Activity (10 Years)

Years Active: 1982-2006
Publications (10 Years): 0

Publications

Moshe Deutsch, Martin C. Henson
A Relational Investigation of UTP Designs and Prescriptions. UTP (2006)
Martin C. Henson, Moshe Deutsch, Besnik Kajtazi
The specification logic nuZ. Formal Aspects Comput. 18 (3) (2006)
Moshe Deutsch, Martin C. Henson
An analysis of refinement in an abortive paradigm. Formal Aspects Comput. 18 (3) (2006)
Moshe Deutsch, Martin C. Henson
An Analysis of Operation-Refinement in an Abortive Paradigm. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Martin C. Henson, Besnik Kajtazi
The Specification Logic vZ. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Moshe Deutsch, Martin C. Henson
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. APSEC (2005)
Moshe Deutsch, Martin C. Henson
An Analysis of Forward Simulation Data Refinement. ZB (2003)
Martin C. Henson, Steve Reeves
A Logic for Schema-Based Program Development. Formal Aspects Comput. 15 (1) (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. Log. J. IGPL 11 (3) (2003)
Moshe Deutsch, Martin C. Henson
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. APSEC (2003)
Martin C. Henson, Steve Reeves, Jonathan P. Bowen
Z Logic and its Consequences. Comput. Artif. Intell. 22 (3-4) (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
Operation Refinement and Monotonicity in the Schema Calculus. ZB (2003)
Moshe Deutsch, Martin C. Henson, Besnik Kajtazi
Modular refinement in novel schema calculi. APSEC (2003)
Moshe Deutsch, Martin C. Henson
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. Log. J. IGPL 11 (3) (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
Results on Formal Stepwise Design in Z. APSEC (2002)
Martin C. Henson, Steve Reeves
Program Development and Specification Refinement in the Schema Calculus. ZB (2000)
Martin C. Henson, Steve Reeves
Investigating Z. J. Log. Comput. 10 (1) (2000)
Martin C. Henson, Steve Reeves
Revising Z: Part I - Logic and Semantics. Formal Aspects Comput. 11 (4) (1999)
Martin C. Henson, Steve Reeves
Revising Z: Part II - Logical Development. Formal Aspects Comput. 11 (4) (1999)
Martin C. Henson
The Standard Logic of Z is Inconsistent. Formal Aspects Comput. 10 (3) (1998)
Martin C. Henson, Steve Reeves
A Logic for the Schema Calculus. ZUM (1998)
Martin C. Henson
An intensional semantics for elementary program transformations. J. Log. Comput. 5 (4) (1995)
Martin C. Henson
On the Proof Theory of Program Transformations. Log. J. IGPL 3 (4) (1995)
Martin C. Henson
Safe Positive Induction in the Programming Logic TK. RCLP (1991)
Martin C. Henson
Information Loss in the Programming Logic TK. Programming Concepts and Methods (1990)
Martin C. Henson
Program Development in the Constructive Set Theory TK. Formal Aspects Comput. 1 (2) (1989)
Martin C. Henson
Realizability Models for Program Construction. MPC (1989)
Martin C. Henson, Raymond Turner
A Constructive Set Theory for Program Development. FSTTCS (1988)
Martin C. Henson
Higher-Order Transformations and Type Simulations. Comput. J. 31 (6) (1988)
Martin C. Henson, Raymond Turner
Completion Semantics, Interpreter Generation. POPL (1982)