Building language towers with ziggurat Export

@article{citeulike:5821502, 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 \&\#8216;towers\&\#8217; 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.}, address = {New York, NY, USA}, author = {Fisher, David and Shivers, Olin}, citeulike-article-id = {5821502}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1520014}, citeulike-linkout-1 = {http://dx.doi.org/10.1017/S0956796808006928}, doi = {10.1017/S0956796808006928}, issn = {0956-7968}, journal = {J. Funct. Program.}, keywords = {macros, scheme}, number = {5-6}, pages = {707--780}, posted-at = {2009-09-22 17:03:42}, priority = {4}, publisher = {Cambridge University Press}, title = {Building language towers with ziggurat}, url = {http://dx.doi.org/10.1017/S0956796808006928}, volume = {18}, year = {2008} }

TY - JOUR ID - citeulike:5821502 L3 - citeulike-article-id:5821502 N2 - 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. IS - 5-6 JF - J. Funct. Program. SN - 0956-7968 AD - New York, NY, USA EP - 780 TI - Building language towers with ziggurat PB - Cambridge University Press VL - 18 SP - 707 KW - macros KW - scheme AU - Fisher, David AU - Shivers, Olin PY - 2008/// UR - http://dx.doi.org/10.1017/S0956796808006928 ER -