2947 search results - page 10 / 590 » Analyzing Program Analyses |
ENTCS
2007
14 years 10 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...
IWOMP
2007
Springer
15 years 4 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...
PEPM
2009
ACM
15 years 7 months 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...
164
Voted
POPL
2002
ACM
15 years 11 months ago
2002
ACM
58
Voted
ESOP
2005
Springer
15 years 4 months ago
2005
Springer