论文信息 - An Operational Semantics for Java - 字舞流文

An Operational Semantics for Java

Gianna Reggio | Eva Coscia | G. Reggio | E. Coscia

[1] Gianna Reggio,et al. Formalism and method , 1997, Theor. Comput. Sci..

[2] Martin Wirsing,et al. An Event-Based Structural Operational Semantics of Multi-Threaded Java , 1999, Formal Syntax and Semantics of Java.

[3] Martin Wirsing,et al. From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics , 1997, AMAST.

[4] Sophia Drossopoulou,et al. Java is Type Safe - Probably , 1997, ECOOP.

[5] Guy L. Steele,et al. The Java Language Specification , 1996 .

[6] Gianna Reggio,et al. Abstract Dynamic Data Types: A Temporal Logic Approach , 1991, MFCS.

[7] A. F. Seila,et al. Java , 1977, Itinerario.