## S-Semantics Approach: Theory and Applications (1994)

Citations: | 115 - 26 self |

### BibTeX

@MISC{Bossi94s-semanticsapproach:,

author = {A. Bossi and M. Gabbrielli and G. Levi and M. Martelli},

title = {S-Semantics Approach: Theory and Applications},

year = {1994}

}

### Years of Citing Articles

### OpenURL

### Abstract

The paper is a general overview of an approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interpretations which are more expressive than Herbrand interpretations. The semantics in terms of extended interpretations can be obtained as a result of both an operational (top-down) and a fixpoint (bottom-up) construction. It can also be characterized from the model-theoretic viewpoint, by defining a set of extended models which contains standard Herbrand models. We discuss the original construction modeling computed answer substitutions, its compositional version and various semantics modeling more concrete observables. We then show how the approach can be applied to several extensions of positive logic programs. We finally consider some applications, mainly in the area of semantics-based program transformation and analysis.