technical reports : dr. K.R. Olmos Joffre

select other reports
this selection
reports (4)
| techrep_id |
file |
title / author |
| UU-CS-2005-006 |
pdf |
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules K. Olmos and E. Visser |
| UU-CS-2005-005 |
pdf |
Program Transformation with Scoped Dynamic Rewrite Rules M. Bravenboer, A. van Dam, K. Olmos, and E. Visser |
| UU-CS-2003-049 |
pdf |
Turning dynamic typing into static typing by program specialization K. Olmos and E. Visser |
| UU-CS-2002-042 |
ps.gz pdf |
Strategies for Source-to-Source Constant Propagation Karina Olmos and Eelco Visser |
BibTeX entries
@TECHREPORT{UUCS2005006,
author = {Olmos, K. and Visser, E.},
year = 2005,
title = {Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules},
number = {UU-CS-2005-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005005,
author = {Bravenboer, M. and Dam, A.~van and Olmos, K. and Visser, E.},
year = 2005,
title = {Program Transformation with Scoped Dynamic Rewrite Rules},
number = {UU-CS-2005-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003049,
author = {Olmos, K. and Visser, E.},
year = 2003,
title = {Turning dynamic typing into static typing by program specialization},
number = {UU-CS-2003-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002042,
author = {Olmos, Karina and Visser, Eelco},
year = 2002,
title = {Strategies for Source-to-Source Constant Propagation},
number = {UU-CS-2002-042},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-042.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-042.pdf}},
pubcat = {techreport}
}
webmaster@cs.uu.nl,
Mon, 20 May 2013 05:43:20 +0200
←
Departement Informatica, Universiteit Utrecht