home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. K.R. Olmos Joffre

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. K.R. Olmos Joffre

• contact information
• my technical reports
• former member of group software technology

some publications

Olmos, K.R. & Visser, E. (2005). Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. In Rastislav Bodik (Ed.), 14th International Conference on Compiler Construction (CC'05) (pp. 204-220). Springer-Verlag.

Olmos, K.R. & Visser, E. (2005). Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. (UU-CS2005-006 ). onbekend: UU WINFI Informatica en Informatiekunde.

Bravenboer, M., Dam, A. van, Olmos, K.R. & Visser, E. (2005). Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, 69, 1-56.

Bravenboer, M., Dam, A. van, Olmos, K.R. & Visser, E. (2005). Program Transformation with Scoped Dynamic Rewrite Rules. (UU-CS2005-005 ). onbekend: UU WINFI Informatica en Informatiekunde.

Olmos, K.R. & Visser, E. (2003). Turning Dynamic Typing into Static Typing by Program Specialization. In D. Binkley & P. Tonella (Eds.), Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'03) (pp. 141-150). Amsterdam, The Netherlands: IEEE Computer Society Press.

Olmos, K.R. & Visser, E. (2003). Turning dynamic typing into static typing by program specialization. (UU-CS2003-049 ). Utrecht: Utrecht University: Information and Computing Sciences.

Olmos, K.R. & Visser, E. (2002). Strategies for Source-to-Source Constant Propagation. (UU-CS2002-042 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Olmos, K.R. & Visser, E. (2002). Strategies for source-to-source constant propagation. In B. Gramlich & S. Lucas (Eds.), Workshop on Reduction Strategies (WRS'02) (pp. 20). Copenhagen, Denmark: Elsevier Science Publishers.