S-semantics for logic programming: a retrospective look

DOI10.1016/J.TCS.2009.07.039MaRDI QIDQ1035702zbMATH OpenOpenAlexFDO

Authors Annalisa Bossi

Publication date 4 November 2009

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2009.07.039

zbMATH Keywords

semanticslogic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1241670
• scientific article; zbMATH DE number 176721
• On the declarative and procedural semantics of logic programs
• Towards a systematic account of different logic programming semantics
• The expressive powers of the logic programming semantics
• Fixpoint semantics for logic programming a survey
• Towards a Systematic Account of Different Semantics for Logic Programs
• scientific article; zbMATH DE number 26616
• An interactive semantics of logic programming
• scientific article; zbMATH DE number 978245

Cites work

• scientific article; zbMATH DE number 4195154 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 47903 (Why is no real title available?)
• scientific article; zbMATH DE number 176531 (Why is no real title available?)
• scientific article; zbMATH DE number 1953275 (Why is no real title available?)
• scientific article; zbMATH DE number 1508931 (Why is no real title available?)
• scientific article; zbMATH DE number 1456952 (Why is no real title available?)
• scientific article; zbMATH DE number 970715 (Why is no real title available?)
• A compositional semantics for logic programs
• A hierarchy of semantics for normal constraint logic programs
• A language independent proof of the soundness and completeness of generalized Hoare logic
• A model-theoretic reconstruction of the operational semantics of logic programs
• A practical framework for theabstract interpretation of logic programs
• Abstract diagnosis
• An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Bottom-up abstract interpretation of logic programs
• Bottom-up dataflow analysis of normal logic programs
• Closures and fairness in the semantics of programming logic
• Declarative error diagnosis
• Declarative modeling of the operational behavior of logic languages
• Deriving descriptions of possible values of program variables by means of abstract interpretation
• Enumeration of success patterns in logic programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Observable behaviors and equivalences of logic programs
• On the correctness of unfold/fold transformation of normal and extended logic programs
• On the verification of finite failure
• Oracle semantics for Prolog
• Partial evaluation in logic programming
• Static analysis of logic programs for independent and parallelism
• The Semantics of Predicate Logic as a Programming Language
• The s-semantics approach: Theory and applications
• Transformations of CLP modules
• Transforming normal logic programs to constraint logic programs
• Unfolding and fixpoint semantics of concurrent constraint logic programs

Cited in

(4)

• On definite program answers and least Herbrand models
• S-semantics -- an example
• scientific article; zbMATH DE number 176721 (Why is no real title available?)
• scientific article; zbMATH DE number 1453073 (Why is no real title available?)

This page was built for publication: S-semantics for logic programming: a retrospective look

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035702)