Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540053774, 9783540364993

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantics of algol-like statements

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059697 ◽

1971 ◽

pp. 117-177 ◽

Cited By ~ 5

Author(s):

Shigeru Igarashi

Download Full-text

Experience with inductive assertions for proving programs correct

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059700 ◽

1971 ◽

pp. 236-251 ◽

Cited By ~ 4

Author(s):

Ralph L. London

Keyword(s):

Inductive Assertions

Download Full-text

Procedures and parameters: An axiomatic approach

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059696 ◽

1971 ◽

pp. 102-116 ◽

Cited By ~ 123

Author(s):

C. A. R. Hoare

Keyword(s):

Axiomatic Approach

Download Full-text

Algebraic theories and program schemes

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059694 ◽

1971 ◽

pp. 71-88 ◽

Cited By ~ 8

Author(s):

Calvin C. Elgot

Keyword(s):

Algebraic Theories

Download Full-text

Towards automatic program synthesis

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059702 ◽

1971 ◽

pp. 270-310 ◽

Cited By ~ 14

Author(s):

Zohar Manna ◽

Richard J. Waldinger

Keyword(s):

Program Synthesis ◽

Automatic Program

Download Full-text

Formalization of storage properties

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059692 ◽

1971 ◽

pp. 28-61 ◽

Cited By ~ 13

Author(s):

H. Bekić ◽

K. Walk

Keyword(s):

Storage Properties

Download Full-text

Examples of formal semantics

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059699 ◽

1971 ◽

pp. 212-235 ◽

Cited By ~ 24

Author(s):

Donald E. Knuth

Keyword(s):

Formal Semantics

Download Full-text

Mathematical theory of partial correctness

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059701 ◽

1971 ◽

pp. 252-269 ◽

Cited By ~ 2

Author(s):

Zohar Manna

Keyword(s):

Mathematical Theory ◽

Partial Correctness

Download Full-text

Axiom systems for simple assignment statements

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059690 ◽

1971 ◽

pp. 1-22 ◽

Cited By ~ 4

Author(s):

J. W. de Bakker

Keyword(s):

Axiom Systems

Download Full-text

Proving correctness of implementation techniques

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages ◽

10.1007/bfb0059698 ◽

1971 ◽

pp. 178-211 ◽

Cited By ~ 11

Author(s):

C. B. Jones ◽

P. Lucas

Keyword(s):

Implementation Techniques

Download Full-text

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic LanguagesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Semantics of algol-like statements

Experience with inductive assertions for proving programs correct

Procedures and parameters: An axiomatic approach

Algebraic theories and program schemes

Towards automatic program synthesis

Formalization of storage properties

Examples of formal semantics

Mathematical theory of partial correctness

Axiom systems for simple assignment statements

Proving correctness of implementation techniques

Lecture Notes in Mathematics - Symposium on Semantics of Algorithmic Languages
Latest Publications