12774 search results - page 27 / 2555 » A Framework for Proof Systems |
MKM
2007
Springer
15 years 10 months ago
2007
Springer
126
Voted
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
157
Voted
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
136
click to vote
IJCAI
1989
15 years 5 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...