Dissertation/Thesis Abstract

A theory of typed hygienic macros
by Herman, David, Ph.D., Northeastern University, 2010, 168; 3398847
Abstract (Summary)

We present the λm-calculus, a semantics for a language of hygienic macros with a non-trivial theory. Unlike Scheme, where programs must be macro-expanded to be analyzed, our semantics admits reasoning about programs as they appear to programmers. Our contributions include a semantics of hygienic macro expansion, a formal definition of α-equivalence that is independent of expansion, and a proof that expansion preserves α-equivalence. The key technical component of our language is a type system similar to Culpepper and Felleisen’s “shape types,” but with the novel contribution of binding signature types, which specify the bindings and scope of a macro’s arguments.

Indexing (document details)
Advisor: Wand, Mitchell
Commitee: Clinger, William D., Kiselyov, Oleg, Shivers, Olin
School: Northeastern University
Department: Computer Science
School Location: United States -- Massachusetts
Source: DAI-B 71/05, Dissertation Abstracts International
Source Type: DISSERTATION
Subjects: Computer science
Keywords: Formal semantics, Hygienic macros, Programming languages
Publication Number: 3398847
ISBN: 9781109729320
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest