Program Extraction in Constructive Analysis

DOI10.1007/978-1-4020-8926-8_13zbMATH Open1159.03042OpenAlexW99746906MaRDI QIDQ3613309

Helmut Schwichtenberg

Publication date: 12 March 2009

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_13

zbMATH Keywords

constructive analysiscontinuous inverseIntermediate Value Theoremexact real numberslow type-level witnesses

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

Program extraction for mutable arrays ⋮ On collecting semantics for program analysis ⋮ Title not available (Why is that?) ⋮ Extraction in Coq: An Overview ⋮ Controlling Program Extraction in Light Logics ⋮ Elimination Techniques for Program Analysis ⋮ Program extraction in exact real arithmetic ⋮ Studies of a theory of specifications with built-in program extraction ⋮ Improving program analyses, by structure untupling ⋮ Program extraction applied to monadic parsing

This page was built for publication: Program Extraction in Constructive Analysis

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