Genesis: An Extensible Java

Summary

Genesis attempts to provide a minimal design whilst maintaining, and extending, the expressive power of other similar macro systems, and is capable of providing small scale limited use macros, large scale semantic modifications, through to complete language replacements.

Keywords

Computer science, Programming language, Parsing, Syntax, Abstract syntax

References

C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (C++ In-Depth Series)David Abrahams, Aleksey Gurtovoy — 2004
An Extension Mechanism for the Java LanguageMichiaki Tatsubori — 1999
Design and Implementation of Metalevel Architecture in C++ -- MPC++ Approach --Yutaka Ishikawa, Atsushi Hori, Mitsuhisa Sato — 1998
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))James Gosling, Bill Joy, Guy L. Steele — 2005
On LISP: Advanced Techniques for Common LISPPaul Graham — 1993
Programming languages and their compilers: Preliminary notesJohn Cocke — 1969
The Implementation of Functional Programming LanguagesS. Jones — 1987
MultiJava: Design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatchCurtis Clifton — 2001
A Library Implementation of POSIX Threads under UNIXFrank Mueller — 1993
JTS: tools for implementing domain-specific languagesDon Batory, Bernie Lofaso, Yannis Smaragdakis — 1998
Macros as multi-stage computations: type-safe, generative, binding macros in MacroMLSteven E. Ganz, Amr Sabry, Walid Taha — 2001
Recognition and Parsing of Context-Free Languages in Time n^3D. H. Younger — 1967
Extensible Programming for the 21st CenturyGreg Wilson — 2004
Template meta-programming for HaskellTim Sheard, Simon Peyton Jones — 2002
A proposal for standard MLRobin Milner — 1984
Report on the algorithmic language ALGOL 60John Backus, Friedrich L. Bauer, J. Green — 1960
Programmable syntax macrosDaniel Weise, Roger F. Crew — 1993
Extending the Haskell foreign function interface with concurrencySimon Marlow, Simon Peyton Jones, Wolfgang Thaller — 2004
Recursive functions of symbolic expressions and their computation by machine, Part IJohn McCarthy — 1960
Growing a LanguageGuy L. Steele — 1999

Cited by

A new general parser for extensible languagesIan Lewis — 2006
An Embedded Haskell Subset ImplementationIJ Lewis — 2006

Related papers

Extensible language implementationDonovan Michael Kolbly, Gordon S. Novak — 2002
A generator of efficient strongly typed abstract syntax trees in JavaM.G.J. van deBrand, Pierre Moreau, Jurgen Vinju — 2003
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifierAdam Chlipala — 2013
On designing a language for exclusive use in a syntax directed programming environmentDonald J. Bagert — 1988
Macros as multi-stage computations: type-safe, generative, binding macros in MacroMLSteven E. Ganz, Amr Sabry, Walid Taha — 2001
Towards Language-Agnostic Mobile CodeChristian H. Stork, Peter S. Housel, Vivek Haldar — 2001
A Design for Type-Directed Programming in JavaStephanie Weirich, Liang Huang — 2005