345 search results - page 38 / 69 » A Programming Logic for Sequential Java |
125
click to vote
PLDI
2010
ACM
15 years 1 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
92
Voted
SIGSOFT
2009
ACM
15 years 12 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
136
click to vote
SAS
2010
Springer
14 years 9 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
89
Voted
ENTCS
2006
14 years 11 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...