Syntax macros and extended translation

Leavenworth, B. M.

doi:10.1145/365876.365879

Cited by 89 publications

(32 citation statements)

References 6 publications

(4 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The following discussion is meant to position our work more precisely. Early work on syntactic embeddings revolves around the concept of syntax macros [17]. They allow a user to dynamically extend a general purpose programming language with syntactic abstractions.…”

Section: Related Workmentioning

confidence: 99%

Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax

Bravenboer

Vermaas

Vinju

et al. 2005

Generative Programming and Component Engineering

View full text Add to dashboard Cite

Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such quotations and the use of meta-level expressions within these fragments (anti-quotation) often leads to ambiguities. This problem is usually solved through explicit disambiguation, resulting in considerable syntactic overhead. A few systems manage to reduce this overhead by using type information during parsing. Since this is hard to achieve with traditional parsing technology, these systems provide specific combinations of meta and object languages, and their implementations are difficult to reuse. In this paper, we generalize these approaches and present a language independent method for introducing concrete object syntax without explicit disambiguation. The method uses scannerless generalized-LR parsing to parse meta programs with embedded objectlevel fragments, which produces a forest of all possible parses. This forest is reduced to a tree by a disambiguating type checker for the meta language. To validate our method we have developed embeddings of several object languages in Java, including AspectJ and Java itself.

show abstract

Section: Related Workmentioning

confidence: 99%

Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax

Bravenboer

Vermaas

Vinju

et al. 2005

Generative Programming and Component Engineering

View full text Add to dashboard Cite

show abstract

“…Most pre-processors only have knowledge of the lexical syntax and leave error reporting to the compiler. More advanced macro systems, such as [1,3,8], avoid lexical processing as well. For a discussion of the relation to macro systems see [6].…”

Section: Embedding Swul In Javamentioning

confidence: 99%

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT

Bravenboer

Groot

Visser

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. General-purpose programming languages provide limited facilities for expressing domain-specific concepts in a natural manner. All domain concepts need to be captured using the same generic syntactic and semantic constructs. Generative programming methods and program transformation techniques can be used to overcome this lack of abstraction in general-purpose languages.In this tutorial we describe the METABORG method for embedding domainspecific languages, tailored syntactically and semantically to the application domain at hand, in a general-purpose language. METABORG is based on Stratego/XT, a language and toolset for the implementation of program transformation systems, which is used for the definition of syntactic embeddings and assimilation of the embedded constructs into the surrounding code.We illustrate METABORG with three examples. JavaSwul is a custom designed language for implementing graphical user-interfaces, which provides high-level abstractions for component composition and event-handling. JavaRegex is a new embedding of regular expression matching and string rewriting. JavaJava is an embedding of Java in Java for generating Java code. For these cases we show how Java programs in these domains become dramatically more readable, and we give an impression of the implementation of the language embeddings.

show abstract

“…JTS is designed for extending programming languages with domain specific constructs. It implements and extends ideas of intentional programming and work in the field of syntax macros [6].…”

Section: The Syntax Of Program Fragments In Meta Programmingmentioning

confidence: 99%

Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs

Vinju

2006

Rapid Integration of Software Engineering Techniques

View full text Add to dashboard Cite

Abstract. Meta programming can be facilitated by the ability to represent program fragments in concrete syntax instead of abstract syntax. The resulting meta programs are more self-documenting. One caveat in concrete meta programming is the syntactic separation between the meta language and the object language. To solve this problem, many meta programming systems use quoting and anti-quoting to indicate precisely where level switches occur. These "syntactic hedges" can obfuscate the concrete program fragments. This paper describes an algorithm for inferring quotes, such that the meta programmer no longer needs to explicitly indicate transitions between the meta and object languages.

show abstract

Syntax macros and extended translation

Cited by 89 publications

References 6 publications

Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax

Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT

Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs

Contact Info

Product

Resources

About