Variants of semantics of inaccurate data and the approximate performance of programs

DOI10.1016/0041-5553(86)90009-1zbMath0617.68019OpenAlexW2014020185MaRDI QIDQ4727405

E. A. Kaz'Mina, V. A. Kuklyaeva, Sergey A. Abramov

Publication date: 1986

Published in: USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0041-5553(86)90009-1

zbMATH Keywords

approximate computationsDijkstra and Hoare semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Variants of semantics of inaccurate data and the approximate performance of programs