3552 search results - page 25 / 711 » Proof theory in the abstract |
IGPL
2008
15 years 1 months ago
2008
89
Voted
CG
2000
Springer
15 years 1 months ago
2000
Springer
57
Voted
LOGCOM
2010
15 years 9 days ago
2010
122
click to vote
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
124
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...