On the non-sequential nature of domain models of real-number computation

DOI10.1016/J.ENTCS.2007.02.026MaRDI QIDQ5262928zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• On the non-sequential nature of the interval-domain model of real-number computation
• scientific article; zbMATH DE number 1333613
• Real number computability and domain theory
• New Computational Paradigms
• scientific article; zbMATH DE number 1257074

Cites work

• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Continuous Lattices and Domains
• On the non-sequential nature of the interval-domain model of real-number computation

Cited in

(4)

• 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
• New Computational Paradigms

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)