This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model
A critique of Java for concurrent programming
โ Scribed by Garg, V.K.; Neeraj Mittal
- Book ID
- 114579699
- Publisher
- IEEE
- Year
- 2005
- Tongue
- English
- Weight
- 194 KB
- Volume
- 6
- Category
- Article
- ISSN
- 1541-4922
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Java's ease of programming and safety features help you quickly produce working code." K. Arnold and J. Gosling in Java Programming Language [1] "I was eventually persuaded of the need to design programming notations so as to maximise the number of errors which cannot be made, or if made, can be rel
More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core/parallel architectures and Internet-based systems. This leads to the extension of mainstream