3658 search results - page 318 / 732 » The logic of proofs, semantically |
177
click to vote
RELMICS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
330
click to vote
POPL
2009
ACM
16 years 7 months 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 ...
269
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have de�...
185
click to vote
APAL
2010
15 years 7 months ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
176
click to vote
SLOGICA
2008
15 years 6 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...