| |
| 1998 | ||
|---|---|---|
| 4 | EE | John P. Gallagher, Laura Lafave: The Role of Trace Abstractions in Program Specialization Algorithms. ACM Comput. Surv. 30(3es): 12 (1998) |
| 3 | EE | Laura Lafave, John P. Gallagher: Extending the Power of Automatic Constraint-Based Partial Evaluators. ACM Comput. Surv. 30(3es): 15 (1998) |
| 1997 | ||
| 2 | EE | Laura Lafave, John P. Gallagher: Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. LOPSTR 1997: 168-188 |
| 1996 | ||
| 1 | John P. Gallagher, Laura Lafave: Regular Approximation of Computation Paths in Logic and Functional Languages. Dagstuhl Seminar on Partial Evaluation 1996: 115-136 | |
| 1 | John P. Gallagher | [1] [2] [3] [4] |