Browse by author
Lookup NU author(s): Professor John Fitzgerald
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Decisions about the logic underpinning a formal specification language have important consequences for the utility of the formalism. This paper describes the major features of the typed Logic of Partial Functions~(LPF) as it has been implemented in support of the Vienna Development Method's Specification Language, VDM-SL. It compares attempts to realise the logic in different environments: a user-centred proof support tool, a specification interpreter and an automated proof tool. Future directions in integrated proof support for the language are suggested.
Author(s): Fitzgerald JS
Editor(s): Bjorner, D; Henson, MC
Publication type: Book Chapter
Publication status: Published
Book Title: Logics of Specification Languages
Year: 2007
Pages: 453-487
Series Title: Monographs in Theoretical Computer Science (An EATCS Series)
Publisher: Springer
Place Published: Berlin
URL: http://dx.doi.org/10.1007/978-3-540-74107-7_9
DOI: 10.1007/978-3-540-74107-7_9
Notes: To Appear. Also Technical Report CS-TR-984, School of Computing Science, Newcastle University, October 2006. Online ISBN: 9783540741077
Library holdings: Search Newcastle University Library for this item
ISBN: 9783540741060
