Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-016-0389-8
@@ Property / DOI: 10.1007/s00165-016-0389-8 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ECCE
@@ Property / describes a project that uses: ECCE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2509164840
@@ Property / OpenAlex ID: W2509164840 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling control
@@ Property / cites work: Compiling control / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+A practical framework for theabstract interpretation of logic programs
+Normal rank
@@ Property / cites work @@
+Proving correctness of imperative programs by linearizing constrained Horn clauses
+Normal rank
@@ Property / cites work @@
+Conjunctive partial deduction: foundations, control, algorithms, and experiments
+Normal rank
@@ Property / cites work @@
+Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
+Normal rank
@@ Property / cites work @@
+Speedup of logic programs by binarization and partial deduction
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / 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 @@
+Sound and complete partial deduction with unfolding based on well-founded measures
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Annotation of logic programs for independent AND-parallelism by partial evaluation
+Normal rank
@@ Property / cites work @@
+Q5116738
@@ Property / cites work: Q5116738 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of logic programs: Foundations and techniques
+Normal rank
@@ Property / cites work @@
+The list introduction strategy for the derivation of logic programs
+Normal rank
@@ Property / cites work @@
+A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs
+Normal rank
@@ Property / DOI @@
+.1007/S00165-016-0389-8
@@ Property / DOI: 10.1007/S00165-016-0389-8 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130888944
@@ Property / Wikidata QID: Q130888944 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:511025