A robust semantics hides fewer errors

dc.contributor.author	Reeves, Steve
dc.contributor.author	Streader, David
dc.date.accessioned	2009-06-10T22:25:14Z
dc.date.available	2009-06-10T22:25:14Z
dc.date.issued	2009-06-10
dc.identifier.citation	Reeves, S. & Streader, D. (2009). A robust semantics hides fewer errors. (Working paper 03/2009). Hamilton, New Zealand: University of Waikato, Department of Computer Science.	en
dc.identifier.issn	1177-777X
dc.identifier.uri	https://hdl.handle.net/10289/2197
dc.description.abstract	In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics.	en
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.publisher	University of Waikato, Department of Computer Science	en
dc.relation.ispartofseries	Computer Science Working Papers
dc.subject	computer science	en
dc.subject	formal semantics	en
dc.subject	refinement	en
dc.title	A robust semantics hides fewer errors	en
dc.type	Working Paper	en
uow.relation.series	03/2009
pubs.elements-id	53830
pubs.place-of-publication	Hamilton, New Zealand	en_NZ