William D. Young, "Proof Logs for Low-Water-Mark Problem Using Non-Interference", Internal note 213, Institute for Computer Science and Computing Applications, The University of Texas at Austin. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Comparing Gypsy and the Boyer-Moore Logic for Specifying.. - Kaufmann, Young (1987) (1 citation) Self-citation (Young) (Correct)
....code in upper case. Enough elaboration is given here (we hope) to give a clear idea of the nature and details of each of the two specifications. The reader interested in the complete set of definitions and lemmas is referred to the appendices. The proof logs for the Gypsy version appear in [28]. The Main Data Types The notions (data types) of process, object, state, and instruction appear in each specification. To avoid entanglement in syntactic details, we give only an outline of the main data types here, namely state, level, and instruction sequence (and relevant auxiliary types) ....
William D. Young, "Proof Logs for Low-Water-Mark Problem Using Non-Interference", Internal note 213, Institute for Computer Science and Computing Applications, The University of Texas at Austin.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC