John Hughes - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program transformation

Guarded Program Transformations Using JTLTal Cohen, Joseph Gil, Itay Maman. TOOLS 2008: 100-120 [doi]

Types and program transformationsAzamatbek Mametjanov. OOPSLA 2007: 937-938 [doi]

Transformation of Existing Programs into Autonomic and Self-healing EntitiesM. Muztaba Fuad, Michael J. Oudshoorn. ECBS 2007: 133-144 [doi]

Program Transformation Using HATS 1.84Victor L. Winter, Jason Beranek. GTTSE 2006: 378-396 [doi]

Simple relational correctness proofs for static analyses and program transformationsNick Benton. POPL 2004: 14-25 [doi]

Program manipulation via interactive transformationsMarat Boshernitsan. OOPSLA 2003: 120-121 [doi]

Program manipulation via interactive transformationsMarat Boshernitsan. OOPSLA 2003: 392-393 [doi]

Equivalent Transformations of Program Schemes for Entangling ProgramsRimma I. Podlovchenko. pcs, 28(2):106-116, 2002. [doi]

Tag Elimination and Jones-OptimalityWalid Taha, Henning Makholm, John Hughes. pado 2001: 257-275 [doi]

A Theoretical Foundation of Program Synthesis by Equivalent TransformationKiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi. ershov 2001: 131-139 [doi]

Deforestation, program transformation, and cut-eliminationJ. Robin B. Cockett. ENTCS, 44(1):88-127, 2001. [doi]

Automatic Extraction of Logig Program Transformations from ExamplesWamberto Weber Vasconcelos, Marcelo A. T. Aragão. micai 2000: 224-234

On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program SynthesisUwe Egly, Stephan Schmitt. FUIN, 39(1-2):59-83, 1999.

A Foundation for Space-Safe Transformations of Call-by-Need ProgramsJörgen Gustavsson, David Sands. ENTCS, 26:69-86, 1999. [doi]

Performing High-Level Synthesis via Program Transformations within a Theorem ProverChristian Blumenröhr, Dirk Eisenbiegler. euromicro 1998: 10034-10037 [doi]

Intuitionistic Proof Transformations and Their Application to Constructive Program SynthesisUwe Egly, Stephan Schmitt. AISC 1998: 132-144 [doi]

Step By Step Transformation of a Fortran 90 Program in HPF, using HPF-BuilderJean-Luc Dekeyser, Christian Lefebvre. ppsc 1997:

Future Directions In Program TransformationsRobert Paige. SIGPLAN, 32(1):94-97, 1997.

On the Automatic PARMACS-to-MPI Transformation in Application ProgramsRolf Hempel, Falk Zimmermann. hpcn 1996: 1033-1034

Program Transformation with Metasystem Transitions: Experiments with a SupercompilerAndrei P. Nemytykh, Victoria A. Pinchuk. ershov 1996: 249-260

Future Directions in Program TransformationsRobert Paige. ACM Comput. Surv., 28(4es):170, 1996.

Total Correctness by Local Improvement in Program TransformationDavid Sands. POPL 1995: 221-232

A Simple Program Transformation for ParallelismSaumya K. Debray, Mudita Jain. SLP 1994: 305-319

Generalizing Cook s Transformation to Imperative Stack ProgramsNils Andersen, Neil D. Jones. BIRTHDAY 1994: 1-18

Recomputation-Free Lemmatization by Program TransformationPaulo Jorge de Sousa Azevedo, Marek J. Sergot. ICLP 1994: 739-740

Program Development: Attributes for Transformation and ProofEinar W. Karlsen, Owen Traynor. prospectra 1993: 450-459

Program Transformation for Locality Using Affinity RegionsWilliam F. Appelbe, Charles Hardnett, Srinivas Doddapaneni. lcpc 1994: 290-300

Unfold/Fold Transformations of Stratified ProgramsHirohisa Seki. TCS, 86(1):107-139, 1991.

Performing geometric transformations by program transformationRobin A. Nicholl, Tina M. Nicholl. tog, 9(1):28-40, 1990. [doi]

Program Transformation in the Presence of ErrorsAlexander Aiken, John H. Williams, Edward L. Wimmers. POPL 1990: 210-217

Polynomial-Time Program Transformations in Deductive DatabasesYatin P. Saraiya. PODS 1990: 132-144 [doi]

Iteration of Transformation Passes over Attributed Program TreesHenk Alblas. ACTA, 27(1):1-40, 1989.

Realistic Compilation by Program TransformationRichard Kelsey, Paul Hudak. POPL 1989: 281-292

Unfold/Fold Transformation of Stratified ProgramsHirohisa Seki. ICLP 1989: 554-568

Converting AND-Control to OR-Control by Program TransformationMaarten H. van Emden, Péter Szeredi. In Foundations of Deductive Databases and Logic Programming.. pages 699-709, 1988.

Program Transformation Applied to the Derivation of Systoloc ArraysNorihiko Yoshida. fgcs 1988: 565-572

The alpha-beta Algorithm: An Exercise in Program TransformationRichard S. Bird, John Hughes. ipl, 24(1):53-57, 1987.

One-Pass Transformations of Attributed Program TreesHenk Alblas. ACTA, 24(3):299-352, 1987.

Transformational Program Development in a Particular Program DomainHelmuth Partsch. SCP, 7(2):99-241, 1986.

Program Derivation Through Transformations: The Evolution of List-Copying AlgorithmsN. W. P. van Diepen, Willem P. de Roever. SCP, 6(3):213-272, 1986.

Program Development and Documentation by Informal Transformations and DerivationsGiovanna Petrone, Luigi Petrone. tapsoft 1985: 231-245

Description and Improvement of Iterative Program TransformationsJeanine Souquières, Jean-Pierre Finance. SCP, 5(3):233-264, 1985.

Program transformation by supercompilationValentin F. Turchin. pdo 1986: 257-281

Using Program Transformations to Derive Line-Drawing AlgorithmsRobert F. Sproull. tog, 1(4):259-273, 1982. [doi]

Program Generation and Transformation - Tools for Mathematical Software DevelopmentJames M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky. ifip11-9 1977: 303-308

Formal Transformations and the Development of ProgramsFriedrich W. von Henke. mfcs 1977: 288-296

Goal-Directed Program TransformationBen Wegbreit. POPL 1976: 153-170

Program production by successive transformationM. Griffiths. ac 1976: 125-152

On Transformations of ProgramsRichard S. Bird. jcss, 8(1):22-35, 1974.

Transformation of Program Schemes to Standard FormsSanat K. Basu. focs 1968: 99-105

runs on WebDSL