Semantics and proof theory of pascal procedures

Apt, Krzysztof R.; Bakker, J. W. de

doi:10.1007/3-540-08342-1_3

Search citation statements

Order By: Relevance

Paper Sections

Select...

Bibliographical Remarks1

Parameter Mechanisms and Procedures Calls1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1978

2019

Publication Types

Select...

Book4

Article3

Relationship

Self Cite0

Independent7

Authors

Journals

Cited by 11 publications

(2 citation statements)

References 8 publications

(9 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The notation "B[ t, v ]" and the corresponding recursion rule in Section 6.2.2 are from [3]. The definition of semantics of programs containing procedure calls suggested in Section 6.2 is partially motivated by [ 45).…”

Section: Bibliographical Remarksmentioning

confidence: 99%

Ten Years of Hoare's Logic: A Survey—Part I

Apt

1981

ACM Trans. Program. Lang. Syst.

421

222

View full text Add to dashboard Cite

A survey of various results concerning Hoare's approach to proving partial and total correctness of programs is presented. Emphasis is placed on the soundness and completeness issues. Various proof systems for while programs, recursive procedures, local variable declarations, and procedures with parameters, together with the corresponding soundness, completeness, and incompleteness results, are discussed.

show abstract

Section: Bibliographical Remarksmentioning

confidence: 99%

Ten Years of Hoare's Logic: A Survey—Part I

Apt

1981

ACM Trans. Program. Lang. Syst.

421

222

View full text Add to dashboard Cite

show abstract

“…In [AdB77] it was proposed to model these two parameter mechanisms of Pascal by means of an appropriate syntactic transformation of the procedure body, that was called 'syntactic application'. In what follows we use in the procedure declaration the qualification val to indicate call-by-value and var to indicate call-by-variable.…”

Section: Parameter Mechanisms and Procedures Callsmentioning

confidence: 99%