Search results for: F. Morales
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Partial Evaluation and Program Transformation > 77-93
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Partial Evaluation and Program Transformation > 77-93