Searching for "Generic Program Transformation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

Generic Program Transformation
by Oege De Moor, Ganesh Sittampalam — 1998 — Proc. 3rd International Summer School on Advanced Functional Programming, LNCS 1608
…Generic Program Transformation Oege de Moor and Ganesh Sittampalam Programming Research Group…
Cited by 28 (5 self) – Add To MetaCart

Higher Order Pattern Matching for Program Transformation
by Ganesh Sittampalam — 1999
… in the MAG system for transforming Haskell programs, described in the paper \Generic Program Transformation…
Add To MetaCart

Putting Polyhedral Loop Transformations to Work
by Cedric Bastoul, Albert Cohen, Sylvain Girbal, Saurabh Sharma, Olivier Temam, A Group, Inria Rocquencourt — 2003 — In Workshop on Languages and Compilers for Parallel Computing (LCPC’03), LNCS
… program transformations. For that purpose, we need a generic method for expressing program transformations…
Cited by 14 (5 self) – Add To MetaCart

Searching for points-to analysis
by Glenn Bruns, Satish Ch — IEEE Trans. Software Eng
… transformations are generic and may be useful in the design of other program analysis algorithms. Index Terms…
Cited by 1 (0 self) – Add To MetaCart

Progress - A Transformation Factory For Digital Signal Processing Software
by S.D. Swierstra, E. Visser, J. Fokker, Dr. E. Visser, Drs J. Fokker
… Another area where generic program transformations are proving succesful is software renovation…
Add To MetaCart

Viewing A Program Transformation System At Work
by Robert Paige — 1994 — Joint 6th International Conference on Programming Language Implementation and Logic Programming (PLILP) and 4th International conference on Algebraic and Logic Programming (ALP), volume 844 of Lecture Notes in Computer Science
… development methodology makes use of fully automatic, generic program transformations that capture algorithm…
Cited by 25 (2 self) – Add To MetaCart

Numerical Options Models Without Programming
by Curt Randall, Curt R, Elaine Kant
… representations of algorithm and programming constructs with generic program transformations for numerical…
Add To MetaCart

Program Derivation With Verified Transformations - A Case Study
by J.P. Keller, R. Paige — 1995
… procedures for fragments of set theory; see [13]. Early research on the generic program transformation method…
Cited by 12 (3 self) – Add To MetaCart

Why Automatic Transformation Matters
by Ogi
… Although generic program transformations based upon function specialization, partial evaluation and fusion…
Add To MetaCart

Composition and Refinement of Evolving Specifications
by Matthias Anlauff, Viatthias Anlauff, Dusko Pavlovic, Douglas R. Smith — 2002 — In Proceedings of Workshop on Evolutionary Formal Software Development
… version of this protocol, by applying a generic program transformation from the library. The resulting…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB