A Tool-Supported Proof System for Multithreaded Java-Reference-Cited by-同舟云学术

A Tool-Supported Proof System for Multithreaded Java

Published:2003 Issue: Volume: Page:1-32
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
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-39656-7_1

Reference46 articles.

1. Monographs in Computer Science;M. Abadi,1996

2. Ábrahám, E., de Boer, F.S., de Roever, W.-P., Steffen, M.: A Hoare logic for monitors in Java. Techical report TR-ST- 03-1, Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel (April 2003)

3. LNCS State-of-the-Art-Survey,1999

4. Apt, K.R., Francez, N., de Roever, W.-P.: A proof system for communicating sequential processes. ACM Transactions on Programming Languages and Systems 2, 359–385 (1980)

5. Lecture Notes in Computer Science;M. Abadi,1997

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

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

2. Reasoning about Java’s Reentrant Locks;Programming Languages and Systems;2008

3. An assertion-based proof system for multithreaded Java;Theoretical Computer Science;2005-02

4. Extending JML for Modular Specification and Verification of Multi-threaded Programs;ECOOP 2005 - Object-Oriented Programming;2005

5. A Program Logic for Resource Verification;Lecture Notes in Computer Science;2004