Shrad: A language for sequential real number computation

DOI10.1007/11494645_16MaRDI QIDQ5717030zbMATH OpenOpenAlexFDO

Authors Amin Farjudian

Publication date 11 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136981

Mathematics Subject Classification ID

Recommendations

• SHRAD: A language for sequential real number computation
• Semantics of a sequential language for exact real-number computation
• On the non-sequential nature of the interval-domain model of real-number computation
• A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
• On the non-sequential nature of domain models of real-number computation

Cited in

(4)

• Semantics of a sequential language for exact real-number computation
• SHRAD: A language for sequential real number computation
• On the non-sequential nature of the interval-domain model of real-number computation
• On the non-sequential nature of domain models of real-number computation

Describes a project that uses

Uses Software

• SHRAD

This page was built for publication: Shrad: A language for sequential real number computation

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