173 search results - page 20 / 35 » Interprocedural analysis of asynchronous programs |
111
click to vote
IWMM
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
74
Voted
PASTE
2010
ACM
15 years 4 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
109
click to vote
CHARME
1999
Springer
15 years 4 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
166
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...