Get started
Author

Laura Lafave

Observed name: L. Lafave
Observed institution: University of Bristol
OpenAlex ID: A5055099994
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs
1998 · L. Lafave, J. P. Gallagher · Lecture notes in computer science · 40
Regular approximation of computation paths in logic and functional languages
1996 · John Gallagher, Laura Lafave · Lecture notes in computer science · 34
Partial Evaluation of Functional Logic Programs in Rewriting-based Languages
1997 · L. Lafave, John P. Gallagher · 12
A Constraint-based Partial Evaluator for Functional Logic Programs and its Application
1998 · L. Lafave · 10
Extending the power of automatic constraint-based partial evaluators
1998 · L. Lafave, J. P. Gallagher · ACM Computing Surveys · 4
The role of trace abstractions in program specialization algorithms
1998 · J. P. Gallagher, L. Lafave · ACM Computing Surveys · 1
A System for the Verification of Phylogenetic Trees in Godel
1995 · L. Lafave · Bristol Research (University of Bristol)
Works count: 8
Citation count: 101
H-index: 4
I10-index: 4
Year
Topic
Type