1397 search results - page 158 / 280 » On the Need for Practical Formal Methods |
134
Voted
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
271
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
120
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...
165
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
141
Voted
IFL
2004
Springer
15 years 10 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...