Foundations of logic programming
Foundations of logic programming
Error diagnosis in logic programming, an adaptation of E.Y. Shapiro's method
Journal of Logic Programming
New Generation Computing
Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Declarative modeling of the operational behavior of logic languages
Theoretical Computer Science
Proof theory and semantics of logic programs
Proceedings of the Fourth Annual Symposium on Logic in computer science
A practical framework for the abstract interpretation of logic programs
Journal of Logic Programming
Unfolding, procedural and fixpoint semantics of logic programs
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Handbook of theoretical computer science (vol. B)
Partial evaluation in logic programming
Journal of Logic Programming
Failure and success made symmetric
Proceedings of the 1990 North American conference on Logic programming
Transforming normal logic programs to constraint logic programs
Theoretical Computer Science - Selected papers of the Second International Conference on algebraic and logic programming, Nancy, France, October 1–3, 1990
Deriving descriptions of possible values of program variables by means of abstract interpretation
Journal of Logic Programming
Static analysis of logic programs for independent and parallelism
Journal of Logic Programming
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compositional analysis of modular logic programs
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A model-theoretic reconstruction of the operational semantics of logic programs
Information and Computation
Formalization of metaprogramming for real
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
A new fixpoint semantics for Prolog
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Bottom-up abstract interpretation of logic programs
Theoretical Computer Science
A bottom-up characterization of finite success
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
A compositional semantics for logic programs
FGCS'921 Selected papers of the conference on Fifth generation computer systems
Information and Computation
Transformations of CLP modules
Theoretical Computer Science
Program analysis: the abstract interpretation perspective
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Goal independency and call patterns in the analysis of logic programs
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Algorithmic Program DeBugging
A Two Steps Semantics for Logic Programs with Negation
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Proving Properties of Logic Programs by Abstract Diagnosis
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Abstract Debugging of Logic Program
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs
Proceedings of the Second International Conference on Algebraic and Logic Programming
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns
Proceedings of the Third International Conference on Algebraic and Logic Programming
A Hierarchy of Semantics for Normal Constraint Logic Programs
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Compilative Constructive Negation in Constraint Logic Programs
CAAP '94 Proceedings of the 19th International Colloquium on Trees in Algebra and Programming
On the verification of finite failure
Journal of Computer and System Sciences
| Hi-index | 5.23 |
The paper provides an overview of the s-semantic approach to the semantics of logic programs which had been developed about twenty years ago. The aim of such an approach was that of providing a suitable base for program analysis by means of a semantics which really captures the operational behavior of logic programs, and thus offers useful notions of observable program equivalences. The semantics is given in terms of extended interpretations, which are more expressive than Herbrand interpretations, extends the standard Herbrand semantics, and can be obtained as a result of both top-down and bottom-up constructions. The approach has been applied to several extensions of positive logic programs and used to develop semantic-based techniques for program analysis, verification and transformation.