|
 |
Technical University of Valencia, Spain - Programming Languages, Functional and Logic Programming, Multi-Paradigm Programming, Semantics, Program Transformation, Partial Evaluation, Slicing, Specification, Analysis and Verification, Computational Costs. http://www.dsic.upv.es/~gvidal/ |

 |
[more pages from this URL]
|
|
|