Building language towers with ziggurat

Authors:
David Fisher;Olin Shivers
Affiliations:
Northeastern university;Northeastern university
Venue:
Journal of Functional Programming
Year:
2008

Citing 32
Cited 3

Very fast LR parsing

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Structure and interpretation of computer programs

Structure and interpretation of computer programs
Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Macros that work

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Control-flow analysis of higher-order languages of taming lambda

Control-flow analysis of higher-order languages of taming lambda
Syntactic abstraction in Scheme

Lisp and Symbolic Computation
Multi-stage programming with explicit annotations

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Term rewriting and all that

Term rewriting and all that
From system F to typed assembly language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Composing contracts: an adventure in financial engineering (functional pearl)

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Efficient Computation of LALR(1) Look-Ahead Sets

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Java syntactic extender (JSE)

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Maya: multiple-dispatch syntax extension in Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Packrat parsing:: simple, powerful, lazy, linear time, functional pearl

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Composable and compilable macros:: you want it when?

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Implementation of multiple attribute grammar inheritance in the tool LISA

ACM SIGPLAN Notices
Forwarding in Attribute Grammars for Modular Language Design

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Semantically-Sensitive Macroprocessing

Semantically-Sensitive Macroprocessing
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The anatomy of a loop: a story of scope and control

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Reasoned Schemer

The Reasoned Schemer
Better extensibility through modular syntax

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Improving flow analyses via ΓCFA: abstract garbage collection and counting

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
J&: nested intersection for scalable software composition

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A framework for implementing pluggable type systems

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The jastadd extensible java compiler

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Hygienic macros through explicit renaming

ACM SIGPLAN Lisp Pointers
Towards Efficient, Typed LR Parsers

Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of hygienic macros

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Attribute grammar-based language extensions for java

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

“little language” project modules

Journal of Functional Programming
Languages as libraries

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Modular and automated type-soundness verification for language extensions

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ziggurat is a meta-language system that permits programmers to develop Scheme-like macros for languages with nontrivial static semantics, such as C or Java (suitably encoded in an S-expression concrete syntax). Ziggurat permits language designers to construct ‘towers’ of language levels with macros; each level in the tower may have its own static semantics, such as type systems or flow analyses. Crucially, the static semantics of the languages at two adjacent levels in the tower can be connected, allowing improved reasoning power at a higher level to be reflected down to the static semantics of the language level below. We demonstrate the utility of the Ziggurat framework by implementing higher level language facilities as macros on top of an assembly language, utilizing static semantics such as termination analysis, a polymorphic type system and higher order flow analysis.