Symposium on Semantics of Algorithmic Languages [electronic resource] /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1971
|
Subjects: | Mathematics., Mathematics, general., |
Online Access: | http://dx.doi.org/10.1007/BFb0059689 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:207886 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:2078862018-07-30T23:38:39ZSymposium on Semantics of Algorithmic Languages [electronic resource] / Engeler, E. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1971.engAxiom 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.Mathematics.Mathematics.Mathematics, general.Springer eBookshttp://dx.doi.org/10.1007/BFb0059689URN:ISBN:9783540364993 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Mathematics. Mathematics. Mathematics, general. Mathematics. Mathematics. Mathematics, general. |
spellingShingle |
Mathematics. Mathematics. Mathematics, general. Mathematics. Mathematics. Mathematics, general. Engeler, E. editor. SpringerLink (Online service) Symposium on Semantics of Algorithmic Languages [electronic resource] / |
description |
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. |
format |
Texto |
topic_facet |
Mathematics. Mathematics. Mathematics, general. |
author |
Engeler, E. editor. SpringerLink (Online service) |
author_facet |
Engeler, E. editor. SpringerLink (Online service) |
author_sort |
Engeler, E. editor. |
title |
Symposium on Semantics of Algorithmic Languages [electronic resource] / |
title_short |
Symposium on Semantics of Algorithmic Languages [electronic resource] / |
title_full |
Symposium on Semantics of Algorithmic Languages [electronic resource] / |
title_fullStr |
Symposium on Semantics of Algorithmic Languages [electronic resource] / |
title_full_unstemmed |
Symposium on Semantics of Algorithmic Languages [electronic resource] / |
title_sort |
symposium on semantics of algorithmic languages [electronic resource] / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
publishDate |
1971 |
url |
http://dx.doi.org/10.1007/BFb0059689 |
work_keys_str_mv |
AT engelereeditor symposiumonsemanticsofalgorithmiclanguageselectronicresource AT springerlinkonlineservice symposiumonsemanticsofalgorithmiclanguageselectronicresource |
_version_ |
1756268446684807168 |