2585 search results - page 40 / 517 » Automating Coherent Logic |
189
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
152
Voted
CADE
2008
Springer
16 years 5 months ago
2008
Springer
117
Voted
CADE
2007
Springer
16 years 5 months ago
2007
Springer
