Sciweavers

444 search results - page 8 / 89
» Declarative Concurrency in Java
Sort
View
ECOOP
1998
Springer
15 years 1 months ago
Orthogonal to the Java Imperative
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
Suad Alagic, Jose Solorzano, David Gitchell
OOPSLA
2010
Springer
14 years 8 months ago
Task types for pervasive atomicity
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
Aditya Kulkarni, Yu David Liu, Scott F. Smith
WCRE
2010
IEEE
14 years 8 months ago
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
Ana Milanova, Yin Liu
TOOLS
2010
IEEE
15 years 2 months ago
Welterweight Java
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
Johan Östlund, Tobias Wrigstad
PDPTA
2003
14 years 11 months ago
Teaching Java Concurrency to CS vs IT Students: A Matter of Emphasis
— A number of colleges and universities have recently added new degree programs in Information Technology (IT), or added IT components to existing Computer Science (CS) programs....
Charles E. Hughes, Marc L. Smith