Martin C. Henson

Available identifiers

zbMath Open henson.martin-cMaRDI QIDQ706505

List of research outcomes

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 νZ	2010-04-23	Paper
A Relational Investigation of UTP Designs and Prescriptions	2007-09-14	Paper
An analysis of refinement in an abortive paradigm	2006-11-17	Paper
The specification logic \(\nu \)Z	2006-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4680194	2006-06-02	Paper
A logic for schema-based program development	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4454298	2004-03-08	Paper
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II	2004-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q4436965	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4436963	2003-12-04	Paper
Revising \(Z\). I: Logic and semantics	2001-02-18	Paper
Investigating Z	2000-12-05	Paper
Revising \(Z\). II: Logical development	2000-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4250661	1999-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4264070	1999-09-21	Paper
The standard logic of \(Z\) is inconsistent	1999-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4370284	1998-05-03	Paper
On the Proof Theory of Program Transformations	1995-09-20	Paper
An Intensional Semantics for Elementary Program Transformations	1995-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4841288	1995-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q3478405	1988-01-01	Paper
Higher-order Transformations and Type Simulations	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3316567	1983-01-01	Paper

Research outcomes over time

This page was built for person: Martin C. Henson