A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
Autores UPV | Vidal Oriola Germán Francisco, Albert Albiol Elvira Maria |
---|---|
Año | 2000 |
CONGRESO | A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation |
Autores UPV | Vidal Oriola Germán Francisco, Albert Albiol Elvira Maria |
---|---|
Año | 2000 |
CONGRESO | A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation |