Minlog -- a tool for program extraction supporting algebras and coalgebras

DOI10.1007/978-3-642-22944-2_29MaRDI QIDQ3090883zbMATH OpenOpenAlexFDO

Authors Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22944-2_29

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Program extraction from nested definitions
• scientific article; zbMATH DE number 1552509
• Extraction and verification of programs by analysis of formal proofs
• Proofs, programs, processes
• Program extraction in exact real arithmetic

Cited in

(13)

• Higman's lemma and its computational content
• \textsc{Prawf}: an interactive proof system for program extraction
• A realizability interpretation of Church's simple theory of types
• Nonflatness and totality
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• On the constructive and computational content of abstract mathematics
• An algorithmic version of Zariski's lemma
• Extracting total Amb programs from proofs
• Extracting a DPLL algorithm
• Program extraction from nested definitions
• Intuitionistic fixed point logic
• scientific article; zbMATH DE number 7731929 (Why is no real title available?)
• scientific article; zbMATH DE number 1552509 (Why is no real title available?)

Describes a project that uses

Uses Software

• Minlog

This page was built for publication: Minlog -- a tool for program extraction supporting algebras and coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090883)