Formalising General Correctness | Zendy

Jeremy E. Dawson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formalising General Correctness

Author(s) -

Jeremy E. Dawson

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2003.12.004

Subject(s) - correctness , interpretation (philosophy) , programming language , computer science , abstract interpretation , semantics (computer science) , operational semantics , calculus (dental) , algebra over a field , mathematics , pure mathematics , medicine , dentistry

We consider the abstract command language of Dunne, and his account of general correctness. We provide an operational interpretation of his abstract commands, and use the automated theorem proving system Isabelle to prove that this operational interpretation leads to Dunne's semantics. We consider the difficulties in precisely formalising some formulae found in the literature

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research