See this document in CiteSeerX!

Unknown  (Make Corrections)  
Cation For Java's Veri cation for Java's Reentrant Multithreading Concept January 21, 2002 Erika...



  Home/Search   Context   Related

 
View or download:
informatik.unikie...ltithreading.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  informatik.unikiel.de/%7Ewpr/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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