S-semantics for logic programming: a retrospective look
From MaRDI portal
Publication:1035702
DOI10.1016/J.TCS.2009.07.039zbMATH Open1187.68122OpenAlexW2063958757MaRDI QIDQ1035702FDOQ1035702
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
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
- Observable behaviors and equivalences of logic programs
- Title not available (Why is that?)
- The Semantics of Predicate Logic as a Programming Language
- Partial evaluation in logic programming
- Basic transformation operations which preserve computed answer substitutions of logic programs
- Title not available (Why is that?)
- Enumeration of success patterns in logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- A hierarchy of semantics for normal constraint logic programs
- The s-semantics approach: Theory and applications
- Declarative error diagnosis
- Title not available (Why is that?)
- A practical framework for theabstract interpretation of logic programs
- A compositional semantics for 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
- A model-theoretic reconstruction of the operational semantics of logic programs
- Abstract diagnosis
- Declarative modeling of the operational behavior of logic languages
- Bottom-up abstract interpretation of logic programs
- Transformations of CLP modules
- Closures and fairness in the semantics of programming logic
- Static analysis of logic programs for independent and parallelism
- Title not available (Why is that?)
- Deriving descriptions of possible values of program variables by means of abstract interpretation
- Title not available (Why is that?)
- 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
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
- Oracle semantics for Prolog
- On the verification of finite failure
- Bottom-up dataflow analysis of normal logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (4)
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)
