This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-end languages, we introduce the idea of a "generic" front-end that allows the syntactic and semantic specification of domain-specific languages. Phobos, our generic front-end, offers modular language specification, allowing the programmer to define new syntax and semantics incrementally

Granicz, Adam

Hickey, Jason

English

1 This paper describes a practical approach for imple-menting domain-specific languages with extensible compil-ers. Given a compiler with one or more front-end lan-guages, we introduce the idea of a “generic ” front-end that allows the syntactic and semantic specification of domain-specific languages. Phobos, our generic front-end, offers modular language specification, allowing the programmer to define new syntax and semantics incrementally. A key feature of our approach is the use of an open term language that can be used to describe arbitrary syntax, and the use of a term rewriting engine to encode semantic ac-tions. The term language is expressive. Scoping can be defined explicitly, and term rewrites use second-order sub-stitution, allowing the use of higher-order abstract syntax if needed. Given a language specification and a source string, the generic front-end constructs a push-down automaton (PDA) based on the supplied grammar, lexes the source string, and simulates the constructed PDA with the stream of tokens obtained. During parsing, rewrite rules associated with grammar productions are executed, producing a single term when the PDA accepts. This term is then converted via fur-ther rewriting into a compiler representation and compila-tion proceeds to generate executable code. 

Adam Granicz

Jason Hickey

CiteSeerX

Phobos: A front-end approach to extensible compilers (long version

Caltech Authors - Main

Phobos: A front-end approach to extensible compilers (long version)

A Non-type-theoretic De of Martin-L of's Types.

A Non-type-theoretic Definition of Martin-Lo¨f’s Types.

Centaur: the system.

Cigale: A tool for interactive grammar construction and expression parsing.

Deterministic parsing of ambiguous grammars.

Domain analysis: an introduction.

Extensible Grammars for Language Specialization.

Fast tactic-based theorem proving.

Formal Design Environments.

Macros as multi-stage computations: type-safe, generative, binding macros in MacroML.

Modern compiler implementation in ML: basic techniques.

Objective ML: A simple object–oriented extension of ML.

ome Vouillon. Objective ML: A simple object{oriented extension of ML.

Reps and Tim Teitelbaum. The Synthesizer Generator: a system for constructing language-based editors.

Rub en Prieto-D az. Domain analysis: an introduction.

Semantics of programming languages: a tool-oriented approach.

Sequent schema for derived rules.

The Java syntactic extender (JSE).

The MetaPRL Logical Programming Environment.

The Pan language-based editing system.

The PSG system: from formal language de to interactive programming environments.

The PSG system: from formal language definitions to interactive programming environments.

Phobos: A front-end approach to extensible compilers (long version)

Abstract

Similar works

Full text

Available Versions

CiteSeerX

Caltech Authors - Main