scientific article
From MaRDI portal
Publication:2851538
zbMath1273.68073MaRDI QIDQ2851538
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104050832
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Semantics of a sequential language for exact real-number computation ⋮ A Denotational Semantics for Total Correctness of Sequential Exact Real Programs ⋮ Sequential real number computation and recursive relations ⋮ Sequential Real Number Computation and Recursive Relations
This page was built for publication:
