GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions.

Markus Lumpe GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions. 17-32 2006 conf/cbse/2006 CBSE http://dx.doi.org/10.1007/11783565_2 db/conf/cbse/cbse2006.html#Lumpe06