Author:
Rodrigues Vítor,Pedroso João Pedro,Florido Mário,de Sousa Simão Melo
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Albert, E., Arenas, P., Puebla, G., Hermenegildo, M.V.: Certificate size reduction in abstraction-carrying code. CoRR, abs/1010.4533 (2010)
2. Albert, E., Puebla, G., Hermenegildo, M.: An abstract interpretation-based approach to mobile code safety. Electron. Notes Theor. Comput. Sci. 132(1), 113–129 (2005)
3. Lecture Notes in Computer Science;G. Barthe,2007
4. Besson, F., Cachera, D., Jensen, T., Pichardie, D.: Certified Static Analysis by Abstract Interpretation. In: Aldini, A., Barthe, G., Gorrieri, R. (eds.) FOSAD 2007/2008/2009. LNCS, vol. 5705, pp. 223–257. Springer, Heidelberg (2009)
5. Lecture Notes in Computer Science;F. Bourdoncle,1993
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献