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

DOI10.1016/J.ENTCS.2007.02.026zbMATH Open1316.68039OpenAlexW2069705578MaRDI QIDQ5262928FDOQ5262928

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

real number computationconnectednessdomain theorysequentiality

Mathematics Subject Classification ID

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

Cites Work

• On the non-sequential nature of the interval-domain model of real-number computation
• Continuous Lattices and Domains
• Title not available (Why is that?)

Cited In (3)

• SHRAD: A language for sequential real number computation
• Semi-decidability of may, must and probabilistic testing in a higher-type setting
• On the non-sequential nature of the interval-domain model of real-number computation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262928)