By the same authors

Typechecking Z

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2000
Original languageUndefined/Unknown


This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather information about uses of declarations as needed to support interactive browsing and formal reasoning; that it fit the description given by draft standard Z; and that it be able to check some particular extenstions to Z that are intended to allow explicit definitions of schema calculus operators. The paper presents a specification for such a Z typechecker, which we have implemented.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations