Complutense Group on Program Analyis and Transformation
COSTA
Instituto IMDEA Software
Pozuelo de Alarcón, EspañaPublicaciones en colaboración con investigadores/as de Instituto IMDEA Software (2)
2012
-
Certificate size reduction in abstraction-carrying code
Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318
2009
-
Type-based homeomorphic embedding for online termination
Information Processing Letters, Vol. 109, Núm. 15, pp. 879-886