View source for Publications:Staged Notational Definitions

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Patricia Johann
|PID=588277
|Name=Taha, Walid [waltah] (Department of Computer Science, Rice University);Johann, Patricia (Department of Computer Science, Rutgers University)
|Title=Staged Notational Deﬁnitions
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=GPCE'03 International Conference on Generative Programming and Component Engineering.
|StartPage=
|EndPage=
|Year=2003
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20978
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>Recent work proposed deﬁning 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 deﬁning 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 deﬁnitions (SND) that eliminates the renaming problem but retains MacroML’s phase distinction. Additionally, SND incorporates the generality of Griﬃn’s account of notational deﬁnitions. Weexhibit a formal equational theory for SND and prove its soundness.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588277}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}