A theory of observables for logic programs (Q1854446): Difference between revisions

@@ 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 @@
+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 @@
+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 @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Properties of substitutions and unifications
@@ Property / cites work: Properties of substitutions and unifications / rank @@
+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 @@
+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 @@
+Generalized semantics and abstract interpretation for constraint logic programs
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938429
@@ Property / cites work: Q4938429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494369
@@ Property / cites work: Q4494369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692876
@@ Property / cites work: Q4692876 / 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 @@
+Q4938428
@@ Property / cites work: Q4938428 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical optimality of groundness analysis
@@ Property / cites work: Logical optimality of groundness analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and goal-independent denotational semantics for Prolog with cut
+Normal rank
@@ Property / cites work @@
+Q4217929
@@ Property / cites work: Q4217929 / rank @@
+Normal rank