Necula, G. C. Proof{Carrying Code. In the 24 France, January 1997). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Active Applications: the Virtual Virtual.. - Ogel, Thomas.. (2003) (Correct)
No context found.
Necula, G. C. Proof{Carrying Code. In the 24 France, January 1997).
Towards Active Applications: the Virtual Virtual.. - Ogel, Thomas.. (2003) (Correct)
No context found.
Necula, G. C. Proof{Carrying Code. In the 24 th ACM SIGPLANSIGACT symposium on principles of programming Languages (Paris, France, January 1997). 20
A Verification Tool for Erlang - Fredlund, Gurov, Noll, Dam, Arts.. (2003) (1 citation) (Correct)
No context found.
G.C. Necula. Proof{carrying code. In Proc. POPL'97, pages 106-119. ACM Press, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC