We stand with Ukraine  

Laura Lafave

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

1996
1997
1998
0
1
2
3
4
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
A constraint-based partial evaluator for functional logic programs and its application.
[BibTeX]
[DOI]
Laura Lafave
PhD thesis, 1998

Extending the Power of Automatic Constraint-Based Partial Evaluators.
[BibTeX]
[DOI]
Laura Lafave
,
John P. Gallagher
ACM Comput. Surv., 1998

The Role of Trace Abstractions in Program Specialization Algorithms.
[BibTeX]
[DOI]
John P. Gallagher
,
Laura Lafave
ACM Comput. Surv., 1998

1997
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
John P. Gallagher
,
Laura Lafave
Proceedings of the Partial Evaluation, International Seminar, 1996


  Loading...