1880 search results - page 74 / 376 » A Static Analysis for Beta-Binders |
108
click to vote
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...
109
click to vote
RTA
2007
Springer
15 years 5 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
101
click to vote
PEPM
2007
ACM
15 years 5 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
ICPR
2004
IEEE
16 years 25 days ago
2004
IEEE
A systematic static shadow detection algorithm for color images is presented in this paper. The image is modeled by an undirected graph and the shadow detection is achieved throug...