183 search results - page 24 / 37 » Mostly-Functional Behavior in Java Programs |
154
click to vote
SIGCSE
2008
ACM
15 years 5 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...
159
click to vote
PLDI
2011
ACM
14 years 8 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 ...
150
click to vote
PPDP
2005
Springer
15 years 11 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...
146
click to vote
COMPSAC
2009
IEEE
16 years 20 days 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...
155
click to vote
SIGMETRICS
2004
ACM
15 years 11 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...