A formal framework for compositional compilation.

Davide Ancona Elena Zucca A formal framework for compositional compilation. 106-117 2007 ICTCS conf/ictcs/2007 db/conf/ictcs/ictcs2007.html#AnconaZ07