Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2009 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2009 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      A robust semantics hides fewer errors

      Reeves, Steve; Streader, David
      Thumbnail
      Files
      uow-cs-wp-2009-03.pdf
      135.9Kb
      Find in your library  
      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]
      Show full item record  

      Usage

      Downloads, last 12 months
      77
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement