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

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

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

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

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 (4)

• SHRAD: A language for sequential real number computation
• Semi-decidability of may, must and probabilistic testing in a higher-type setting
• New Computational Paradigms
• 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)