640 search results - page 92 / 128 » Discovering State Invariants |
121
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
206
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
200
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
SIGMOD
1996
ACM
15 years 4 months ago
1996
ACM
Materialized views and view maintenance are important for data warehouses, retailing, banking, and billing applications. We consider two related view maintenance problems: 1) how ...