Highly Influenced

# Descriptive and Relative Completeness of Logics for Higher-Order Functions

@inproceedings{Honda2006DescriptiveAR, title={Descriptive and Relative Completeness of Logics for Higher-Order Functions}, author={Kohei Honda and Martin Berger and Nobuko Yoshida}, booktitle={ICALP}, year={2006} }

- Published 2006 in ICALP
DOI:10.1007/11787006_31

This paper establishes a strong completeness property of compositional program logics for pure and imperative higher-order functions introduced in [2, 15–18]. This property, called descriptive completeness, says that for each program there is an assertion fully describing the former’s behaviour up to the standard observational semantics. This formula is inductively calculable from the program text alone. As a consequence we obtain the first relative completeness result for compositional logics… CONTINUE READING

Highly Cited

This paper has 31 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, and topics from this paper.

18 Citations

30 References

Similar Papers