1228 search results - page 6 / 246 » Continuations, proofs and tests |
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
NIL
1991
13 years 11 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
AGILEDC
2009
IEEE
13 years 11 months ago
2009
IEEE
A Continuous Integration system is often considered one of the key elements involved in supporting an agile software development and testing environment. As a traditional software...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
Continuous testing uses excess cycles on a developer’s workstation to continuously run regression tests in the background, providing rapid feedback about test failures as source...