2585 search results - page 40 / 517 » Automating Coherent Logic |
150
click to vote
ESOP
2006
Springer
15 years 5 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...
CADE
2007
Springer
16 years 2 months ago
2007
Springer
CADE
2007
Springer
16 years 2 months ago
2007
Springer
CADE
2007
Springer
16 years 2 months ago
2007
Springer