Laura Lafave

According to our database, Laura Lafave authored at least 5 papers between 1996 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

A constraint-based partial evaluator for functional logic programs and its application.

Laura Lafave

PhD thesis, 1998

Extending the Power of Automatic Constraint-Based Partial Evaluators.

Laura Lafave, John P. Gallagher

ACM Comput. Surv., 1998

The Role of Trace Abstractions in Program Specialization Algorithms.

John P. Gallagher, Laura Lafave

ACM Comput. Surv., 1998

1997

Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs.

Laura Lafave, John P. Gallagher

Proceedings of the Logic Programming Synthesis and Transformation, 1997

1996

Regular Approximation of Computation Paths in Logic and Functional Languages.

John P. Gallagher, Laura Lafave

Proceedings of the Partial Evaluation, International Seminar, 1996