3228 search results - page 45 / 646 » Computationally Sound Proofs |
119
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
110
Voted
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
147
click to vote
TABLEAUX
1997
Springer
15 years 7 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present an approach to matching heart sounds based on modeling the morphological variations of audio envelopes through a constrained nonrigid translation transfo...
114
click to vote
ACMACE
2007
ACM
15 years 7 months ago
2007
ACM
Sound Candy is a device with which anyone in the world can create his/her own playground anywhere of using sounds and movements around him/her. In our daily life, we are surrounde...