From sequential to multi-threaded Java: An event-based operational semantics-Reference-Cited by-同舟云学术

From sequential to multi-threaded Java: An event-based operational semantics

Published:1997 Issue: Volume: Page:75-90
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Cenciarelli Pietro,Knapp Alexander,Reus Bernhard,Wirsing Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0000464

Reference8 articles.

1. Ken Arnold and James Gosling. The Java Programming Language. Addison-Wesley, Reading, Mass., 1996.

2. Sophia Drossopoulou and Susan Eisenbach. Java is Type Safe — Probably. In Mehmet Aksit, editor, Proc. 11 th Europ. Conf. Object-Oriented Programming, volume 1241 of Lect. Notes Comp. Sci., pages 389–418, Berlin, 1997. Springer.

3. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading, Mass., 1996.

4. Doug Lea. Concurrent Programming in Java. Addison-Wesley, Reading, Mass., 1997.

5. Wei Li. An Operational Semantics of Multitasking and Exception Handling in Ada. In Proc. AdaTEC Conf. Ada, pages 138–151, New York, 1982. ACM SIGAda.

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

1. A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic;Logic Journal of the IGPL;2022-12-27

2. Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

3. Semantics for Locking Specifications;Lecture Notes in Computer Science;2016

4. Ode to the PST;Software, Services, and Systems;2015

5. Slicing Event Spaces;Electronic Notes in Theoretical Computer Science;2003-08