Author:
Börger Egon,Schulte Wolfram
Publisher
Springer Science and Business Media LLC
Reference11 articles.
1. Alves-Foss, J. (ed): Formal Syntax and Semantics of Java(tm). Springer. LNCS 1523, 1999
2. Bertelsen, P.: Semantics of Java byte code. 1997 Ftp at: ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Bertelsen/jvm-semantics.ps.gz
3. Börger, E., Schulte, W.: Defining the Java Virtual Machine as platform for provably correct Java compilation. In Brim, L., Gruska, J., Zlatuska, J. (eds). MFCS’98, Springer, LNCS 1450, 1998
4. Börger, E., Schulte, W.: A programmer friendly modular definition of the semantics of Java. In Alves-Foss [1], 1999
5. Cohen, R.M.: Defensive Java virtual machine version 0.5 alpha release, 1997. Web pages at: http://www.cli.com/software/djvm/
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Initializing Global Objects: Time and Order;Proceedings of the ACM on Programming Languages;2023-10-16
2. Bibliography;Program Specialization;2013-02-05
3. Soundly Handling Static Fields: Issues, Semantics and Analysis;Electronic Notes in Theoretical Computer Science;2009-12
4. The ASM Method for System Design and Analysis. A Tutorial Introduction;Frontiers of Combining Systems;2005
5. Java Program Verification Challenges;Formal Methods for Components and Objects;2003