Browsing by Author "Henson, Martin C."

Now showing items 1-5 of 12

  • An analysis of total correctness refinement models for partial relation semantics I

    Deutsch, Moshe; Henson, Martin C.; Reeves, Steve (Oxford University Press, 2003)
    This is the first of a series of papers devoted to the thorough investigation of (total correctness) refinement based on an underlying partial relational model. In this paper we restrict attention to operation refinement. ...
  • Investigating Z

    Henson, Martin C.; Reeves, Steve (Oxford University Press, 2003)
    In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete shema ...
  • A logic for schema-based program development

    Henson, Martin C.; Reeves, Steve (Springer-Verlag London Ltd, 2003-07-01)
    We show how a theory of specification refinement and program development can be constructed as a conservative extension of our existing logic for Z. The resulting system can be set up as a development method for a Z-like ...
  • A logic for the schema calculus

    Henson, Martin C.; Reeves, Steve (University of Waikato, Department of Computer Science, 1998-03)
    In this paper we introduce and investigate a logic for the schema calculus of Z. The schema calculus is arguably the reason for Z’s popularity but so far no true calculus (a sound system of rules for reasoning about schema ...
  • New foundations for Z

    Henson, Martin C.; Reeves, Steve (University of Waikato, Department of Computer Science, 1998-03)
    We provide a constructive and intensional interpretation for the specification language Z in a theory of operations and kinds T. The motivation is to facilitate the development of an integrated approach to program construction. ...

Martin C. Henson has 3 co-authors in Research Commons.