1818 search results - page 257 / 364 » Granularity-Adaptive Proof Presentation |
154
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We present a spreadsheet debugger targeted at end users. Whenever the computed output of a cell is incorrect, the user can supply an expected value for a cell, which is employed b...
143
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
132
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Service descriptions allow designers to document, understand, and use services, creating new useful and complex services with aggregated business value. Unlike RPC-based services,...
157
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
139
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, the design of a new active cardiac stabilizer, Cardiolock2, is presented. Following the proof of concept Cardiolock [7], this device allows an active stabilizati...