Calculating with procedure calls.

DSpace/Manakin Repository

Bijlsma, A.

(1993) Information Processing Letters, volume 46, issue 5, pp. 211 - 218

(Article)

Download/Full Text

Keywords: Formal semantics, program correctness, program specification, procedures

ISSN: 0020-0190

Publisher: Elsevier

See more statistics about this item