1291 search results - page 108 / 259 » Arithmetic program paths |
113
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
100
Voted
CC
2001
Springer
15 years 5 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
84
Voted
ICLP
1994
Springer
15 years 4 months ago
1994
Springer
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...
100
Voted
VL
1995
IEEE
15 years 4 months ago
1995
IEEE
A critical incident is reported where a discretionary user needed to partition the spreadsheet grid into an arithmetic series of blocks and apply a function to each, but was unabl...
99
Voted
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...