Martin C. Henson

32 papers A* 1B 1C 4Journal 14Unranked 10

Year	Rank	Type	Title / Venue / Authors
2006	—	`conf`	A Relational Investigation of UTP Designs and Prescriptions. UTP Moshe Deutsch, Martin C. Henson
2006	J	`jnl`	An analysis of refinement in an abortive paradigm. Formal Aspects Comput. Moshe Deutsch, Martin C. Henson
2006	J	`jnl`	The specification logic nuZ. Formal Aspects Comput. Martin C. Henson, Moshe Deutsch, Besnik Kajtazi
2005	C	`conf`	An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. APSEC Moshe Deutsch, Martin C. Henson
2005	—	`conf`	An Analysis of Operation-Refinement in an Abortive Paradigm. REFINE Moshe Deutsch, Martin C. Henson
2005	—	`conf`	The Specification Logic vZ. REFINE Martin C. Henson, Besnik Kajtazi
2005	—	`ed.`	ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ZB Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider
2003	J	`jnl`	A Logic for Schema-Based Program Development. Formal Aspects Comput. Martin C. Henson, Steve Reeves
2003	C	`conf`	An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. APSEC Moshe Deutsch, Martin C. Henson
2003	—	`conf`	An Analysis of Forward Simulation Data Refinement. ZB Moshe Deutsch, Martin C. Henson
2003	J	`jnl`	An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. Log. J. IGPL Moshe Deutsch, Martin C. Henson, Steve Reeves
2003	J	`jnl`	An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. Log. J. IGPL Moshe Deutsch, Martin C. Henson
2003	C	`conf`	Modular refinement in novel schema calculi. APSEC Moshe Deutsch, Martin C. Henson, Besnik Kajtazi
2003	—	`conf`	Operation Refinement and Monotonicity in the Schema Calculus. ZB Moshe Deutsch, Martin C. Henson, Steve Reeves
2003	J	`jnl`	Z Logic and its Consequences. Comput. Artif. Intell. Martin C. Henson, Steve Reeves, Jonathan P. Bowen
2002	C	`conf`	Results on Formal Stepwise Design in Z. APSEC Moshe Deutsch, Martin C. Henson, Steve Reeves
2002	—	`ed.`	ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings ZB Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
2000	J	`jnl`	Investigating Z. J. Log. Comput. Martin C. Henson, Steve Reeves
2000	—	`conf`	Program Development and Specification Refinement in the Schema Calculus. ZB Martin C. Henson, Steve Reeves
1999	J	`jnl`	Revising Z: Part I - Logic and Semantics. Formal Aspects Comput. Martin C. Henson, Steve Reeves
1999	J	`jnl`	Revising Z: Part II - Logical Development. Formal Aspects Comput. Martin C. Henson, Steve Reeves
1998	—	`conf`	A Logic for the Schema Calculus. ZUM Martin C. Henson, Steve Reeves
1998	J	`jnl`	The Standard Logic of Z is Inconsistent. Formal Aspects Comput. Martin C. Henson
1995	J	`jnl`	An intensional semantics for elementary program transformations. J. Log. Comput. Martin C. Henson
1995	J	`jnl`	On the Proof Theory of Program Transformations. Log. J. IGPL Martin C. Henson
1991	—	`conf`	Safe Positive Induction in the Programming Logic TK. RCLP Martin C. Henson
1990	—	`conf`	Information Loss in the Programming Logic TK. Programming Concepts and Methods Martin C. Henson
1989	J	`jnl`	Program Development in the Constructive Set Theory TK. Formal Aspects Comput. Martin C. Henson
1989	B	`conf`	Realizability Models for Program Construction. MPC Martin C. Henson
1988	—	`conf`	A Constructive Set Theory for Program Development. FSTTCS Martin C. Henson, Raymond Turner
1988	J	`jnl`	Higher-Order Transformations and Type Simulations. Comput. J. Martin C. Henson
1982	A*	`conf`	Completion Semantics, Interpreter Generation. POPL Martin C. Henson, Raymond Turner