A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
From MaRDI portal
Publication:3502663
DOI10.1007/978-3-540-79228-4_34zbMath1139.68379MaRDI 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
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work