6960 search results - page 126 / 1392 » Continuity Analysis of Programs |
112
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract—We initiate the probabilistic analysis of linear programming (LP) decoding of low-density parity-check (LDPC) codes. Specifically, we show that for a random LDPC code e...
108
click to vote
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
111
click to vote
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
152
click to vote
ECOOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
107
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
COBOL is still an important language for building mission critical enterprise systems, and there is huge amount of existing COBOL programs. We have been developing an aspect-orien...