Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Automatic Programming (I.2.2) > Program Transformation (I.2.2...)  
  1-10 of 55 Reviews about "Program Transformation (I.2.2...)": Date Reviewed
  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
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy