Sciweavers

3573 search results - page 238 / 715
» Reasoning about Codata
Sort
View
IWC
2008
53views more  IWC 2008»
15 years 4 months ago
Robot ethics? Not yet: A reflection on Whitby's "Sometimes it's hard to be a robot"
Science fiction stories seductively portray robots as human. In present reality (early 21st century) robots are machines, even though they can do many things far better than human...
Harold W. Thimbleby
ENTCS
2007
97views more  ENTCS 2007»
15 years 4 months ago
A Head-to-Head Comparison of de Bruijn Indices and Names
Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nomin...
Stefan Berghofer, Christian Urban
JSAT
2006
83views more  JSAT 2006»
15 years 4 months ago
Report of the Third QBF Solvers Evaluation
This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the ai...
Massimo Narizzano, Luca Pulina, Armando Tacchella
JANCL
2007
86views more  JANCL 2007»
15 years 4 months ago
Dynamic logics of the region-based theory of discrete spaces
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelo...
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 4 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones