An Abstract Interpretation-based Approach to Mobile Code Safety

Elvira Albert, Germán Puebla, Manuel V. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Electronic Notes in Theoretical Computer Science, 132(1):113-129, 2005. [doi]

Abstract

Abstract is missing.