abstract syntax - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

An Algorithm for Layout Preservation in Refactoring TransformationsMaartje de Jonge, Eelco Visser. SLE 2011:

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. SoSyM, , 2012.

2011

2010

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

A verified compiler for an impure functional languageAdam J. Chlipala. POPL 2010: 93-106 [doi]

Abstract and Concrete Syntax Migration of Instance ModelsAntonio Cicchetti, Bart Meyers, Manuel Wimmer. TTC 2010:

Xtext: implement your language faster than the quick and dirty wayM. Eysholdt, H. Behrens. In Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. 2010: 307-309

Reasoning with Higher-Order Abstract Syntax and Contexts: A ComparisonAmy P. Felty, Brigitte Pientka. itp 2010: 227-242 [doi]

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

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

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

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

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

Domain-specific language modelling with UML profiles by decoupling abstract and concrete syntaxesJesús Pardillo, Cristina Cachero. jss, 83(12):2591-2606, 2010. [doi]

Synchronization of abstract and concrete syntax in domain-specific modeling languagesIstvan Rath, Andras Ökrös, Daniel Varro. SoSyM, 9, 2010. [doi]

Invertible syntax descriptions: unifying parsing and pretty printingTillmann Rendel, Klaus Ostermann. In Proceedings of the third ACM Haskell symposium on Haskell. 2010: 1-12

Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformationsIstván Ráth, András Ökrös, Dániel Varró. SoSyM, 9(4):453-471, 2010. [doi]

Homology Detection Based on Abstract Syntax Tree Combined Simple Semantics AnalysisShizhong Wu, Yongle Hao, Xinyu Gao, Baojiang Cui, Ce Bian. iat 2010: 410-414 [doi]

2009

An algorithm for identifying the abstract syntax of graph-based diagramsAteret Anaby-Tavor, David Amid, Amit Fisher, Harold Ossher, Rachel K. E. Bellamy, Matthew Callery, Michael Desmond, Sophia Krasikov, Tova Roth, Ian Simmonds, Jacqueline de Vries. vl 2009: 193-196 [doi]

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

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languagesJacques Carette, Oleg Kiselyov, Chung-chieh Shan. JFP, 19(5):509-543, 2009. [doi]

On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial GrammarPhilippe de Groote, Sylvain Pogodalla, Carl Pollard. wollic 2009: 182-196 [doi]

Guaranteeing Syntactic Correctness for all Product Line Variants: A Language-Independent ApproachChristian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory. In Proceedings of the 47th International Conference Objects, Models, Components, Patterns (TOOLS EUROPE). 2009: [doi]

Type-safe diff for families of datatypesEelco Lempsink, Sean Leather, Andres Löh. In WGP '09: Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. 2009: [doi]

Bridging concrete and abstract syntaxes in model-driven engineering: a case of rule languagesMilan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner, Vladan Devedzic. SPE, 39(16):1313-1346, 2009. [doi]

Model transformations to bridge concrete and abstract syntax of web rule languagesMilan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner, Sergey Lukichev, Vladan Devedzic. comsis, 6(2):47-85, 2009. [doi]

A Model-Based Approach to Families of Embedded Domain-Specific LanguagesJesús Sánchez Cuadrado, Jesús García Molina. TSE, 35(6):825-840, 2009. [doi]

Static Analysis for Web Security in Abstract Syntax FormatRaymond Wu, Masayuki Hisada, Rasika Ranaweera. ic 2009: 58-63

2008

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]

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract SyntaxAmy P. Felty, Alberto Momigliano. corr, abs/0811.4367, 2008. [doi]

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

Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior treesLars Grunske, Kirsten Winter, Nisansala Yatapanage. vlc, 19(3):343-379, 2008. [doi]

MontiCore: a framework for the development of textual domain specific languagesHans Gr{\"o}nniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven V{\"o}lkel. ICSE 2008: 925-926 [doi]

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence DiagramsFrank Hermann, Hartmut Ehrig, Gabriele Taentzer. ENTCS, 211:261-269, 2008. [doi]

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

Software Language Engineering: Creating Domain-Specific Languages Using MetamodelsAnneke Kleppe. Addison-Wesley Professional, 2008.

Layout Specification on the Concrete and Abstract Syntax Level of a Diagram LanguageSonja Maier, Steffen Mazanek, Mark Minas. eceasst, 13, 2008. [doi]

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

Data dependencies and program slicing: from syntax to abstract semanticsIsabella Mastroeni, Damiano Zanardini. PEPM 2008: 125-134 [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]

Generating Rewritable Abstract Syntax TreesJeffrey L. Overbey, Ralph E. Johnson. SLE 2008: 114-133 [doi]

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutionsBrigitte Pientka. POPL 2008: 371-382 [doi]

Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling LanguagesDaniel A. Sadilek, Stephan Weißleder. dsml 2008: 21-29 [doi]

Dependable cardinality forecasts for XQueryJens Teubner, Torsten Grust, Sebastian Maneth, Sherif Sakr. pvldb, 1(1):463-477, 2008. [doi]

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. JFP, 18(1):87-140, 2008. [doi]

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

2007

Bridging Concrete and Abstract Syntax of Web Rule Languagesrr 2007: 309-318 [doi]

Automated testing of refactoring enginesBrett Daniel, Danny Dig, Kely Garcia, Darko Marinov. ESEC/FSE 2007: 185-194 [doi]

Abstract Syntax Trees - and their Role in Model Driven Software DevelopmentGregor Fischer, J. Lusiardi, Jürgen Wolff von Gudenberg. icsea 2007: 38 [doi]

Integrated Definition of Abstract and Concrete Syntax for Textual LanguagesHolger Krahn, Bernhard Rumpe, Steven Völkel. MoDELS 2007: 286-300 [doi]

Functional Programming With Higher-order Abstract Syntax and Explicit SubstitutionsBrigitte Pientka. ENTCS, 174(7):41-60, 2007. [doi]

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

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

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

2006

Effective pattern matching of source code using abstract syntax patternsDarren C. Atkinson, William G. Griswold. SPE, 36(4):413-447, 2006. [doi]

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

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

Barista: An implementation framework for enabling new tools, interaction techniques and views in code editorsAndrew Jensen Ko, Brad A. Myers. CHI 2006: 387-396 [doi]

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

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

Matching Objects Without Language ExtensionJoost Visser. jot, 5(8), 2006. [doi]

2005

Generation of an OCL 2.0 ParserBirgit Demuth, Heinrich Hussmann, Ansgar Konermann. 2005:

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

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended AbstractDaniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang. ENTCS, 127(5):57-82, 2005. [doi]

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleMLAdrian Giurca, Gerd Wagner. ruleml 2005: 45-55 [doi]

Understanding source code evolution using abstract syntax tree matchingIulian Neamtiu, Jeffrey S. Foster, Michael Hicks. sigsoft, 30(4):1-5, 2005. [doi]

Understanding source code evolution using abstract syntax tree matchingIulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks. msr 2005: [doi]

A Concrete Syntax Derived From the Abstract State Machine MetamodelPatrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene. asmta 2005: 345-368 [doi]

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

Type-Driven Automatic Quotation of Concrete Object Code in Meta ProgramsJurgen J. Vinju. rise 2006: 97-112 [doi]

A Generator of efficient strongly typed abstract syntax trees in JavaJurgen J. Vinju, Pierre-Etienne Moreau, Mark G. J. van den Brand. (no title), 152(2), apr 2005. [doi]

2004

Plug and Play the Theory of Contexts in Higher-Order Abstract SyntaxAlberto Ciaffaglione, Ivan Scagnetto. ENTCS, 104:99-112, 2004. [doi]

Generation of abstract programming interfaces from syntax definitionsH. A. de Jong, Pieter A. Olivier. jlp, 59(1-2):35-61, 2004. [doi]

A CASE tool platform using an XML representation of Java source codeMaruyama, K., Yamamoto, S.. In Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on. 2004: [doi]

Source model analysis using the JJTraveler visitor combinator frameworkArie van Deursen, Joost Visser. SPE, 34(14):1345-1379, 2004. [doi]

The Abstract Syntax of RuleML - Towards a General Web Rule Language FrameworkGerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley. webist 2004: 628-631 [doi]

Clone detection in source code by frequent itemset techniquesWahler, V., Seipel, D., Wolff, J., Fischer, G.. In Source Code Analysis and Manipulation, 2004. Fourth IEEE International Workshop on. 2004: [doi]

2003

A definitional approach to primitivexs recursion over higher order abstract syntaxS. J. Ambler, Roy L. Crole, Alberto Momigliano. ICFP 2003: [doi]

Reasoning on an imperative object-based calculus in Higher Order Abstract SyntaxAlberto Ciaffaglione, Luigi Liquori, Marino Miculan. ICFP 2003: [doi]

Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modelingZinovy Diskin, Boris Kadish. DKE, 47(1):1-59, 2003. [doi]

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

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

Towards Automatical Migration of Transformation Rules after Grammar ExtensionWolfgang Lohmann, Günter Riedewald. CSMR 2003: 30-39 [doi]

Multi-level Meta-reasoning with Higher-Order Abstract SyntaxAlberto Momigliano, Simon Ambler. fossacs 2003: 375-391 [doi]

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

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

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

2002

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

A New Approach to Abstract Syntax with Variable BindingMurdoch Gabbay, Andrew M. Pitts. fac, 13(3-5):341-363, 2002. [doi]

Technological Spaces: An Initial AppraisalIvan Kurtev, Jean Bézivin, Mehmet Aksit. In International Symposium on Distributed Objects and Applications, DOA 2002. 2002:

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

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

Building Program Understanding Tools Using Visitor CombinatorsArie van Deursen, Joost Visser. IWPC 2002: 137-146 [doi]

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

2001

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

PreviousNext