183 search results - page 26 / 37 » Mostly-Functional Behavior in Java Programs |
118
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
LCTRTS
2005
Springer
15 years 6 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
117
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Web applications are becoming the dominant way to provide access to on-line services. At the same time, web application vulnerabilities are being discovered and disclosed at an al...
104
Voted
ICSE
2007
IEEE-ACM
15 years 6 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
115
click to vote
JAVA
2001
Springer
15 years 4 months ago
2001
Springer
We present efficient support for generalized arrays of parallel data driven objects. Array elements are regular C++ objects, and are scattered across the parallel machine. An indi...