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.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.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.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 |
pubs.elements-id | 53830 | |
pubs.place-of-publication | Hamilton, New Zealand | en_NZ |
uow.relation.series | 03/2009 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- uow-cs-wp-2009-03.pdf
- Size:
- 135.91 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.79 KB
- Format:
- Item-specific license agreed upon to submission
- Description: