S-semantics for logic programming: a retrospective look
From MaRDI portal
Publication:1035702
DOI10.1016/j.tcs.2009.07.039zbMath1187.68122OpenAlexW2063958757MaRDI QIDQ1035702
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
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Declarative error diagnosis
- Transformations of CLP modules
- Closures and fairness in the semantics of programming logic
- Declarative modeling of the operational behavior of logic languages
- A language independent proof of the soundness and completeness of generalized Hoare logic
- Transforming normal logic programs to constraint logic programs
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- A compositional semantics for logic programs
- Bottom-up abstract interpretation of logic programs
- Enumeration of success patterns in logic programs
- A model-theoretic reconstruction of the operational semantics of logic programs
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
- Observable behaviors and equivalences of logic programs
- Oracle semantics for Prolog
- On the verification of finite failure
- A hierarchy of semantics for normal constraint logic programs
- On the correctness of unfold/fold transformation of normal and extended logic programs
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
- Partial evaluation in logic programming
- Bottom-up dataflow analysis of normal logic programs
- Deriving descriptions of possible values of program variables by means of abstract interpretation
- 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
- Abstract diagnosis
- Basic transformation operations which preserve computed answer substitutions of logic programs
- A practical framework for theabstract interpretation of logic programs
This page was built for publication: S-semantics for logic programming: a retrospective look
