The transformation of collections of communicating sequential processes that represent pipeline configurationsWILLIAMS, S. A.Parallel computing. 1985, Vol 2, Num 4, pp 345-351, issn 0167-8191Article

The supercompiler SCP4: General structureNEMYTYKH, Andrei P.Lecture notes in computer science. 2003, pp 162-170, issn 0302-9743, isbn 3-540-20813-5, 9 p.Conference Paper

Auxiliary variables in data refinementMORGAN, C.Information processing letters. 1988, Vol 29, Num 6, pp 293-296, issn 0020-0190Article

Formal methods for hardware verification (6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006)Bernardo, Marco; Cimatti, Alessandro.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-34304-0, 1Vol, VI-242 p, isbn 3-540-34304-0Conference Proceedings

The Lübeck Transformation System: A transformation system for equational higher order algebraic specificationsDOSCH, Walter; MAGNUSSEN, Sönke.Lecture notes in computer science. 2002, pp 85-108, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Run-time parallelization optimization techniquesHAO YU; RAUCHWERGER, L.Lecture notes in computer science. 2000, pp 481-484, issn 0302-9743, isbn 3-540-67858-1Conference Paper

A parameterized unfold/fold transformation framework for definite logic programsROYCHOUDHURY, A; NARAYAN KUMAR, K; RAMAKRISHNAN, C. R et al.Lecture notes in computer science. 1999, pp 396-413, issn 0302-9743, isbn 3-540-66540-4Conference Paper

Unfold/fold transformations for disjunctive logic programsGERGATSOULIS, M.Information processing letters. 1997, Vol 62, Num 1, pp 23-29, issn 0020-0190Article

An efficient retargetable microprogram generating systemBALAKRISHNAN, M; BHATT, P. C. P; MADAN, B. B et al.Microprocessing and microprogramming. 1987, Vol 19, Num 4, pp 305-318, issn 0165-6074Article

RAPT : A program transformation system based on term rewritingCHIBA, Yuki; AOTO, Takahito.Lecture notes in computer science. 2006, pp 267-276, issn 0302-9743, isbn 3-540-36834-5, 1Vol, 10 p.Conference Paper

Parallel programming by transformationWINSTANLEY, N.Lecture notes in computer science. 1999, pp 858-865, issn 0302-9743, isbn 3-540-66443-2Conference Paper

The discoveries of continuationsREYNOLDS, J. C.Lisp and symbolic computation. 1993, Vol 6, Num 3-4, pp 233-247, issn 0892-4635Article

Derivation of a pallel algorithm for balancing binary treesMOITRA, A; IYENGAR, S. S.IEEE transactions on software engineering. 1986, Vol 12, Num 3, pp 442-449, issn 0098-5589Article

Steganography for executables and code transformation signaturesANCKAERT, Bertrand; DE SUTTER, Bjorn; CHANET, Dominique et al.Lecture notes in computer science. 2005, pp 425-439, issn 0302-9743, isbn 3-540-26226-1, 15 p.Conference Paper

IMCE : Integrated media creation environmentADAMS, Brett; VENKATESH, Svetha; JAIN, Ramesh et al.IEEE International Conference on multimedia. 2004, isbn 0-7803-8603-5, 3Vol, vol2, 835-838Conference Paper

Tag elimination and Jones-optimality (preliminary report)TAHA, Walid; MAKHOLM, Henning; HUGHES, John et al.Lecture notes in computer science. 2001, pp 257-275, issn 0302-9743, isbn 3-540-42068-1Conference Paper

Clarification of «feeding inputs on demand» in efficient demand-driven evaluation. IKESHAV PINGALI; ARVIND.ACM transactions on programming languages and systems. 1986, Vol 8, Num 1, pp 140-141, issn 0164-0925Article

Une approche uniforme à la spécialisation de programmes et à la spécialisation de données = A Uniform Approach for Program and Data SpecializationChirokoff, Sandrine; Consel, Charles.2000, 102 p.Thesis

Case study in migration to object-oriented system structure using design transformation methodsPIDAPARTHI, S; CYSEWSKI, G.Euromicro conference on software maintenance and reengineering. 1997, pp 128-135, isbn 0-8186-7892-5Conference Paper

On barron and strachey's cartesian product Function : Possibly the world's first functional pearlDANVY, Olivier; SPIVEY, Michael.ACM SIGPLAN notices. 2007, Vol 42, Num 9, pp 41-45, issn 1523-2867, 5 p.Conference Paper

Fission for program comprehensionGIBBONS, Jeremy.Lecture notes in computer science. 2006, pp 162-179, issn 0302-9743, isbn 3-540-35631-2, 1Vol, 18 p.Conference Paper

LOPSTR 2003 : logic based program synthesis and transformation (Uppsala, 25-27 August 2003, revised selected papers)Bruynooghe, Maurice.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22174-3, X, 232 p, isbn 3-540-22174-3Conference Proceedings

A post-placement side-effect removal algorithmHARMAN, Mark; LIN HU; HIERONS, Rob et al.Proceedings - Conference on Software Maintenance. 2002, pp 2-11, issn 1063-6773, isbn 0-7695-1819-2, 10 p.Conference Paper

Higher-order transformation of logic programsSERES, Silvija; SPIVEY, Michael.Lecture notes in computer science. 2001, Vol 2042, pp 57-68, issn 0302-9743, isbn 3-540-42127-0Conference Paper

An empirical study of function pointers using SPEC benchmarksCHENG, B.-C; HWU, W.-M. W.Lecture notes in computer science. 2000, pp 490-493, issn 0302-9743, isbn 3-540-67858-1Conference Paper