183 search results - page 24 / 37 » Mostly-Functional Behavior in Java Programs |
98
Voted
SIGCSE
2008
ACM
14 years 12 months ago
2008
ACM
In this hands-on special session, attendees will learn about and use a Game of Life cellular automata framework (Java) to assist with outreach activities. Using the framework, stu...
107
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
99
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
85
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
95
Voted
SIGMETRICS
2004
ACM
15 years 5 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...