Bottom-up abstract interpretation of logic programs (Q1318725): Difference between revisions

@@ Property / cites work @@
+A practical framework for theabstract interpretation of logic programs
+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 @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758891
@@ Property / cites work: Q3758891 / rank @@
+Normal rank
@@ Property / cites work @@
+Compile-time derivation of variable dependency using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Strictness analysis and denotational abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4287477
@@ Property / cites work: Q4287477 / rank @@
+Normal rank
@@ Property / cites work @@
+Magic templates: a spellbinding approach to logic programs
+Normal rank
@@ Property / cites work @@
+The Alexander Method - a technique for the processing of recursive axioms in deductive databases
+Normal rank
@@ Property / cites work @@
+Q3746920
@@ Property / cites work: Q3746920 / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for logic programs
@@ Property / cites work: A type system for logic programs / rank @@
+Normal rank