DocumentCode

2178119

Title

A necessary and sufficient condition for the existence of hoare logics

Author

Lipton, Richard J.

fYear

1977

fDate

Oct. 31 1977-Nov. 2 1977

Firstpage

1

Lastpage

6

Keywords

Computer languages; Flowcharts; Logic programming; Sufficient conditions; Tellurium;

fLanguage

English

Publisher

ieee

Conference_Titel

Foundations of Computer Science, 1977., 18th Annual Symposium on

Conference_Location

Providence, RI, USA

ISSN

0272-5428

Type

conf

DOI

10.1109/SFCS.1977.1

Filename

4567919