Author:
Chander Ajay,Espinosa David,Islam Nayeem,Lee Peter,Necula George
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Mitchell, J.C.: Foundations for Programming Languages. MIT Press, Cambridge (1996)
2. Dijkstra, E.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
3. Nelson, G., Oppen, D.: Simplification by cooperating decision procedures. ACM Transactions on Programming Languages and Systems 1, 245–257 (1979)
4. Detlefs, D., Nelson, G., Saxe, J.: Simplify: a theorem prover for program checking. Technical Report HPL-2003-148, HP Laboratories (2003)
5. Flanagan, C., Leino, R., Lilibridge, M., Nelson, G., Saxe, J., Stata, R.: Extended static checking for Java. In: Programming Language Design and Implementation, Berlin, Germany (2002)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献