31 search results - page 5 / 7 » Thread-Sensitive Points-to Analysis for Multithreaded Java P... |
VMCAI
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
JAVA
2001
Springer
13 years 12 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
IPPS
2003
IEEE
14 years 22 days ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...