On the Non-sequential Nature of Domain Models of Real-number Computation

DOI10.1016/j.entcs.2007.02.026zbMath1316.68039OpenAlexW2069705578MaRDI QIDQ5262928

Thomas Anberrée

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.026

zbMATH Keywords

connectednessdomain theoryreal number computationsequentiality

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

Cites Work

• Unnamed Item
• On the non-sequential nature of the interval-domain model of real-number computation
• Continuous Lattices and Domains

This page was built for publication: On the Non-sequential Nature of Domain Models of Real-number Computation