Mobile Safe Ambients
Francesca Levi
págs. 1-69
Pointer Analysis for Structured Parallel Programs
Radu Rugina
págs. 70-116
Information Flow Inference for ML
Francois Pottier
págs. 117-158
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: