Author:
Reus Bernhard,Hein Tatjana
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lect. Notes Comp. Sci.,1999
2. Ken Arnold and James Gosling. The Java Programming Language. Addison-Wesley, Reading, Mass., 1996.
3. Lect. Notes Comp. Sci.;P. Cenciarelli,1999
4. Sophia Drossopoulou and Susan Eisenbach. Java is Type Safe — Probably. In Mehmet Aksit, editor, Proc. 11
th
Europ. Conf. Object-Oriented Programming, volume 1241 of Lect. Notes Comp. Sci., pages 389–418, Berlin, 1997. Springer.
5. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading, Mass., 1996.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS;Lecture Notes in Computer Science;2005
2. Slicing Event Spaces;Electronic Notes in Theoretical Computer Science;2003-08