Luca Cardelli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged syntax definition

Declarative Specification of Template-Based Textual EditorsTobi Vollebregt. Master's thesis, Delft University of Technology, Delft, The Netherlands, April 2012. [doi]

Building Blocks for Language WorkbenchesLennart C. L. Kats. PhD thesis, Delft University of Technology, 2011.

Formal Definition of Syntax and Semantics for Documenting Variability in Activity DiagramsAndré Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl. SPLC 2010: 62-76 [doi]

Pure and declarative syntax definition: paradise lost and regainedLennart C. L. Kats, Eelco Visser, Guido Wachsmuth. OOPSLA 2010: 918-932 [doi]

The Spoofax language workbench (poster paper)Lennart C. L. Kats, Eelco Visser. OOPSLA 2010: 237-238 [doi]

Modeling ModelingPierre-Alain Muller, Frederic Fondement, Benoit Baudry. In Model Driven Engineering Languages and Systems. 2009: [doi]

Exercises in free syntax. Syntax definition, parsing, and assimilation of language conglomeratesMartin Bravenboer. PhD thesis, Utrecht University, Utrecht, The Netherlands, January 2008.

The Reuse of Grammars with Embedded Semantic ActionsTerence John Parr. IWPC 2008: 5-10 [doi]

ANTLRWorks: an ANTLR grammar development environmentJean Bovet, Terence John Parr. SPE, 38(12):1305-1332, 2008. [doi]

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract SyntaxAmy P. Felty, Alberto Momigliano. corr, abs/0811.4367, 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]

Generating Editors for Embedded Languages. Integrating SGLR into IMPLennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser. LDTA 2008:

Parse Table CompositionMartin Bravenboer, Eelco Visser. SLE 2008: 74-94 [doi]

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

Designing Syntax Embeddings and Assimilations for Language LibrariesMartin Bravenboer, Eelco Visser. MoDELS 2007: 34-46 [doi]

Syntax Definition with GraphsMark Minas. ENTCS, 148(1):19-40, 2006. [doi]

A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual LanguagesGergely Mezei, László Lengyel, Tihamer Levendovszky, Hassan Charaf. eceasst, 4, 2006. [doi]

TCS:: a DSL for the specification of textual concrete syntaxes in model engineeringFrédéric Jouault, Jean Bézivin, Kurtev, Ivan. In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering. 2006: [doi]

Language Standardization Needs GrammarwareSteven Klusener, Vadim Zaytsev. JTC1/SC22 Document N3977, 2005.

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

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

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

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

Disambiguation Filters for Scannerless Generalized LR ParsersMark G. J. van den Brand, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser. CC 2002: 143-158 [doi]

Test case characterisation by regular path expressionsRalf Lämmel, Jörg Harm. In Proc.\ Formal Approaches to Testing of Software (FATES'01). 2001: 109-124 [doi]

Transformation of SDF syntax definitions in the ASF+SDF Meta-EnvironmentRalf Lämmel, Guido Wachsmuth. ENTCS, 44(2):9-33, 2001. [doi]

Grammars as ContractsMerijn de Jonge, Joost Visser. gcse 2001: 85-99 [doi]

Mapping Among Knowledge Bases and Data Repositories: Precise Definition of Its Syntax and SemanticsJosé Miguel Blanco, Alfredo Goñi, Arantza Illarramendi. is, 24(4):275-301, 1999. [doi]

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

Character ClassesEelco Visser. Technical Report P9708, 1997.

A Family of Syntax Definition FormalismsEelco Visser. Technical Report P9706, 1997.

Syntax Definition for Language PrototypingEelco Visser. PhD thesis, University of Amsterdam, September 1997.

Multi-Level SpecificationsEelco Visser. In Arie van Deursen, Jan Heering, Paul Klint, editors, Language Prototyping. An Algebraic Specification Approach. Volume 5 of AMAST Series in Computing, World Scientific, Singapore, September 1996.

ANTLR: A Predicated- :::: LL(k) :::: Parser GeneratorTerence John Parr, Russell W. Quong. SPE, 25(7):789-810, 1995.

Towards a visual programming environment generator for algebraic specificationsSusan Uskudarli, Dinesh, T. B.. 1995. [doi]

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

Extensible syntax with lexical scopingLuca Cardelli, Florian Matthes, Martín Abadi. SRC Research Report 121, 1994. [doi]

Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k)Terence John Parr, Russell W. Quong. cc 1994: 263-277

Generating visual editors for formally specified languagesSusan Uskudarli. In In Proc. 1994 IEEE Symposium Visual Languages. 1994:

Extensible Grammars for Language SpecializationLuca Cardelli, Florian Matthes, Martín Abadi. DBPL 1994: 11-31 [doi]

A Meta-Environment for Generating Programming EnvironmentsPaul Klint. TOSEM, 2(2):176-201, 1993. [doi]

PCCTS reference manual: version 1.00Terence John Parr, Henry G. Dietz, William E. Cohen. SIGPLAN, 27(2):88-165, 1992. [doi]

Techniques for the formal definition of the G-LOTOS syntaxTommaso Bolognesi, D. Latella. In IEEE Workshop on Visual Languages. 1989: [doi]

The syntax definition formalism SDF - reference manualJan Heering, P. R. H. Hendriks, Paul Klint, Jan Rekers. SIGPLAN, 24(11):43-75, 1989. [doi]

What Can We Do about the Unnecessary Diversity of Notation for Syntactic Definitions?Niklaus Wirth. CACM, 20(11):822-823, 1977. [doi]

Eine (realisierte) Metasprache zur Definition von Syntax und Semantik von FachsprachenJürgen Lötzsch. eik, 11(4-6):360-370, 1975.

Syntactic Definition and Parsing of Molecular Formulae: Part 1 Initial Syntax Definition and Parser ImplementationP. G. Barker. cj, 18(4):355-359, 1975.

Automatic Generation of Test CasesKenneth V. Hanford. IBMSJ, 9(4):242-257, 1970. [doi]

The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM ConferenceJohn Warner Backus. ifip 1959: 125-131

Wikipedia: Camlp4\url{http://en.wikipedia.org/wiki/Camlp4}, [doi]

runs on WebDSL