Description and Optimization of Abstract Machines in a Dialect of Prolog (Q4593018): Difference between revisions

@@ Property / cites work @@
+A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
+Normal rank
@@ Property / cites work @@
+Q2767143
@@ Property / cites work: Q2767143 / rank @@
+Normal rank
@@ Property / cites work @@
+Compiler construction. 11th international conference, CC 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
+Normal rank
@@ Property / cites work @@
+Q4702568
@@ Property / cites work: Q4702568 / rank @@
+Normal rank
@@ Property / cites work @@
+Special issue: Selected papers based on the presentation at the 10th inernational static analysis symposium (SAS 2003), San Diego, CA, USA, June 11--13, 2003.
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12--14, 2006. Revised selected papers.
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723933
@@ Property / cites work: Q2723933 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal union-find in Constraint Handling Rules
@@ Property / cites work: Optimal union-find in Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank
@@ Property / cites work @@
+–1993: The wonder years of sequential Prolog implementation
+Normal rank
@@ Property / cites work @@
+Q4411953
@@ Property / cites work: Q4411953 / rank @@
+Normal rank