Eelco Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged transformation system

Correctness of high-level transformation systems relative to nested conditionsAnnegret Habel, Karl-Heinz Pennemann. mscs, 19(2):245-296, 2009. [doi]

Fusing a Transformation Language with an Open CompilerKarl Trygve Kalleberg, Eelco Visser. ENTCS, 203(2):21-36, 2008. [doi]

Stratego/XT 0.17. A language and toolset for program transformationMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. SCP, 72(1-2):52-70, 2008. [doi]

Transformational Pattern System - Some Assembly RequiredMika Siikarla, Tarja Systä. ENTCS, 211:63-74, 2008. [doi]

Gramian-Preserving Frequency Transformation for Linear Discrete-Time State-Space SystemsShunsuke Koshita, Satoru Tanaka, Masahide Abe, Masayuki Kawamata. ieicet, 91-A(10):3014-3021, 2008. [doi]

The Cole-Hopf transformation and improved tanh-coth method applied to new integrable system (KdV6)Cesar A. Gómez S, Alvaro H. Salas. amc, 204(2):957-962, 2008. [doi]

Floquet transformations for discrete-time systems: Equivalence between periodic systems and time-invariant onesYoshikazu Hayakawa, Tomohiko Jimbo. cdc 2008: 5140-5145 [doi]

Thalamocortical transformations of periodic stimuli: the effect of stimulus velocity and synaptic short-term depression in the vibrissa-barrel systemJaime de la Rocha, Néstor Parga. jcns, 25(1):122-140, 2008. [doi]

A scalable distributed algorithm for shape transformation in multi-robot systemsRam Ravichandran, G. Gordon, Seth Copen Goldstein. iros 2007: 4188-4193 [doi]

Combining Aspect-Oriented and Strategic ProgrammingKarl Trygve Kalleberg, Eelco Visser. ENTCS, 147(1):5-30, 2006. [doi]

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XTMartin Bravenboer, René de Groot, Eelco Visser. GTTSE 2006: 297-311 [doi]

Stratego/XT 0.16: components for transformation systemsMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. PEPM 2006: 95-99 [doi]

Formal Transformation in Pipeline SystemsMohamad Al-Laham. ecs, 28(3):57-65, 2006.

Learning invariant object recognition in the visual system with continuous transformationsSimon M. Stringer, G. Perry, Edmund T. Rolls, J. H. Proske. bc, 94(2):128-142, 2006. [doi]

A survey of strategies in rule-based program transformation systemsEelco Visser. JSC, 40(1):831-873, 2005. [doi]

Interacting with notations: two examples of the use of a transformation systemSilas S. Brown, Peter Robinson. uais, 4(2):96-104, 2005. [doi]

A formalism for functionality preserving system level transformationsSamar Abdi, Daniel Gajski. aspdac 2005: 139-144 [doi]

Scalable Automated Verification via Expert-System Guided TransformationsHari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann. FMCAD 2004: 159-173 [doi]

Transformation-Oriented Middleware for Legacy System IntegrationGuido Menkhaus, Urs Frei. ICEIS 2004: 202-209

Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation SystemsJ. van Wijngaarden, Eelco Visser. Technical Report UU-CS-2003-048, 2003.

Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9Eelco Visser. Dagstuhl 2004: 216-238 [doi]

Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for OctaveKarina Olmos, Eelco Visser. SCAM 2003: 141-150 [doi]

Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract)Bernd Fischer, Eelco Visser. LOPSTR 2004: 56-58 [doi]

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ ProgramsAnya Helene Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser. SCAM 2003: 65 [doi]

Strategies for Source-to-Source Constant ProgagationKarina Olmos, Eelco Visser. ENTCS, 70(6):156-175, 2002. [doi]

A Survey of Strategies in Program Transformation SystemsEelco Visser. ENTCS, 57:109-143, 2001. [doi]

Stratego: A Language for Program Transformation Based on Rewriting StrategiesEelco Visser. RTA 2001: 357-362 [doi]

XT: a bundle of program transformation toolsMerijn de Jonge, Eelco Visser, Joost Visser. ENTCS, 44(2):79-86, 2001. [doi]

Warm fusion in Stratego: A case study in generation of program transformation systemsPatricia Johann, Eelco Visser. AMAI, 29(1-4):1-34, 2000. [doi]

System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion LevelAndreas Meier. cade 2000: 460-464

Discourses on the Interaction of Information Systems, Organizations, and Society: Reformation and TransformationRichard Baskerville, Jan Stage. ifip9-3 2000: 1-14

A core language for rewritingEelco Visser, Zine-El-Abidine Benaissa. ENTCS, 15:422-441, 1998. [doi]

Arithmetic Co-Transformations in the Real and Complex Logarithmic Number SystemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. TC, 47(7):777-786, 1998.

Query Transformation for Heterogeneous Provider Systems in MedocKai Großjohann, Dirk Menke. medoc 1998: 79-87 [doi]

Applications of the TAMPR Transformation SystemTerence J. Harmer, Patrick J. McParland, James M. Boyle. iwfm 1998:

Lexical Choice and Syntactic Generation in a Transfer System: Transformations in the New LMT English-German SystemClaudia Gdaniec. amta 1998: 408-420 [doi]

Dynamic Calibration of an Active Vision System to Compute the Ground Plane TransformationFuxing Li, Michael Brady. ACCV 1997: 120-127

Specification of Rewriting StrategiesBas Luttik, Eelco Visser. ASF+SDF 1997:

Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time SystemsIrina M. Smarandache, Paul Le Guernic. arts 1997: 233-247

Reactive Systems Developing by Formal Specification TransformationsAmmar Attoui, Abdelfettah Hasbani. dexaw 1997: 339-344

Arithmetic Co-transformations in the Real and Complex Logarithmic Number SystemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. arith 1997: 190-199 [doi]

Specification and Transformation of Reactive Systems with Time Restrictions and ConcurrencyMichael Schenke. ftrtft 1994: 605-620

Combinatory Algebraic Specification & Compilation of List MatchingEelco Visser. Master's thesis, Department of Computer Science, University of Amsterdam, Amsterdam, June 1993.

Transformation of Doacross Loops on Distributed Memory SystemsA. Zaafrani, Mabo Robert Ito. ipps 1993: 824-829

Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract)Shengzong Zhou, Rob Gerth, Ruurd Kuiper. concur 1993: 353-367

Behavior tables: a basis for system representation and transformational system synthesisKamlesh Rath, M. Esen Tuna, Steven D. Johnson. iccad 1993: 736-740 [doi]

Uniformization and Exponential Transformation: Techniques for Fast Simulation of Highly Dependable Non-Markovian SystemsVictor F. Nicola, Philip Heidelberger, Perwez Shahabuddin. ftcs 1992: 130-139

Transformation of computation formulae in systems of recurrence relationsEugene V. Zima. eurocal 1989: 223-224

Intertwined Recursion, Tree Transformations, and Linear SystemsMichael A. Arbib, Ernest G. Manes. iandc, 40(2):144-180, February 1979.

Calculation of Eigenvalues of Systems of ODE s Using the Riccati TransformationJ. Stuart Bramley. ode 1979: 311-318

runs on WebDSL