A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
From MaRDI portal
Publication:3502663
DOI10.1007/978-3-540-79228-4_34zbMath1139.68379OpenAlexW1551218897MaRDI QIDQ3502663
Publication date: 27 May 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-79228-4_34
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software
Cites Work
This page was built for publication: A Denotational Semantics for Total Correctness of Sequential Exact Real Programs