A general criterion for avoiding infinite unfolding during partial deduction (Q1205178): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287491
@@ Property / cites work: Q4287491 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling control
@@ Property / cites work: Compiling control / rank @@
+Normal rank
@@ Property / cites work @@
+On the transformation of logic programs with instantiation based computation rules
+Normal rank
@@ Property / cites work @@
+Q5688890
@@ Property / cites work: Q5688890 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+A self-applicable partial evaluator and its use in incremental compilation
+Normal rank
@@ Property / cites work @@
+Partial evaluation of metaprograms in a ``multiple worlds'' logic language
+Normal rank
@@ Property / cites work @@
+Partial evaluation in logic programming
@@ Property / cites work: Partial evaluation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688889
@@ Property / cites work: Q5688889 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs for logic programs
@@ Property / cites work: Termination proofs for logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742690
@@ Property / cites work: Q3742690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3823157
@@ Property / cites work: Q3823157 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1205178