Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : dr. K.R. Olmos Joffre

Karina  Olmos Joffre

select other reports

this selection

author dr. K.R. Olmos Joffre

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

indexed (co) authors

author group
Bravenboer, dr. M. all reports Software Technology all reports
Olmos Joffre, dr. K.R. all reports Software Technology all reports
Visser, dr. E. all reports Software Technology all reports

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}
}