S-semantics for logic programming: a retrospective look (Q1035702): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2009.07.039
@@ Property / DOI: 10.1016/j.tcs.2009.07.039 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2009.07.039
+Normal rank
@@ Property / OpenAlex ID @@
+W2063958757
@@ Property / OpenAlex ID: W2063958757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998976
@@ Property / cites work: Q3998976 / rank @@
+Normal rank
@@ Property / cites work @@
+On the correctness of unfold/fold transformation of normal and extended logic programs
+Normal rank
@@ Property / cites work @@
+Oracle semantics for Prolog
@@ Property / cites work: Oracle semantics for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Basic transformation operations which preserve computed answer substitutions of logic programs
+Normal rank
@@ Property / cites work @@
+The s-semantics approach: Theory and applications
@@ Property / cites work: The s-semantics approach: Theory and applications / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional semantics for logic programs
@@ Property / cites work: A compositional semantics for logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954441
@@ Property / cites work: Q4954441 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical framework for theabstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+Bottom-up abstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+Q4414727
@@ Property / cites work: Q4414727 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis
@@ Property / cites work: Abstract diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+A language independent proof of the soundness and completeness of generalized Hoare logic
+Normal rank
@@ Property / cites work @@
+Q4035697
@@ Property / cites work: Q4035697 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Transformations of CLP modules
@@ Property / cites work: Transformations of CLP modules / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of semantics for normal constraint logic programs
+Normal rank
@@ Property / cites work @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+A model-theoretic reconstruction of the operational semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
+Normal rank
@@ Property / cites work @@
+Unfolding and fixpoint semantics of concurrent constraint logic programs
+Normal rank
@@ Property / cites work @@
+Observable behaviors and equivalences of logic programs
+Normal rank
@@ Property / cites work @@
+Q3212265
@@ Property / cites work: Q3212265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688900
@@ Property / cites work: Q5688900 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
+Normal rank
@@ Property / cites work @@
+On the verification of finite failure
@@ Property / cites work: On the verification of finite failure / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of logic programs for independent and parallelism
+Normal rank
@@ Property / cites work @@
+Deriving descriptions of possible values of program variables by means of abstract interpretation
+Normal rank
@@ Property / cites work @@
+Transforming normal logic programs to constraint logic programs
+Normal rank
@@ Property / cites work @@
+Closures and fairness in the semantics of programming logic
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative error diagnosis
@@ Property / cites work: Declarative error diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation in logic programming
@@ Property / cites work: Partial evaluation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-up dataflow analysis of normal logic programs
+Normal rank
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of success patterns in logic programs
@@ Property / cites work: Enumeration of success patterns in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506395
@@ Property / cites work: Q4506395 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2009.07.039
@@ Property / DOI: 10.1016/J.TCS.2009.07.039 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1035702