2585 search results - page 40 / 517 » Automating Coherent Logic |
163
Voted
ESOP
2006
Springer
15 years 6 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 3 months ago
2007
Springer
CADE
2007
Springer
16 years 3 months ago
2007
Springer
