• DocumentCode
    3232940
  • Title

    Refining exceptions using King and Morgan´s exit construct

  • Author

    Watson, Geoffrey

  • Author_Institution
    Software Verification Res. Centre, Queensland Univ., Brisbane, Qld., Australia
  • fYear
    2002
  • fDate
    2002
  • Firstpage
    43
  • Lastpage
    51
  • Abstract
    In this paper we discuss the refinement of exceptions. We extend the Guarded Command Language normally used in the refinement calculus, with a simple exception handling statement, which we model using King and Morgan´s exit statement (1995). We derive some variants of King and Morgan´s refinement laws for their exit statement, and illustrate the approach with an example of a refinement of a simple program.
  • Keywords
    exception handling; program verification; refinement calculus; Guarded Command Language; exit statement; refinement calculus; refinement laws; simple exception handling statement; Assembly; Australia; Calculus; Character generation; Command languages; Computer languages; High level languages; Program processors; Software engineering; Software standards;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Conference, 2002. Ninth Asia-Pacific
  • ISSN
    1530-1362
  • Print_ISBN
    0-7695-1850-8
  • Type

    conf

  • DOI
    10.1109/APSEC.2002.1182974
  • Filename
    1182974
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3232940