48 search results - page 3 / 10 » Memoised Garbage Collection for Software Model Checking |
111
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
107
Voted
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
108
click to vote
WOSP
2010
ACM
15 years 8 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
130
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
123
Voted
FSTTCS
2010
Springer
14 years 12 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...