Martin C. Henson

Available identifiers

zbMath Open henson.martin-cMaRDI QIDQ706505

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2863832	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2863834	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/Q4436963	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4436965	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin C. Henson