On the verification of finite failure (Q2575838): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2005.06.001
@@ Property / DOI: 10.1016/j.jcss.2005.06.001 / 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.jcss.2005.06.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1982588979
@@ Property / OpenAlex ID: W1982588979 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about prolog programs: From modes through types to assertions
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+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 @@
+Q4506391
@@ Property / cites work: Q4506391 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis
@@ Property / cites work: Abstract diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality properties of SLD-derivations
@@ Property / cites work: Compositionality properties of SLD-derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922128
@@ Property / cites work: Q3922128 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Inductive assertion method for logic pograms
@@ Property / cites work: Inductive assertion method for logic pograms / rank @@
+Normal rank
@@ Property / cites work @@
+Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
+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 @@
+Finite failure is and-compositional
@@ Property / cites work: Finite failure is and-compositional / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494369
@@ Property / cites work: Q4494369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217939
@@ Property / cites work: Q4217939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / 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 @@
+A first-order language for expressing sharing and type properties of logic programs
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2005.06.001
@@ Property / DOI: 10.1016/J.JCSS.2005.06.001 / rank @@
+Normal rank