|
|
|
1 quotes |
07-January-2012 |
-
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.
|
|
|
|
|