796 search results - page 73 / 160 » An Overview of Separation Logic |
126
Voted
SOCO
2002
Springer
15 years 9 days ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
96
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...
112
Voted
CADE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
99
Voted
ICSE
2003
IEEE-ACM
16 years 22 days ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
102
Voted
IFL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...