University of Minnesota
Software Engineering Center

You are here

Derek Bodin

Recent Publications

Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions

We show how new syntactic forms and static analysis can be added to a programming language to support abstractions provided by libraries. Libraries have the important characteristic that programmers can use multiple libraries in a single program. Thus, any attempt to extend a language's syntax and analysis should be done in a composable manner so that similar extensions that support other libraries can be used by the programmer in the same program.