1128 search results - page 141 / 226 » Little Engines of Proof |
168
click to vote
SEFM
2006
IEEE
16 years 11 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
177
click to vote
ACL2
2006
ACM
16 years 10 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
131
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
154
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
136
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...