1205 search results - page 76 / 241 » Program Extraction from Large Proof Developments |
QUATIC
2007
IEEE
15 years 8 months ago
2007
IEEE
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...
106
click to vote
ISI
2006
Springer
15 years 1 months ago
2006
Springer
Since the September 11th terror attack at New York in 2001, the frequency of terror attacks around the world has been increasing and it draws more attention of the public. On Janua...
153
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
100
click to vote
IJCAI
2003
15 years 3 months ago
2003
Most of the information needs today can be satisfied by searching and browsing the Web. However, repetitive tasks such as monitoring information on Web sites should be done autom...
100
click to vote
SADFE
2009
IEEE
15 years 8 months ago
2009
IEEE
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...