Robert Harper - 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]

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

SLA★: An abstract syntax for Service Level AgreementsKeven T. Kearney, Francesco Torelli, Constantinos Kotsokalis. grid 2010: 217-224 [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]

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

Second-Order and Dependently-Sorted Abstract SyntaxMarcelo P. Fiore. lics 2008: 57-68 [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]

Focusing and higher-order abstract syntaxNoam Zeilberger. POPL 2008: 359-369 [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]

Parametric higher-order abstract syntax for mechanized semanticsAdam J. Chlipala. ICFP 2008: 143-156 [doi]

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutionsBrigitte Pientka. POPL 2008: 371-382 [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]

What Is Context ::::For::::? Syntax in a Non-Abstract WorldTom Sgouros. jolli, 14(2):235-251, 2005. [doi]

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleMLAdrian Giurca, Gerd Wagner. ruleml 2005: 45-55 [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]

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]

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

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

A New Approach to Abstract Syntax Involving BindersMurdoch Gabbay, Andrew M. Pitts. lics 1999: 214-224 [doi]

Semantical Analysis of Higher-Order Abstract SyntaxMartin Hofmann. lics 1999: 204-213 [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]

Abstract Syntax and Semantics of Visual LanguagesMartin Erwig. JCL (JVLC), 9(5):461-483, 1998.

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

A Logic for Reasoning with Higher-Order Abstract SyntaxRaymond McDowell, Dale Miller. lics 1997: 434-445 [doi]

ASTLOG: A Language for Examining Abstract Syntax TreesRoger F. Crew. DSL 1997: [doi]

Abstract syntax from concrete syntaxWile, David S.. In ICSE '97: Proceedings of the 19th international conference on Software engineering. 1997: [doi]

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]

Facilitating speech recognition with atuomatically generated ATN s, theme identifiers, and syntax analyzers (abstract only)Thomas M. English, Lois C. Boggess. acm 1985: 420 [doi]

A Reference Model and Abstract Syntax for Distributed Database SystemsG. Fitzgerald, J. O. Jefferys, Jon M. Kerridge, W. R. Pilgrim, H. M. Robinson, G. M. Stacey. bncod 1982: 133-146

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

Language Representation Based on Abstract SyntaxHans Diel. gi 1976: 133-147

runs on WebDSL