Joost Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program transformation

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, 76(6):516-539, 2011. [doi]

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, In Press, Corrected Proof, 2010. [doi]

Coupled Transformation of Schemas, Documents, Queries, and ConstraintsJoost Visser. ENTCS, 200(3):3-23, 2008. [doi]

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

Strongly Typed Rewriting For Coupled Software TransformationAlcino Cunha, Joost Visser. ENTCS, 174(1):17-34, 2007. [doi]

Transformation of structure-shy programs: applied to XPath queries and strategic functionsAlcino Cunha, Joost Visser. PEPM 2007: 11-20 [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]

Strong types for relational databasesAlexandra Silva, Joost Visser. haskell 2006: 25-36 [doi]

Type-Safe Two-Level Data TransformationAlcino Cunha, José Nuno Oliveira, Joost Visser. FM 2006: 284-299 [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]

Generic Traversal over Typed Source Code RepresentationsJoost Visser. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, 2003.

Object-oriented tree traversal with JJForesterTobias Kuipers, Joost Visser. SCP, 47(1):59-87, 2003. [doi]

A Strafunski Application LetterRalf Lämmel, Joost Visser. PADL 2003: 357-375 [doi]

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

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

Typed Combinators for Generic TraversalRalf Lämmel, Joost Visser. PADL 2002: 137-154 [doi]

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

Object-oriented Tree Traversal with JJForesterTobias Kuipers, Joost Visser. ENTCS, 44(2):34-58, 2001. [doi]

XT: a bundle of program transformation toolsMerijn de Jonge, Eelco Visser, Joost Visser. ENTCS, 44(2):79-86, 2001. [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]

Functional Transformation SystemsJan Kort, Ralf Lämmel, Joost Visser. wflp 2000: 154-168

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]

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

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

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 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

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