Author:
Colby Christopher,Lee Peter,Necula George C.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. Journal of the Association for Computing Machinery 40(1), 143–184 (1993)
2. Leroy, X.: The ZINC experiment, an economical implementation of the ML language. Technical Report 117, INRIA (1990)
3. Necula, G., Lee, P.: Safe kernel extensions without run-time checking. In: Second Symposium on Operating Systems Design and Implementation, Seattle, October 1996, pp. 229–243 (1996)
4. Lecture Notes in Computer Science;G. Necula,1998
5. Necula, G.C.: Proof-carrying code. In: Jones, N.D. (ed.) Conference Record of the 24th Symposium on Principles of Programming Languages (POPL 1997), Paris, France, pp. 106–119. ACM Press, New York (1997)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verified Rust Monitors for Lola Specifications;Runtime Verification;2020
2. Application Security for Mobile Devices1;Dependability and Computer Engineering;2012
3. Verifying Semantic Conformance of State Machine-to-Java Code Generators;Model Driven Engineering Languages and Systems;2010
4. A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card;Web and Communication Technologies and Internet-Related Social Issues — HSI 2003;2003
5. An Efficient Small Sized On-Card Verifier for Java Card;Computational Science and Its Applications — ICCSA 2003;2003