论文信息 - A Proposal for a Semantics of a Subset of Multi-Threaded "Good" Java Programs - 字舞流文

A Proposal for a Semantics of a Subset of Multi-Threaded "Good" Java Programs

Eva Coscia | E. Coscia

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

[2] Gianna Reggio,et al. An Operational Semantics for Java , 1998 .

[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] Gordon Plotkin,et al. An Operational Semantics for CSP. , 1982 .

[7] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.