MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Transformations of Programs." – sorted by Relevance.

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

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

3,154 documents found, showing 1 through 10. Next 10 →

ATOM

Generic Transformational Program Development
by C. Lüth, H. Tej, B. Wolff
…Generic Transformational Program Development ? C. Luth 1 , H. Tej 1 , and B. Wolff 2 1…
Add To MetaCart

Schedules for Multiset Transformer Programs
by Michel Chaudron — 1994 — In Coordination Programming: Mechanisms, Models and Semantics. Imperial
… Schedules for Multiset Transformer Programs Michel Chaudron Rijksuniversiteit Leiden Department…
Cited by 10 (4 self) – Add To MetaCart

Comparing Three Approaches to Transformational Programming
by Konstantin Läufer — 1991
…Comparing Three Approaches to Transformational Programming --- Preliminary Version --- Konstantin…
Add To MetaCart

Deforestation: Transforming programs to eliminate trees
by Philip Wadler — 1990 — Theoretical Computer Science
…Deforestation: Transforming programs to eliminate trees Philip Wadler University of Glasgow…
Cited by 344 (5 self) – Add To MetaCart

Representing Proof Transformations for Program Optimization
by Penny Anderson — 1994 — IN PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
… Representing Proof Transformations for Program Optimization Penny Anderson N 2229 Mai 1994 PROGRAMME 2…
Cited by 6 (1 self) – Add To MetaCart

Graph Transformations and Program Flow Analysis
by Douglas Richard Grundman — 1990
…UNIVERSITY OF CALIFORNIA BERKELEY Graph Transformations and Program Flow Analysis by Douglas…
Cited by 3 (0 self) – Add To MetaCart

Lambda Lifting: Transforming Programs to Recursive Equations
by Thomas Johnsson — 1985
…Lambda Lifting: Transforming Programs to Recursive Equations Thomas Johnsson September 1985…
Cited by 144 (5 self) – Add To MetaCart

Verification of Source Code Transformations by Program Equivalence Checking
by K.C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens — 2005 — In Compiler Construction, 14th International Conference, CC 2005, Proceedings, volume 3443 of LNCS
…Verification of Source Code Transformations by Program Equivalence Checking K.C. Shashidhar 1…
Cited by 3 (3 self) – Add To MetaCart

Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic
by Patrick Lincoln, Narciso Martí-Oliet, Jos, José Meseguer, P. Lincoln, N. Mart I-oliet, J. Meseguer — 1994 — Specification of Parallel Algorithms, pages 309--339. DIMACS Series
… Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic PATRICK LINCOLN…
Cited by 16 (7 self) – Add To MetaCart

Garbage Recycling: Transforming Programs to Reuse Garbage
by G.W. Hamilton, St Bg — 1995
…Garbage Recycling: Transforming Programs to Reuse Garbage G.W.Hamilton Technical Report TR95…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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