The s-semantics approach: Theory and applications

This publication has 28 references indexed in Scilit:

• Modelling Prolog Control
  Journal of Logic and Computation, 1993
• Basic transformation operations which preserve computed answer substitutions of logic programs
  The Journal of Logic Programming, 1993
• A general framework for semantics-based bottom-up abstract interpretation of logic programs
  ACM Transactions on Programming Languages and Systems, 1993
• A bottom-up polymorphic type inference in logic programming
  Science of Computer Programming, 1992
• Proving termination properties of prolog programs: A semantic approach
  The Journal of Logic Programming, 1992
• A practical framework for theabstract interpretation of logic programs
  The Journal of Logic Programming, 1991
• NESTED GUARDED HORN CLAUSES
  International Journal of Foundations of Computer Science, 1990
• Finite failures and partial computations in concurrent logic languages
  Theoretical Computer Science, 1990
• Logic programming as constructivism: a formalization and its application to databases
  Published by Association for Computing Machinery (ACM) ,1989
• A generalization of the differential approach to recursive query evaluation
  The Journal of Logic Programming, 1987