1880 search results - page 154 / 376 » A Static Analysis for Beta-Binders |
163
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
194
click to vote
LCPC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
149
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
176
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
200
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...