Record:   Prev Next
書名 Symposium on semantics of algorithmic languages [electronic resource] / edited by E. Engeler
出版項 Berlin ; New York : Springer-Verlag, 1971
國際標準書號 9783540364993 (electronic bk.)
3540364994 (electronic bk.)
book jacket
說明 1 online resource (372 p.)
系列 Lecture notes in mathematics, 0075-8434 ; 188
Lecture notes in mathematics (Springer-Verlag) ; 188
附註 "A write-in symposium."
Includes bibliographical references (p. [367]-372)
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
Description based on print version record
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
鏈接 Print version: Symposium on semantics of algorithmic languages. Berlin, New York, Springer-Verlag, 1971 0387053778 (DLC) 78151406 (OCoLC)143281
主題 Programming languages (Electronic computers) -- Semantics -- Congresses
Formal languages -- Congresses
Computer algorithms -- Congresses
Langages de programmation
Langages formels
Programmiersprache. swd
Semantik. swd
Kongress. swd
Algorithmische Programmiersprache. swd
Computer algorithms. fast (OCoLC)fst00872010
Formal languages. fast (OCoLC)fst00932922
Programming languages (Electronic computers) -- Semantics. fast (OCoLC)fst01078716
Electronic books
Conference proceedings. fast (OCoLC)fst01423772
Alt Author Engeler, Erwin
Record:   Prev Next