SHRAD

MaRDI QIDQ15202swMATHFDO

Official website http://www.springerlink.com/content/q35836457160182l/fulltext.pdf

Described by source

• SHRAD: A language for sequential real number computation

Cited in

(5)

• A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
• Semantics of a sequential language for exact real-number computation
• Sequential real number computation and recursive relations
• Sequential real number computation and recursive relations
• New Computational Paradigms

This page was built for software: SHRAD