2947 search results - page 8 / 590 » Analyzing Program Analyses |
101
click to vote
LOPSTR
2007
Springer
15 years 4 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...
COMPSAC
2009
IEEE
15 years 5 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...
ATAL
2005
Springer
15 years 4 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
15 years 5 months ago
2009
Springer
SAS
1999
Springer
15 years 2 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...