Eelco Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged abstract syntax

Polymorphic Abstract Syntax via Grothendieck ConstructionMakoto Hamana. fossacs 2011: 381-395 [doi]

Interactive Disambiguation of Meta Programs with Concrete Object SyntaxLennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser. SLE 2010: 327-336 [doi]

Higher-Order Abstract Syntax in Isabelle/HOLDouglas J. Howe. itp 2010: 481-484 [doi]

Relating nominal and higher-order abstract syntax specificationsAndrew Gacek. ppdp 2010: 177-186 [doi]

Mapping of Dynamic Language Constructs into Static Abstract Syntax TreesJakub Mísek, Filip Zavoral. ACISicis 2010: 625-630 [doi]

SLA★: An abstract syntax for Service Level AgreementsKeven T. Kearney, Francesco Torelli, Constantinos Kotsokalis. grid 2010: 217-224 [doi]

Integer Promotion Elimination on Abstract Syntax TreeQing an Li, Yanxiang He, Lei Zhou, Wei Wu, Yong Chen. IEEEcit 2010: 2367-2372 [doi]

Typed transformations of typed abstract syntaxArthur I. Baars, S. Doaitse Swierstra, Marcos Viera. tldi 2009: 15-26 [doi]

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

Second-Order and Dependently-Sorted Abstract SyntaxMarcelo P. Fiore. lics 2008: 57-68 [doi]

Focusing and higher-order abstract syntaxNoam Zeilberger. POPL 2008: 359-369 [doi]

Processing heterogeneous abstract syntax trees with the mutable class patternNikolay Malitsky. OOPSLA 2008: 697-702 [doi]

Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract SyntaxAlberto Momigliano, Alan J. Martin, Amy P. Felty. ENTCS, 196:85-93, 2008. [doi]

VAST: visualization of abstract syntax trees within language processors coursesFrancisco J. Almeida-Martínez, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide. softvis 2008: 209-210 [doi]

WebDSL: A Case Study in Domain-Specific Language EngineeringEelco Visser. GTTSE 2007: 291-373 [doi]

Canonical Abstract Syntax TreesAntoine Reilles. ENTCS, 176(4):165-179, 2007. [doi]

Abstract Syntax: Substitution and Binders: Invited AddressJohn Power. ENTCS, 173:3-16, 2007. [doi]

Higher-order abstract syntax: setting the record straightKarl Crary, Robert Harper. sigact, 37(3):93-96, 2006. [doi]

Fresh O Caml: Nominal Abstract Syntax for the MassesMark R. Shinwell. ENTCS, 148(2):53-77, 2006. [doi]

Combining de Bruijn Indices and Higher-Order Abstract Syntax in CoqVenanzio Capretta, Amy P. Felty. TYPES 2007: 63-77 [doi]

Clone Detection Using Abstract Syntax Suffix TreesRainer Koschke, Raimar Falke, Pierre Frenzel. WCRE 2006: 253-262 [doi]

Combining higher-order abstract syntax with first-order abstract syntax in ATSKevin Donnelly, Hongwei Xi. ICFP 2005: 58-63 [doi]

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

Retrofitting the AutoBayes Program Synthesis System with Concrete SyntaxBernd Fischer, Eelco Visser. Dagstuhl 2004: 239-253 [doi]

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. ICFP 2003: 249-262 [doi]

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. SIGPLAN, 38(9):249-262, 2003. [doi]

Meta-programming with Concrete Object SyntaxEelco Visser. GPCE 2002: 299-315 [doi]

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

Reasoning with higher-order abstract syntax in a logical frameworkRaymond McDowell, Dale Miller. tocl, 3(1):80-136, 2002. [doi]

Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)InductionSimon Ambler, Roy L. Crole, Alberto Momigliano. tphol 2002: 13-30 [doi]

Normalization by evaluation with typed abstract syntaxOlivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose. JFP, 11(6):673-680, 2001.

Primitive recursion for higher-order abstract syntaxCarsten Schürmann, Joëlle Despeyroux, Frank Pfenning. TCS, 266(1-2):1-57, 2001. [doi]

A Simple Take on Typed Abstract Syntax in Haskell-like LanguagesOlivier Danvy, Morten Rhiger. FLOPS 2001: 343-358 [doi]

Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of ContextsChristine Röckl, Daniel Hirschkoff, Stefan Berghofer. fossacs 2001: 364-378 [doi]

Language Independent Traversals for Program TransformationEelco Visser. In Workshop on Generic Programming (WGP 2000). 2000:

Abstract Syntax for Variable Binders: An OverviewDale Miller. cl 2000: 239-253 [doi]

Uniform Abstract Syntax TreesChris Clark. SIGPLAN, 35(2):11-16, 2000.

Polymorphic Syntax DefinitionEelco Visser. TCS, 199(1-2):57-86, 1998. [doi]

Clone Detection Using Abstract Syntax TreesIra D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant Anna, Lorraine Bier. ICSM 1998: 368-377 [doi]

Towards a calculus for abstract syntax treesDavid S. Wile. alc 1997: 324-353

Augmenting Abstract Syntax Trees for Program UnderstandingChristopher A. Welty. jckbse 1997: 126-133 [doi]

Primitive Recursion for Higher-Order Abstract SyntaxJoëlle Despeyroux, Frank Pfenning, Carsten Schürmann. tlca 1997: 147-163

Generation of Formatters for Context-Free LanguagesMark G. J. van den Brand, Eelco Visser. TOSEM, 5(1):1-41, 1996. [doi]

A Family of Syntax Definition FormalismsEelco Visser. ASF+SDF 1995:

Higher-Order Abstract Syntax in CoqJoëlle Despeyroux, Amy P. Felty, André Hirschowitz. tlca 1995: 124-138

Higher-Order Abstract Syntax with Induction in CoqJoëlle Despeyroux, André Hirschowitz. lpar 1994: 159-173

ASNST: an Abstract Syntax Notation-One support toolCheryl Cleghorn, Hasan Ural. comcom, 12(5):259-265, 1989. [doi]

Higher-Order Abstract SyntaxFrank Pfenning, Conal Elliott. PLDI 1988: 199-208 [doi]

Specialized commands for a syntax-directed editor (abstract)Margaret S. Geroch, Frances L. Van Scoy. acm 1986: 490 [doi]

A Normal Form for Abstract SyntaxJohn Miles Smith. VLDB 1978: 156-162 [doi]

runs on WebDSL