Browse All Reviews
Computing Methodologies (I)
Artificial Intelligence (I.2)
Automatic Programming (I.2.2)
> Program Transformation (I.2.2...)
All Media Types
1-10 of 55 Reviews about "
Program Transformation (I.2.2...)
Transforming Boolean equalities into constraints
Antoy S., Hanus M. Formal Aspects of Computing 29(3): 475-494, 2017. Type: Article
In declarative programming languages, a variable is a symbol representing a value determined by computational rules rather than a space in memory. The two main forms of declarative languages are functional and logic. In functional languages, varia...
Sep 13 2017
A devil’s advocate against termination of direct recursion
Frühwirth T. PPDP 2015 (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, Jul 14-16, 2015) 103-113, 2015. Type: Proceedings
A totally correct system terminates. Instead of establishing termination directly, this paper describes a technique based on non-termination. This technique is statically derivable from the program text and produces non-termination results that ar...
Aug 12 2015
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 discovery path, toward o...
Jan 7 2010
Imperative-program transformation by instrumented-interpreter specialization
Debois S. Higher-Order and Symbolic Computation 21(1-2): 37-58, 2008. Type: Article
The interpretive approach is an appealing program transformation technique. Loosely speaking, it amounts to designing a nonstandard interpreter that exhibits a particular good behavior with regard to some criterion, and then specializing it with r...
Jan 22 2009
Dual syntax for XML languages
Brabrand C., Møller A., Schwartzbach M. Information Systems 33(4-5): 385-406, 2008. Type: Article
Extensible Markup Language (XML) has become the lingua franca for many applications requiring platform independent data exchange, as it has the advantage of being both machine parsable and human readable. However, it has been criticized for being ...
Nov 24 2008
Short-circuit compiler transformation: optimizing conditional blocks
Ghodrat M., Givargis T., Nicolau A. Asia South Pacific design automation (Proceedings of the 2007 Asia South Pacific Conference on Design Automation, Jan 23-26, 2007) 504-510, 2007. Type: Proceedings
“Short circuit” normally describes the semantics of a construct like the C operator &&, which prohibits evaluation of the second operand if the first yields false. In this paper, the meaning of the term is extended to cover a v...
Aug 5 2008
Efficient search-space pruning for integrated fusion and tiling transformations
Gao X., Krishnamoorthy S., Sahoo S., Lam C., Baumgartner G., Ramanujam J., Sadayappan P. Concurrency and Computation: Practice & Experience 19(18): 2425-2443, 2007. Type: Article
Compile-time optimizations involve a large number of transformations. Selecting the appropriate transformations to minimize the execution time is a challenging task. This paper deals with an extremely specialized problem, and suggests solutions th...
Apr 25 2008
Compiler algorithm language (CAL): an interpreter and compiler
Bhatele A., Satyarth S., Aggarwal S. IASTED International Conference (Proceedings of the Third IASTED International Conference, Phuket, Thailand, Apr 2-4, 2007) 471-476, 2007. Type: Proceedings
Compiler algorithm language (CAL) is a standard imperative language in the style of Pascal. The authors claim that it is particularly suited to compiler writing because it provides sets as a built-in data type. Unfortunately, CAL does not support ...
Mar 7 2008
Platform-independent code conversion within the C++ locale framework
Engebretsen L. Software--Practice & Experience 36(15): 1643-1654, 2006. Type: Article
This short and well-written paper is a good example of the usefulness of
Software--Practice and Experience
. No other existing journal would have published it, since it does not present an important advance in any area. Rather, it descr...
Jan 30 2008
Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies
Girbal S., Vasilache N., Bastoul C., Cohen A., Parello D., Sigler M., Temam O. International Journal of Parallel Programming 34(3): 261-317, 2006. Type: Article
The research presented in this paper is important and fruitful. However, it is not very accessible due to its length (56 pages) and presentation....
Feb 6 2007
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2021 ThinkLoud, Inc.