LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	510
Title	Symposium on Semantics of Algorithmic Languages ([EBook] /) / edited by E. Engeler.
Added Personal Name	Engeler, E. editor.
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1971.
Physical Details	VIII, 376 p. : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 188
ISBN	9783540364993
Contents note	Axiom systems for simple assignment statements -- A property of linear conditionals -- Formalization of storage properties -- Program schemes, programs and logic -- Algebraic theories and program schemes -- Structure and meaning of elementary programs -- Procedures and parameters: An axiomatic approach -- Semantics of algol-like statements -- Proving correctness of implementation techniques -- Examples of formal semantics -- Experience with inductive assertions for proving programs correct -- Mathematical theory of partial correctness -- Towards automatic program synthesis -- The lattice of flow diagrams.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/BFb0059689
Links to Related Works	Subject References: Mathematics . Mathematics, general . Authors: Engeler, E. . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 510 .

Catalogue Display