Hdl Handle:
http://hdl.handle.net/10149/58300
Title:
A theory of generalised substitutions 
Book Title:
ZB 2002: formal specification and development in Z and B
Authors:
Dunne, S. E. (Steve)
Editors:
Bert, D. (Didier); Bowen, J. P. (Jonathan); Henson, M. C. (Martin); Robinson, K. (Ken)
Affiliation:
University of Teesside. School of Computing and Mathematics.
Citation:
Dunne, S. E. (2002) 'A theory of generalised substitutions', 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002, in Bert, D. et al. ZB 2002: formal specification and development in Z and B, Lecture notes in computer science. Heidelberg: Springer Berlin, pp.270-290.
Publisher:
Springer Berlin / Heidelberg
Conference:
2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002.
Issue Date:
1-Jan-2002
URI:
http://hdl.handle.net/10149/58300
DOI:
10.1007/3-540-45648-1_14
Additional Links:
http://www.springerlink.com/content/a986d4xune1p30fb/
Abstract:
The authors augment the usual wp semantics of substitutions with an explicit notion of frame, which allows us to develop a simple selfcontained theory of generalised substitutions outside their usual context of the B Method. The authors formulate three fundamental healthiness conditions which semantically characterise all substitutions, and from which we are able to derive directly, without need of any explicit further appeal to syntax, a number of familiar properties of substitutions, as well as several new ones specifically concerning frames. In doing so we gain some useful insights about the nature of substitutions, which enables us to resolve some hitherto problematic issues concerning substitutions within the B Method.
Type:
Meetings and Proceedings; Book Chapter
Series/Report no.:
Lecture notes in computer science; 2272
ISBN:
987-3-540-43166-4

Full metadata record

DC FieldValue Language
dc.contributor.authorDunne, S. E. (Steve)-
dc.contributor.editorBert, D. (Didier)-
dc.contributor.editorBowen, J. P. (Jonathan)-
dc.contributor.editorHenson, M. C. (Martin)-
dc.contributor.editorRobinson, K. (Ken)-
dc.date.accessioned2009-04-01T10:48:25Z-
dc.date.available2009-04-01T10:48:25Z-
dc.date.issued2002-01-01-
dc.identifier.isbn987-3-540-43166-4-
dc.identifier.doi10.1007/3-540-45648-1_14-
dc.identifier.urihttp://hdl.handle.net/10149/58300-
dc.description.abstractThe authors augment the usual wp semantics of substitutions with an explicit notion of frame, which allows us to develop a simple selfcontained theory of generalised substitutions outside their usual context of the B Method. The authors formulate three fundamental healthiness conditions which semantically characterise all substitutions, and from which we are able to derive directly, without need of any explicit further appeal to syntax, a number of familiar properties of substitutions, as well as several new ones specifically concerning frames. In doing so we gain some useful insights about the nature of substitutions, which enables us to resolve some hitherto problematic issues concerning substitutions within the B Method.-
dc.publisherSpringer Berlin / Heidelberg-
dc.relation.ispartofseriesLecture notes in computer science-
dc.relation.ispartofseries2272-
dc.relation.urlhttp://www.springerlink.com/content/a986d4xune1p30fb/-
dc.titleA theory of generalised substitutions -
dc.typeMeetings and Proceedings-
dc.typeBook Chapter-
dc.contributor.departmentUniversity of Teesside. School of Computing and Mathematics.-
dc.title.bookZB 2002: formal specification and development in Z and B-
dc.identifier.conference2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002.-
ref.assessmentRAE 2008-
or.citation.harvardDunne, S. E. (2002) 'A theory of generalised substitutions', 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002, in Bert, D. et al. ZB 2002: formal specification and development in Z and B, Lecture notes in computer science. Heidelberg: Springer Berlin, pp.270-290.-
prism.startingPage270-
prism.endingPage290-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.