Laura Lafave

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

John P. Gallagher, Laura Lafave
The Role of Trace Abstractions in Program Specialization Algorithms. ACM Comput. Surv. 30 (3es) (1998)
Laura Lafave, John P. Gallagher
Extending the Power of Automatic Constraint-Based Partial Evaluators. ACM Comput. Surv. 30 (3es) (1998)
Laura Lafave, John P. Gallagher
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. LOPSTR (1997)
John P. Gallagher, Laura Lafave
Regular Approximation of Computation Paths in Logic and Functional Languages. Dagstuhl Seminar on Partial Evaluation (1996)