169 search results - page 1 / 34 » A Type Graph Model for Java Programs |
FORTE
2009
13 years 2 months ago
2009
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
SAS
2009
Springer
14 years 5 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
OOPSLA
2009
Springer
13 years 11 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
ECOOP
2006
Springer
13 years 7 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...