A robust semantics hides fewer errors

Reeves, Steve; Streader, David

Files

uow-cs-wp-2009-03.pdf

135.9Kb

Citation

Export 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.

Permanent Research Commons link: https://hdl.handle.net/10289/2197

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.

Date

2009-06-10

Type

Working Paper

Series

Computer Science Working Papers

Report No.

03/2009

Publisher

University of Waikato, Department of Computer Science

Collections

2009 Working Papers [7]