479 search results - page 15 / 96 » On Static Properties of Specialized Programs |
89
Voted
COMPSAC
2009
IEEE
15 years 7 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...
99
Voted
ALP
1994
Springer
15 years 4 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
88
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
132
click to vote
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
107
Voted
ECOOP
1987
Springer
15 years 4 months ago
1987
Springer
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...