Browsing by Subject "formal semantics"

Now showing items 1-2 of 2

  • A robust semantics hides fewer errors

    Reeves, Steve; Streader, David (Springer, 2009)
    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 ...

  • A robust semantics hides fewer errors

    Reeves, Steve; Streader, David (University of Waikato, Department of Computer Science, 2009-06-10)
    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 ...