Title: Index-driven semantics of logic programs
Authors: Boulanger, Dmitri
Bruynooghe, Maurice
Issue Date: May-1995
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW211 pages:36
Abstract: An operational semantics is presented. It is aimed at developing a wide class of static analysis frameworks. Each computed answer of a program is assigned an index, with encodes SLD-derivations with this computed answer. This is concisely formalised as a reachable $epsilon$-algebra with the constraint s-model as its domain. This puts together the top-down SLD-resolution and the non-ground bottom-up computation giving rise to a novel approach for computing opeational properties with surjective $epsilon$-homomorphisms as an abstraction. An approximation is a finite homomorphic image of the concrete algebra.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.