2947 search results - page 8 / 590 » Analyzing Program Analyses |
164
click to vote
LOPSTR
2007
Springer
15 years 12 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
146
click to vote
COMPSAC
2009
IEEE
16 years 17 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...
159
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of insti...
IFIP
2009
Springer
16 years 11 days ago
2009
Springer
164
Voted
SAS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...