Search for Author All Reviews
	Danvy, Olivier     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 7 reviews        Refunctionalization at work Danvy O., Millikin K. Science of Computer Programming 74(8): 534-549, 2009.  Type: Article Don’t let the title fool you--this paper is only partly about the technical details of some seemingly obscure program transformation technique. This engagingly written paper brings the reader along a much richer disc...... Jan 7 2010     Automatic program development: a tribute to Robert Paige Danvy O., Mairson H., Henglein F., Pettorossi A., Springer, 2008. 274 pp.  Type: Book When asked to review this book, my initial reaction was not to accept, since I am not a specialist in automatic program development. However, when I noticed the qualification “A Tribute to Robert Paige,” I changed m...... Dec 15 2008     CPS transformation of beta-redexes Danvy O., Nielsen L. Information Processing Letters 94(5): 217-224, 2005.  Type: Article A continuous passing style (CPS) is a lambda encoding of lambda terms. CPS transformations are used to generate compilers. This paper presents a CPS transformation that is relatively more compact than others....... Feb 7 2006     A functional correspondence between evaluators and abstract machines Ager M., Biernacki D., Danvy O., Midtgaard J.  Principles and practice of declaritive programming (Proceedings of the 5th ACM SIGPLAN international conference, Uppsala, Sweden, Aug 27-29, 2003) 8-19, 2003.  Type: Proceedings Abstract machines and functional evaluators for the lambda calculus are considered in this paper, which shows that common abstract machines can be mapped to corresponding evaluators using standard program transformation techniques....... Nov 5 2003     The abstraction and instantiation of string-matching programs Amtoft T., Consel C., Danvy O., Malmkjær K. In The essence of computation. New York, NY: Springer-Verlag New York, Inc., 2002.  Type: Book Chapter A string matcher is a program that tests whether a pattern string appears in a text. The derivation of an efficient string matching program from a naive version is a canonical example in partial evaluation (an automatic technique to sp...... Sep 22 2003     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy