1291 search results - page 41 / 259 » Arithmetic program paths |
102
click to vote
ICFP
1998
ACM
15 years 6 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
118
click to vote
CIE
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
138
Voted
CSL
2006
Springer
15 years 5 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
162
Voted
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
116
Voted
QSIC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...