Book chapter 965 views
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
Ulrich Berger 
,
Kenji Miyamoto,
Helmut Schwichtenberg,
Monika Seisenberger
,
Kenji Miyamoto,
Helmut Schwichtenberg,
Monika Seisenberger
Algebra and Coalgebra in Computer Science, Volume: 6859, Pages: 393 - 399
Swansea University Author:
Ulrich Berger
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-642-22944-2_29
Abstract
Minlog is an interactive proof system which implements prooftheoreticmethods and applies them to verication and program extraction.We give an overview of the system and demonstrate how it can beused to exploit the computational content in (co)algebraic proofs and todevelop correct and ecient program...
| Published in: | Algebra and Coalgebra in Computer Science |
|---|---|
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Berlin-Heidelberg
Springer
2011
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa7437 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
Minlog is an interactive proof system which implements prooftheoreticmethods and applies them to verication and program extraction.We give an overview of the system and demonstrate how it can beused to exploit the computational content in (co)algebraic proofs and todevelop correct and ecient programs. |
|---|---|
| Keywords: |
interactive theorem proving, program extraction, coalgebra |
| College: |
Faculty of Science and Engineering |
| Start Page: |
393 |
| End Page: |
399 |