David A. Schmidt. Structure-preserving binary relations for program abstraction. In The Essence of Computation: Complexity, Analysis, Transformation -- Essays dedicated to Neil D. Jones, number 2566 in Lecture Notes in Computer Science. Springer-Verlag, 2002. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) (Correct)
No context found.
David A. Schmidt. Structure-preserving binary relations for program abstraction. In The Essence of Computation: Complexity, Analysis, Transformation -- Essays dedicated to Neil D. Jones, number 2566 in Lecture Notes in Computer Science. Springer-Verlag, 2002.
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