55 search results - page 1 / 11 » Core semantics of multithreaded Java |
JAVA
2001
Springer
13 years 8 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
JAVA
1999
Springer
13 years 8 months ago
1999
Springer
ENTCS
2006
13 years 4 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
ESOP
2005
Springer
13 years 9 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
CISIS
2008
IEEE
13 years 10 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...