Fri 20 Nov 2020 06:00 - 06:20 at SPLASH-I - R-6 Chair(s): Eelco Visser, Dominik Winterer
Macros provide a powerful means of extending languages.
They have proven useful in both general-purpose and domain-specific
programming contexts. This paper presents an architecture for
implementing macro-extensible DSLs on top of macro-extensible host languages.
The macro expanders of these DSLs inherit the syntax system, hygienic
expansion, and more from the host. They transform the extensible DSL syntax
into a DSL core language. This arrangement has several important
consequences. It becomes straightforward to integrate the syntax
of various DSLs and the host language when their expanders share these
inherited components. Also, a DSL compiler may be designed around a fixed core
language, even for an extensible DSL. Finally, macros empower programmers to
safely grow DSLs on their own and tailor them to their needs.
Thu 19 Nov Times are displayed in time zone: Central Time (US & Canada) change
17:00 - 17:20 Talk | Adding Interactive Visual Syntax to Textual Code OOPSLA Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University Link to publication DOI Media Attached | ||
17:20 - 17:40 Talk | Deductive Optimization of Relational Data Storage OOPSLA John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology Link to publication DOI Media Attached | ||
17:40 - 18:00 Talk | Inter-theory Dependency Analysis for SMT String Solvers OOPSLA Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore Link to publication DOI Media Attached | ||
18:00 - 18:20 Talk | Macros for Domain-Specific Languages OOPSLA Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University Link to publication DOI Media Attached |