Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Appel, A.W., Felty, A.P.: A Semantic Model of Types and Machine Instructions for Proof- Carrying Code. In: 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000), January 2000, pp. 243–253 (2000)
2. Arnold, K., Gosling, J.: The Java programming language. Addison-Wesley, Reading (1997)
3. Bijlsma, A.: Calculating with Pointers. Science of Computer Programming 12, 191–205 (1989)
4. Bornat, R.: Machine-checked proofs of list reversal, list merge, Schorr-Waite, Available from
http://www.dcs.qmw.ac.uk/~richard/pointers
5. Bornat, R., Sufrin, B.A.: Animating formal proof at the surface: the Jape proof calculator. The Computer Journal 43(3), 177–192 (1999)
Cited by
84 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献