692 search results - page 35 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
WCRE
2000
IEEE
15 years 4 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
117
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
The routing performance of delay tolerant networks (DTN) is highly correlated with the distribution of inter-contact times (ICT), the time period between two successive contacts o...
120
click to vote
ER
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
POPL
1996
ACM
15 years 4 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
100
click to vote
FOCS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract. We present a Fourier-analytic approach to list-decoding Reed-Muller codes over arbitrary finite fields. We use this to show that quadratic forms over any field are locall...