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

Program derivation through transformations: the evolution of list-copying algorithmsVAN DIEPEN, N. W. P; DE ROEVER, W. P; SINTZOFF, M et al.Science of computer programming. 1986, Vol 6, Num 3, pp 213-272, issn 0167-6423Article

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

Die prinzipiellen Möglichkeiten zur Optimierung von Programmen = Les possibilités principales pour optimiser les programmesOTTER, W.Wissenschaftliche Zeitschrift der Technischen Universität Dresden. 1983, Vol 32, Num 3, pp 15-21, issn 0043-6925Article

Art de la programmation des microcalculateurs programmables 3-conversion des programmesTROKHIMENKO, YA. K; LYUBICH, F. D.Izvestiâ vysših učebnyh zavedenij. Radioelektronika. 1983, Vol 26, Num 8, pp 54-58, issn 0021-3470Article

A new version of minuit program for a PDP 11/34A computer systemDEDOUSSIS, S; CHARDALAS, M; CHARALAMBOUS, S et al.Computer physics communications. 1984, Vol 31, Num 1, pp 29-39, issn 0010-4655Article

A note on a fast algorithm for sparse matrix multiplicationCOHEN, J.Information processing letters. 1983, Vol 16, Num 5, pp 247-248, issn 0020-0190Article

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

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

Domain-specific automatic programmingBARSTOW, D. R.IEEE transactions on software engineering. 1985, Vol 11, Num 11, pp 1321-1336, issn 0098-5589Article

Loop cleaningKASYANOV, V. N.Information processing letters. 1984, Vol 18, Num 1, pp 1-6, issn 0020-0190Article

Structuring transformational developments: a case study based on earley's recognizerPARTSCH, H.Science of computer programming. 1984, Vol 4, Num 1, pp 17-44, issn 0167-6423Article

Some equivalent transformations of recursive programs based on their schematic propertiesTRAKHTENBROT, M. B.Information processing letters. 1984, Vol 18, Num 5, pp 275-283, issn 0020-0190Article

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