Programming Language Constructs for Which it is Impossible to Obtain Good Hoare-Like Axioms

File(s)

Permanent Link(s)

Collections

Author

Clarke, Edmund Melson, Jr.

Abstract

Programming Language Constructs for Which it is Impossible to Obtain Good Hoare-Like Axioms

Date Issued

1976-08

Publisher

Cornell University

Keywords

•

Previously Published as

http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR76-287

Type

technical report