![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Java Grande Formal Syntax and Semantics of Java, 1999
- Jim Alves-Foss:
Formal Syntax and Semantics of Java. Lecture Notes in Computer Science 1523, Springer 1999, ISBN 3-540-66158-1 - Jim Alves-Foss, Deborah A. Frincke:
Formal Grammar for Java. 1-40
Type Soundness
- Sophia Drossopoulou, Susan Eisenbach:
Describing the Semantics of Java and Proving Type Soundness. 41-82 - Don Syme:
Proving Java Type Soundness. 83-118 - David von Oheimb, Tobias Nipkow:
Machine-Checking the Java Specification: Proving Type-Safety. 119-156
Semantic Approaches
- Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing:
An Event-Based Structural Operational Semantics of Multi-Threaded Java. 157-200 - Jim Alves-Foss, Fong Shing Lam:
Dynamic Denotational Semantics of Java. 201-240 - Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
A Programmer's Reduction Semantics for Classes and Mixins. 241-269 - Zhenyu Qian:
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. 271-312 - Pieter H. Hartel, Michael J. Butler, Moshe Levy:
The Operational Semantics of a Java Secure Processor. 313-352 - Egon Börger, Wolfram Schulte:
A Programmer Friendly Modular Definition of the Semantics of Java. 353-404
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.