Martin C. Henson

Affiliations:
  • University of Essex, School of Computer Science and Electronic Engineering, UK


According to our database1, Martin C. Henson authored at least 30 papers between 1982 and 2006.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2006
The specification logic nuZ.
Formal Aspects Comput., 2006

An analysis of refinement in an abortive paradigm.
Formal Aspects Comput., 2006

A Relational Investigation of UTP Designs and Prescriptions.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

2005
The Specification Logic vZ.
Proceedings of the REFINE 2005 Workshop, 2005

An Analysis of Operation-Refinement in an Abortive Paradigm.
Proceedings of the REFINE 2005 Workshop, 2005

An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2003
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I.
Log. J. IGPL, 2003

An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II.
Log. J. IGPL, 2003

A Logic for Schema-Based Program Development.
Formal Aspects Comput., 2003

Z Logic and its Consequences.
Comput. Artif. Intell., 2003

Operation Refinement and Monotonicity in the Schema Calculus.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

An Analysis of Forward Simulation Data Refinement.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Modular refinement in novel schema calculi.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002
Results on Formal Stepwise Design in Z.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2000
Investigating Z.
J. Log. Comput., 2000

Program Development and Specification Refinement in the Schema Calculus.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1999
Revising Z: Part II - Logical Development.
Formal Aspects Comput., 1999

Revising Z: Part I - Logic and Semantics.
Formal Aspects Comput., 1999

1998
The Standard Logic of Z is Inconsistent.
Formal Aspects Comput., 1998

A Logic for the Schema Calculus.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1995
An intensional semantics for elementary program transformations.
J. Log. Comput., 1995

On the Proof Theory of Program Transformations.
Log. J. IGPL, 1995

1991
Safe Positive Induction in the Programming Logic TK.
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

1990
Information Loss in the Programming Logic TK.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

1989
Program Development in the Constructive Set Theory TK.
Formal Aspects Comput., 1989

Realizability Models for Program Construction.
Proceedings of the Mathematics of Program Construction, 1989

1988
Higher-Order Transformations and Type Simulations.
Comput. J., 1988

A Constructive Set Theory for Program Development.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

1982
Completion Semantics, Interpreter Generation.
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982


  Loading...