Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J. Alves-Foss and F. S. Lam. Dynamic Denotational Semantics of Java. In Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci., pages 201–240. Springer-Verlag, 1998.
2. J. van den Berg, M. Huisman, B. Jacobs, and E. Poll. A type-theoretic memory model for verification of sequential Java programs. Techn. Rep. CSI-R9924, Comput. Sci. Inst., Univ. of Nijmegen, 1999.
3. Lect. Notes Comp. Sci.;P. Cenciarelli,1998
4. M.P. Fiore. Axiomatic Domain Theory in Categories of Partial Maps. Cambridge Univ. Press, 1996.
5. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献