Proof-outlines for threads in Java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1877 LNCS, Issue , 2000, Pages 229-242

  Abraham Mumm, Erika ^a   De Boer, Frank S ^b  

^a UNIVERSITY OF KIEL   (Germany)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

FLOW OF CONTROL; MULTITHREADED; SHARED VARIABLES;

ARTIFICIAL INTELLIGENCE;

EID: 84885211309     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44618-4_18     Document Type: Conference Paper

References (10)

1. K. R. Apt: Ten years of Hoare logic: a survey - part I. ACM Transactions on Programming Languages and Systems, Vol. 3, No. 4, October 1981, pp. 431-483.
2. K. R. Apt. Formal justification of a proof system for Communicating Sequential Processes. Journal of the ACM, Vol. 30, No. 1, January 1983, pp. 197-216.
3. K. R. Apt, N. Francez, and W. P. de Roever. A proof system for Communicating Sequential Processes. ACM Transactions on Programming Languages and Systems, 2: 359-385, 1980.
4. E. Boerger and W. Schulte. Modular Design for the Java Virtual Machine Architecture. In Architecture Design and Validation Methods. Lecture Notes in Computer Science, 1999.
5. F. S. de Boer. A proof system for the parallel object-oriented language POOL. Proceedings of the seventeenth International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, Vol. 443, 1990.
6. P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In Formal Syntax and Semantics of Java, Lecture Notes in Computer Science, Vol. 1523, 1999.
7. R. T. Gerth and W.-P. de Roever. Proving monitors revisited: A first step towards verifying object oriented systems. Fundamenta informaticae IX, North-Holland, p. 371-400, 1986.
8. U. Hensel, M. Huisman, B. Jacobs, and H. Tews. Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools. Proceedings of the European Symposium on Programming, Lecture Notes in Computer Science, Vol. 1381, 1998.
9. S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatika, 6: 319-340, 1976.
10. J. V. Tucker and J. I. Zucker. Program Correctness over Abstract Data Types, with Error-State Semantics. CWI Monograph Series, Vol. 6, Centre for Mathematics and Computer Science/North-Holland, 1988.