[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

NU Programming Languages Seminar
Wednesday, October 1, 2003
206 Egan  Hall, Northeastern University
    (building 60 on http://www.campusmap.neu.edu/)  
1145-145. Bring your lunch.

Ryan Culpepper will present:

Composable and Compilable Macros: You Want it When? (M. Flatt, ICFP 2002). 

Many macro systems, especially for Lisp and Scheme, allow macro
transformers to perform general computation. Moreover, the language
for implementing compile-time macro transformers is usually the same
as the language for implementing run-time functions.  As a side effect
of this sharing, implementations tend to allow the mingling of
compile-time values and run-time values, as well as values from
separate compilations. Such mingling breaks programming tools that
must parse code without executing it. Macro implementors avoid harmful
mingling by obeying certain macro-definition protocols and by
inserting phase-distinguishing annotations into the code. However, the
annotations are fragile, the protocols are not enforced, and
programmers can only reason about the result in terms of the
compiler's implementation. MzScheme-the language of the PLT Scheme
tool suite-addresses the problem through a macro system that separates
compilation without sacrificing the expressiveness of macros.

Upcoming Events:

10/8: Mitch Wand: Understanding Aspects

10/15: open

10/23: Paul Attie: Dynamic Input-Output Automata

10/29: Jeff Palm: AspectJ

11/5: Richard Cobbe: Environmental Acquisition

11/12: Theo Skotoniotis

11/19: Dale Vaillancourt

12/2: Greg Pettyjohn: Cocoon

12/9: Phillipe Meunier

--Mitch