A Sound and Complete Axiomatization of Operational ...

Ian Mason

In this paper we present a formal system for deriving assertions about programs with memory.

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB