Germán Vidal's Papers (sorted by topic)


copyright
Copyrights are held variously by the authors or publishers. In general, these papers are provided for direct use in scholarship and education. If you are contemplating other uses, such as republication, you must obtain appropriate permissions. If you wish to cite any of the published work, please look up the formal publication, and use that version. The preprints in this area are as accurate as I can make them, but they are not authoritative copies of the published versions.

You can select papers by topic:


Debugging, Profiling and Tracing



Domain-Specific Languages



Partial Evaluation



Partial Evaluation and Cost Analysis



Program Analysis



Program Transformation



Semantics



Slicing



Termination



Miscellaneous



Last update / Germán Vidal