1210 search results - page 137 / 242 » Formal Techniques for Java Programs |
131
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
123
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
130
click to vote
PPOPP
1999
ACM
15 years 6 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...
134
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
114
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...