A sound and relatively complete Hoare-logic for a language...

Acta Informatica 1983 / 10 Vol. 20; Iss. 1

A sound and relatively complete Hoare-logic for a language with higher type procedures

Werner Damm, Bernhard Josko
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
20
Language:
english
Pages:
43
DOI:
10.1007/bf00264295
Date:
October, 1983
File:
PDF, 1.65 MB
english, 1983
Conversion to is in progress
Conversion to is failed