Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001066151/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog contributor b1204829.
- catalog contributor b1204830.
- catalog created "1971.".
- catalog date "1971".
- catalog date "1971.".
- catalog dateCopyrighted "1971.".
- catalog description "Axiom systems for simple assignment statements / J.W. de Bakker -- A property of linear conditionals / J.W. de Bakker -- Formalization of storage properties / H. Bekic and K. Walk -- Program schemes, programs, and logic / D.C. Cooper -- Algebraic theories and program schemes / C.C. Elgot -- Structure and meaning of elementary programs / E. Engeler -- Procedures and parameters : an axiomatic approach / C.A.R. Hoare -- Semantics of ALGOL-like statements / S. Igarashi -- Proving correctness of implementation techniques / C.B. Jones and P. Lucas -- Examples of formal semantics / D.E. Knuth -- Experience with inductive assertions for proving programs correct / R.L. London -- Mathematical theory of partial correctness / Z. Manna -- Towards automatic program synthesis / Z. Manna and R.J. Waldinger -- The lattice of flow diagrams / D.S. Scott.".
- catalog description "Bibliography: p. [367]-372.".
- catalog extent "372 p.".
- catalog hasFormat "Symposium on semantics of algorithmic languages.".
- catalog identifier "0387053778 (New York)".
- catalog isFormatOf "Symposium on semantics of algorithmic languages.".
- catalog isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 188.".
- catalog isPartOf "Lecture notes in mathematics ; 188".
- catalog issued "1971".
- catalog issued "1971.".
- catalog language "eng".
- catalog publisher "Berlin, New York, Springer-Verlag,".
- catalog relation "Symposium on semantics of algorithmic languages.".
- catalog subject "Algorithms Congresses.".
- catalog subject "Computer algorithms Congresses.".
- catalog subject "Formal languages Congresses.".
- catalog subject "Programming languages (Electronic computers) Semantics Congresses.".
- catalog subject "QA3 .L28 no. 188".
- catalog tableOfContents "Axiom systems for simple assignment statements / J.W. de Bakker -- A property of linear conditionals / J.W. de Bakker -- Formalization of storage properties / H. Bekic and K. Walk -- Program schemes, programs, and logic / D.C. Cooper -- Algebraic theories and program schemes / C.C. Elgot -- Structure and meaning of elementary programs / E. Engeler -- Procedures and parameters : an axiomatic approach / C.A.R. Hoare -- Semantics of ALGOL-like statements / S. Igarashi -- Proving correctness of implementation techniques / C.B. Jones and P. Lucas -- Examples of formal semantics / D.E. Knuth -- Experience with inductive assertions for proving programs correct / R.L. London -- Mathematical theory of partial correctness / Z. Manna -- Towards automatic program synthesis / Z. Manna and R.J. Waldinger -- The lattice of flow diagrams / D.S. Scott.".
- catalog title "Symposium on semantics of algorithmic languages; edited by E. Engeler.".
- catalog type "Conference proceedings. fast".
- catalog type "text".