A Compositional Operational Semantics for Java MT-Reference-Cited by-同舟云学术

A Compositional Operational Semantics for Java MT

Published:2003 Issue: Volume: Page:290-303
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ábrahám Erika,de Boer Frank S.,de Roever Willem-Paul,Steffen Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39910-0_13

Reference15 articles.

1. M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.

2. E. Ábrahám, F. S. de Boer, W.-P. de Roever, and M. Steffen. Inductive proof-outlines for monitors in Java. In U. Nestmann and P. Stevens, editors, FMOODS’ 03, Lecture Notes in Computer Science. Springer-Verlag, Nov. 2003. To appear. A longer version appeared as Software Technologie technical report TR-ST-03-1, April 2003.

3. E. Ábrahám-Mumm, F. S. de Boer, W.-P. de Roever, and M. Steffen. A tool-supported proof system for monitors in Java. In Proceedings of the FM CO 2002, 2002. To appear.

4. E. Ábrahám-Mumm, F. S. de Boer, W.-P. de Roever, and M. Steffen. Verification for Java’s reentrant multithreading concept. In M. Nielsen and U. H. Engberg, editors, Proceedings of FoSSaCS 2002, volume 2303 of Lecture Notes in Computer Science, pages 4-20. Springer-Verlag, Apr. 2002. A longer version, including the proofs for soundness and completeness, appeared as Technical Report TR-ST-02-1, March 2002.

5. J. Alves-Foss, editor. Formal Syntax and Semantics of Java, volume 1523 of LNCS State-of-the-Art-Survey. Springer-Verlag, 1999.

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

1. An operational semantics for object-oriented concepts based on the class hierarchy;Formal Aspects of Computing;2014-05

2. A Formal Reference for SCOOP;Empirical Software Engineering and Verification;2012

3. A Bibliography of Willem-Paul de Roever;Concurrency, Compositionality, and Correctness;2010

4. A Fully Abstract Semantics for UML Components;Formal Methods for Components and Objects;2005

5. Inductive Proof Outlines for Monitors in Java;Lecture Notes in Computer Science;2003