Compositionality in SLD-Derivations and their Abstractions


Interpretation is a theory developed to reason about the abstraction relation between two different semantics. The theory requires the two semantics to be defined on domains which are complete lattices. (C, ) (concrete domain) is the domain of the concrete semantics, while (A,≤) (abstract domain) is the domain of the abstract semantics. The partial order… (More)


Cite this paper

@inproceedings{Comini1995CompositionalityIS, title={Compositionality in SLD-Derivations and their Abstractions}, author={Marco Comini and Giorgio Levi and Maria Chiara Meo}, booktitle={ILPS}, year={1995} }