Martin C. Henson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An analysis of operation-refinement in an abortive paradigm	2013-12-04	Paper
The specification logic \(\nu\mathsf{Z}\)	2013-12-04	Paper
Applications and methodology of \(\nu Z\) Formal Methods: State of the Art and New Directions	2010-04-23	Paper
A Relational Investigation of UTP Designs and Prescriptions Unifying Theories of Programming	2007-09-14	Paper
An analysis of refinement in an abortive paradigm Formal Aspects of Computing	2006-11-17	Paper
The specification logic \(\nu \)Z Formal Aspects of Computing	2006-11-17	Paper
scientific article; zbMATH DE number 2172807 (Why is no real title available?)	2006-06-02	Paper
A logic for schema-based program development Formal Aspects of Computing	2005-02-08	Paper
scientific article; zbMATH DE number 2052653 (Why is no real title available?)	2004-03-08	Paper
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II Logic Journal of the IGPL	2004-03-08	Paper
scientific article; zbMATH DE number 2013581 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 2013579 (Why is no real title available?)	2003-12-04	Paper
Revising \(Z\). I: Logic and semantics Formal Aspects of Computing	2001-02-18	Paper
Investigating Z Journal Of Logic And Computation	2000-12-05	Paper
Revising \(Z\). II: Logical development Formal Aspects of Computing	2000-05-07	Paper
scientific article; zbMATH DE number 1303992 (Why is no real title available?)	1999-11-02	Paper
scientific article; zbMATH DE number 1337630 (Why is no real title available?)	1999-09-21	Paper
The standard logic of \(Z\) is inconsistent Formal Aspects of Computing	1999-06-29	Paper
scientific article; zbMATH DE number 1104398 (Why is no real title available?)	1998-05-03	Paper
On the Proof Theory of Program Transformations Logic Journal of the IGPL	1995-09-20	Paper
An Intensional Semantics for Elementary Program Transformations Journal Of Logic And Computation	1995-09-20	Paper
scientific article; zbMATH DE number 782031 (Why is no real title available?)	1995-08-06	Paper
scientific article; zbMATH DE number 4148081 (Why is no real title available?)	1988-01-01	Paper
Higher-order Transformations and Type Simulations The Computer Journal	1988-01-01	Paper
scientific article; zbMATH DE number 3846848 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Martin C. Henson