Reasoning about programs using operational semantics and the role of a proof support tool
A computer program is a text in a de ned programming language; each such program can be thought of as de ning state transitions | that is, the execution of a program in an initial state will result in a (or possibly one of a set of) nal state(s). A program speci cation de nes properties that relate...
| Main Author: | |
|---|---|
| Published: |
University of Newcastle Upon Tyne
2011
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.566872 |