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
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2178119
