![Symposium on Semantics of Algorithmic Languages [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
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.
Saved in:
| 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 |