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

Apt, Krzysztof R.

doi:10.1145/357146.357150

Record: found
Abstract: not found
Article: not found

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

Author(s): Krzysztof R. Apt

Publication date (Print): October 1981

Journal: ACM Transactions on Programming Languages and Systems

Publisher: Association for Computing Machinery (ACM)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: ACM Transactions on Programming Languages and Systems

Abbreviated Title: ACM Trans. Program. Lang. Syst.

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 01640925

Publication date (Print): October 1981

Volume: 3

Issue: 4

Pages: 431-483

Article

DOI: 10.1145/357146.357150

SO-VID: cb70d45a-a937-4fb5-aa3d-fbed9660ef64

History

Data availability:

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

Read this article at

Related collections

50 years of ROAPE

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 3,343

Cited by 37