Eerke Boiten - 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]

Aggregates for CHR through Program TransformationPeter Van Weert, Jon Sneyers, Bart Demoen. LOPSTR 2008: 59-73 [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]

Point-free Program TransformationAlcino Cunha, Jorge Sousa Pinto. FUIN, 66(4):315-352, 2005. [doi]

From sequential programs to multi-tier applications by program transformationMatthias Neubauer, Peter Thiemann. POPL 2005: 221-232 [doi]

A technique for constructing aspect weavers using a program transformation engineJeffrey G. Gray, Suman Roychoudhury. AOSD 2004: 36-45 [doi]

Stack inspection and secure program transformationsMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari. ijisec, 2(3-4):187-217, 2004. [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]

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]

A User Level Program Transformation ToolFrançois Bodin, Yann Mével, Rene Quiniou. ics 1998: 180-187 [doi]

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

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

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

Automatic Array Alignment as a Step in Hierarchical Program TransformationBojan Cukic, Farokh B. Bastani. ipps 1994: 578-582

Program Transformation and Proof TransformationWilfried Sieg, Stanley S. Wainer. csl 1994: 305-317

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

How to Produce Correct Software - An Introduction to Formal Specification and Program Development by TransformationsEerke Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker. cj, 35(6):547-554, 1992.

Program Transformations for Static Process NetworksStuart Cox, Shell-Ying Huang, Paul Kelly, Junxian Liu, Frank Taylor. sigplanW 1992: 60-63

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

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

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

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 Transformations in a Denotational SettingFlemming Nielson. TOPLAS, 7(3):359-379, 1985. [doi]

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.

On Program Transformation with Tupling TechniqueAkihiko Koga. rims 1986: 212-232

Correctness Preserving Transformations for Distributed ProgramsS. Mahadevan, R. K. Shyamasundar. ifip 1983: 307-313

Theory of Linear Equations Applied to Program TransformationUday S. Reddy, Bharat Jayaraman. IJCAI 1983: 10-16

Automatic Goal-Directed Program TransformationStephen Fickas. AAAI 1980: 68-70

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

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