This paper presents a program analysis method that generates program summaries
involving polynomial arithmetic. Our approach builds on prior techniques that use solvable …

This paper presents a technique for summarizing recursive procedures operating on integer
variables. The motivation of our work is to create more predictable program analyzers, and …

Algebraic Program Analysis | SpringerLink Skip to main content Advertisement SpringerLink
Account Menu Find a journal Publish with us Track your research Search Cart Book cover …

The presence of bugs in deployed software can lead to great economic and or human cost.
One strategy for mitigating these losses is to prove the functional correctness of programs …

Many decision problems, in fact all non-trivial ones that concern the semantics of programs,
are undecidable. Among these, one of the most well-known problem is deciding whether a …