Dynamic semantics of Java bytecode-Reference-Cited by-同舟云学术

Dynamic semantics of Java bytecode

Published:2000-05 Issue:7 Volume:16 Page:841-850
ISSN:0167-739X
Container-title:Future Generation Computer Systems
language:en
Short-container-title:Future Generation Computer Systems

Author:

Bertelsen Peter

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Hardware and Architecture,Software

Reference16 articles.

1. P. Bertelsen, The SML-JVM toolkit, version 0.5, Web-pages at http://www.dina.kvl.dk/∼pmb. A toolkit for manipulating Java class files and Java byte-code.

2. P. Bertelsen, Semantics of Java byte code, Technical report, Department of Mathematics and Physics, Royal Veterinary and Agricultural University, Copenhagen, Denmark, April 1997, Web pages at http://www.dina.kvl.dk/∼pmb.

3. E. Börger, W. Schulte, Defining the Java Virtual Machine as platform for provably correct Java compilation, MFCS Proceedings, 1998.

4. P. Chan, R. Lee, D. Kramer, The Java Class Libraries, 2nd ed., vol. 1, Addision-Wesley, Reading, MA, 1998, ISBN 0-201-31002-3.

5. R.M. Cohen, The Defensive Java Virtual Machine, version 0.5, Technical report, Computational Logic Inc., Austin, Texas, 1997, Web pages at http://www.cli.com.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Java Bytecode Formalisation;Lecture Notes in Computer Science;2018

2. Safety-Critical Java Virtual Machine Services;Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems;2015-10-07

3. Formalisation and implementation of an algorithm for bytecode verification of @NonNull types;Science of Computer Programming;2011-07

4. Efficient and formal generalized symbolic execution;Automated Software Engineering;2011-06-09

5. A Dynamic Operational Semantics for JVML.;The Journal of Object Technology;2007