No Cover Image

Book chapter 965 views

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras

Ulrich Berger Orcid Logo, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger

Algebra and Coalgebra in Computer Science, Volume: 6859, Pages: 393 - 399

Swansea University Author: Ulrich Berger Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

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...

Full description

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!
first_indexed 2013-07-23T11:58:19Z
last_indexed 2018-02-09T04:35:36Z
id cronfa7437
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2013-10-17T12:00:12.1522737</datestamp><bib-version>v2</bib-version><id>7437</id><entry>2012-02-23</entry><title>Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras</title><swanseaauthors><author><sid>61199ae25042a5e629c5398c4a40a4f5</sid><ORCID>0000-0002-7677-3582</ORCID><firstname>Ulrich</firstname><surname>Berger</surname><name>Ulrich Berger</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2012-02-23</date><deptcode>SCS</deptcode><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.</abstract><type>Book chapter</type><journal>Algebra and Coalgebra in Computer Science</journal><volume>6859</volume><journalNumber></journalNumber><paginationStart>393</paginationStart><paginationEnd>399</paginationEnd><publisher>Springer</publisher><placeOfPublication>Berlin-Heidelberg</placeOfPublication><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>interactive theorem proving, program extraction, coalgebra</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2011</publishedYear><publishedDate>2011-12-31</publishedDate><doi>10.1007/978-3-642-22944-2_29</doi><url/><notes></notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2013-10-17T12:00:12.1522737</lastEdited><Created>2012-02-23T17:01:55.0000000</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Ulrich</firstname><surname>Berger</surname><orcid>0000-0002-7677-3582</orcid><order>1</order></author><author><firstname>Kenji</firstname><surname>Miyamoto</surname><order>2</order></author><author><firstname>Helmut</firstname><surname>Schwichtenberg</surname><order>3</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><order>4</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2013-10-17T12:00:12.1522737 v2 7437 2012-02-23 Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras 61199ae25042a5e629c5398c4a40a4f5 0000-0002-7677-3582 Ulrich Berger Ulrich Berger true false 2012-02-23 SCS 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. Book chapter Algebra and Coalgebra in Computer Science 6859 393 399 Springer Berlin-Heidelberg 0302-9743 1611-3349 interactive theorem proving, program extraction, coalgebra 31 12 2011 2011-12-31 10.1007/978-3-642-22944-2_29 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2013-10-17T12:00:12.1522737 2012-02-23T17:01:55.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ulrich Berger 0000-0002-7677-3582 1 Kenji Miyamoto 2 Helmut Schwichtenberg 3 Monika Seisenberger 4
title Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
spellingShingle Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
Ulrich Berger
title_short Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
title_full Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
title_fullStr Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
title_full_unstemmed Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
title_sort Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
author_id_str_mv 61199ae25042a5e629c5398c4a40a4f5
author_id_fullname_str_mv 61199ae25042a5e629c5398c4a40a4f5_***_Ulrich Berger
author Ulrich Berger
author2 Ulrich Berger
Kenji Miyamoto
Helmut Schwichtenberg
Monika Seisenberger
format Book chapter
container_title Algebra and Coalgebra in Computer Science
container_volume 6859
container_start_page 393
publishDate 2011
institution Swansea University
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-642-22944-2_29
publisher Springer
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
description 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.
published_date 2011-12-31T03:09:14Z
_version_ 1763749873058840576
score 11.01753

Similar Items