Fast offline partial evaluation of logic programs (Q2437798): Difference between revisions

@@ Property / describes a project that uses @@
+ECCE
@@ Property / describes a project that uses: ECCE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2014.01.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2044152416
@@ Property / OpenAlex ID: W2044152416 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
+Normal rank
@@ Property / cites work @@
+Efficient and flexible access control via Jones-optimal logic program specialisation
+Normal rank
@@ Property / cites work @@
+A SAT-Based Approach to Size Change Termination with Global Ranking Functions
+Normal rank
@@ Property / cites work @@
+Strong termination of logic programs
@@ Property / cites work: Strong termination of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736363
@@ Property / cites work: Q2736363 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Fully Automatic Binding-Time Analysis for Prolog
@@ Property / cites work: Fully Automatic Binding-Time Analysis for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+Efficient Büchi Universality Checking
@@ Property / cites work: Efficient Büchi Universality Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Partial evaluation of computation process -- an approach to a compiler-compiler
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844168
@@ Property / cites work: Q4844168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411980
@@ Property / cites work: Q4411980 / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Logic program specialisation through partial  deduction: Control issues
+Normal rank
@@ Property / cites work @@
+Program Development in Computational Logic
@@ Property / cites work: Program Development in Computational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
+Normal rank
@@ Property / cites work @@
+Offline specialisation in Prolog using a hand-written compiler generator
+Normal rank
@@ Property / cites work @@
+Q2723916
@@ Property / cites work: Q2723916 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
+Normal rank
@@ Property / cites work @@
+Fast Offline Partial Evaluation of Large Logic Programs
+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 @@
+The size-change principle and dependency pairs for termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Q2767033
@@ Property / cites work: Q2767033 / rank @@
+Normal rank
@@ Property / cites work @@
+Binding-Time Annotations without Binding-Time Analysis
+Normal rank
@@ Property / cites work @@
+Program Development in Computational Logic
@@ Property / cites work: Program Development in Computational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Termination proofs for logic programs with tabling
+Normal rank