2947 search results - page 10 / 590 » Analyzing Program Analyses |
143
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
133
Voted
IWOMP
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
146
Voted
PEPM
2009
ACM
16 years 20 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
212
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
90
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer