1173 search results - page 54 / 235 » Program Derivation Using Analogy |
165
Voted
LICS
1995
IEEE
15 years 6 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
109
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
173
click to vote
IWAR
1992
15 years 3 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
162
Voted
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
180
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...