Cation For Java's Veri cation for Java's Reentrant Multithreading Concept January 21, 2002 Erika...  Home/Search
Context
Related
| informatik.unikie...ltithreading.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.unikiel.de/%7Ewpr/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded ow of control. The concurrency model o ers coordination via lock-synchronization, and communication by synchronous message passing, including re-entrant method calls, and by instance variables shared among threads. (Update)
Similar documents (at the sentence level):
25.4%: Verification for Java's Reentrant Multithreading.. - Abraham-Mumm, de.. (2002) (Correct)
10.7%: A Hoare Logic for Monitors in Java - Abraham, de Boer, de Roever, Steffen (Correct)
8.1%: Compositional Operational Semantics of JavaMT - Abraham-Mumm, de Boer, de.. (2002) (Correct)
Active bibliography (related documents): More All
0.4: An Assertional Proof System for Multithreaded Java - Abraham, de Boer, de.. (2003) (Correct)
0.3: Formal Semantics For Interacting UML Subsystems - Jürjens (Correct)
0.3: Foundations Of The B Method - Cansell, Méry (2003) (Correct)
Similar documents based on text: More All
0.2: Composition: A Way to Make Proofs Harder - Lamport (1997) (Correct)
0.2: A Compositional Proof System for Shared Variable Concurrency - de Boer, Hannemann, de.. (1997) (Correct)
0.2: Proving Concurrent Constraint Programs Correct - de Boer, al. (1997) (Correct)
BibTeX entry: (Update)
@misc{ java's-unknown,
author = "Cation For Java's",
title = "Unknown",
url = "citeseer.ist.psu.edu/697593.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
223 Assigning meanings to programs (context) - Floyd - 1967
208 An axiomatic proof technique for parallel programs (context) - Owicki, Gries - 1976
181 The Object Constraint Language: Precise Modeling With Uml (context) - Warmer, Kleppe - 1999
153 The Java Language Speci cation (context) - Gosling, Joy et al. - 1996
108 International Series in Computer Science (context) - Hoare, Jones et al. - 1989
70 A logic of object-oriented programs - Abadi, Leino
68 Ten years of Hoare's logic: A survey { part (context) - Apt - 1981
52 Reasoning about classes in objectoriented languages: Logical.. - Hensel, Huisman et al.
33 A proof system for communicating sequential processes (context) - Apt, Francez et al. - 1980
28 A proof technique for communicating sequential processes (context) - Levin, Gries - 1981
24 A behavioural approach to subtyping in object-oriented progr.. (context) - America - 1989
21 A programming logic for sequential Java (context) - Poetzsch-He, uller
21 Reasoning about dynamically evolving process structures (context) - America, Boer - 1993
18 An event-based structural operational semantics of multi-thr.. - Cenciarelli, Knapp et al.
11 Hoare logic for NanoJava: Auxiliary variables (context) - von Oheimb, Nipkow - 2002
10 Fundamental Approaches to Software Engineering (context) - Hussmann - 2001
9 A Hoare calculus for verifying Java realizations of OCL-cons.. (context) - Reus, Hennicker et al.
9 Java Program Veri cation in Higher-Order Logic with PVS and .. (context) - Huisman - 2001
8 Concurrency Veri cation: Introduction to Compositional and N.. (context) - de Roever, de Boer et al. - 2001
6 Monitor classi cation (context) - Buhr, Fortier et al. - 1995
5 Proof-outlines for threads in Java (context) - Abrah, de Boer
5 LNCS State-of-theArt -Survey (context) - Alves-Foss, Syntax et al. - 1999
4 Speci cation and Veri cation of Object-Oriented Programs (context) - Poetzsch-He - 1997
4 volume 1576 of LNCS (context) - Swierstra, Proc - 1999
3 Algebraic Speci cation Techniques in Object Oriented Program.. (context) - Breu - 1991
3 Java and the Java Virtual Machine (context) - St, Schmid et al. - 2001
2 Veri cation for Java's reentrant multithreading concept: Sou.. (context) - Abrah, de Boer et al. - 2001
2 Axiomatic sematic Java light IsabelleHOL (context) - sematics, light et al. - 2000
2 Hoare logic Java IsabelleHOL - logic, in et al. - 2001
1 Held as Part of ETAPS (context) - Hankin, Languages et al. - 1998
1 Theory and Practice of Software Development (context) - Bidoit, Dauchet - 1997
1 volume 1877 of LNCS (context) - Palamidessi, CONCUR - 2000
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC