1. E. Albert, G. Puebla, M. Hermenegildo, Abstraction-carrying code, in: Proc. 11th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR’04), Lecture Notes in Artificial Intelligence, Vol. 3452, Springer, Berlin, 2004, pp. 380–397.
2. Foundational proof-carrying code;Appel,2001
3. A semantic model of types and machine instructions for proof-carrying code;Appel,2000
4. D. Aspinall, S. Gilmore, M. Hofmann, D. Sannella, and I. Stark, Mobile resource guarantees for smart devices, in: Proc. of the Construction and Analysis of Safe, Secure, and Interoperable Smart Devices workshop (CASSIS’04), Lecture Notes in Computer Science, Vol. 3362, Springer, Berlin, 2005, pp. 1–26.
5. L. Beringer, M. Hofmann, A. Momigliano, and O. Shkaravska, Automatic certification of heap consumption, in: Proc. 11th Int. Conf. of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), Lecture Notes in Computer Science, Vol. 3452, Springer, Berlin, 2005, pp. 347–362.