An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+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 @@
+A theory of observables for logic programs
@@ Property / cites work: A theory of observables for logic programs / 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 @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Q3968981
@@ Property / cites work: Q3968981 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+A galois connection calculus for abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Nondeterminism and infinite computations in constraint programming
+Normal rank
@@ Property / cites work @@
+Finite failures and partial computations in concurrent logic languages
+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 @@
+Observable behaviors and equivalences of logic programs
+Normal rank
@@ Property / cites work @@
+Resultant semantics for prolog
@@ Property / cites work: Resultant semantics for prolog / rank @@
+Normal rank
@@ Property / cites work @@
+“Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
+Normal rank
@@ Property / cites work @@
+Toward a declarative semantics for infinite objects in logic programming
+Normal rank
@@ Property / cites work @@
+Q2767031
@@ Property / cites work: Q2767031 / rank @@
+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 @@
+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 @@
+Q3221399
@@ Property / cites work: Q3221399 / rank @@
+Normal rank
@@ Property / cites work @@
+A denotational framework for data flow analysis
@@ Property / cites work: A denotational framework for data flow analysis / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1853617