hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Staged Notational Definitions
Department of Computer Science, Rice University, Houston, TX, USA.
Department of Computer Science, Rutgers University, Camden, New Jersey, USA.
2003 (English)In: Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings / [ed] Frank Pfenning & Yannis Smaragdakisd, Berlin: Springer Berlin/Heidelberg, 2003, 97-116 p.Conference paper, Published paper (Refereed)
Abstract [en]

Recent work proposed defining type-safe macros via interpretation into a multi-stage language. The utility of this approach wasillustrated with a language called MacroML, in which all type checking is carried out before macro expansion. Building on this work, thegoal of this paper is to develop a macro language that makes it easy forprogrammers to reason about terms locally. We show that defining thesemantics of macros in this manner helps in developing and verifyingnot only type systems for macro languages but also equational reasoning principles. Because the MacroML calculus is sensetive to renamingof (what appear locally to be) bound variables, we present a calculus ofstaged notational definitions (SND) that eliminates the renaming problem but retains MacroML’s phase distinction. Additionally, SND incorporates the generality of Griffin’s account of notational definitions. Weexhibit a formal equational theory for SND and prove its soundness.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2003. 97-116 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 2830
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-20978DOI: 10.1007/978-3-540-39815-8_6ISI: 000187710700006Libris ID: 9466762ISBN: 978-3-540-20102-1 ISBN: 978-3-540-39815-8 OAI: oai:DiVA.org:hh-20978DiVA: diva2:588277
Conference
GPCE'03 – Second International Conference on Generative Programming and Component Engineering, Erfurt, Germany, September 22-25, 2003
Note

W. T. funded by NSF ITR-0113569.

Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2015-08-05Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 83 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf