Continuous Abstract Data Types for Verified Computation

We devise imperative programming languages for verified real number computation where real numbers are provided as abstract data types such that the users of the languages can express real number computation by considering real numbers as abstract mathematical entities. Unlike other common approache...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The bulletin of symbolic logic 2021-12, Vol.27 (4), p.531-531
1. Verfasser:	Park, Sewon
Format:	Artikel
Sprache:	eng
Schlagworte:	Computation Continuity (mathematics) Dissertations & theses Imperative programming Mathematical analysis Numbers Ontology Program verification (computers) Programming languages Real numbers Roundoff error Specifications
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!