1205 search results - page 125 / 241 » Program Extraction from Large Proof Developments |
110
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
JAR
2008
15 years 1 months ago
2008
Much research in the area of constraint processing has recently been focused on extracting small unsatisfiable "cores" from unsatisfiable constraint systems with the goal...
103
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
101
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We propose interest seam image, an efficient visual synopsis for video. To extract an interest seam image, a spatiotemporal energy map is constructed for the target video shot. T...
113
Voted
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...