@MISC{Ancona98modularformal, author = {Davide Ancona}, title = {Modular Formal Frameworks for Module Systems}, year = {1998} }
Bookmark
OpenURL
Abstract
In this thesis we present two formal frameworks for modeling modular languages. Following a modular approach, we separate the module and the core level of a modular language. On the linguistic side, this corresponds to define a kernel module language parametric in the underlying core language.