1411 search results - page 22 / 283 » Interactive Coding for Interactive Proofs |
ICC
2009
IEEE
13 years 8 months ago
2009
IEEE
1 Classical systems using hierarchical modulation (such as DVB-SH) involve a "high-priority" (HP) and a "lowpriority" (LP) bit stream that are separately and in...
TPHOL
1999
IEEE
14 years 3 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
CSCWD
2009
Springer
14 years 5 months ago
2009
Springer
CADE
2005
Springer
14 years 11 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
SAC
2010
ACM
14 years 5 months ago
2010
ACM
A quantitative approach for measuring and describing feature interactions in object-oriented software components based on source code inspection is presented. The methodical arsen...