SHRAD

swMATH2663MaRDI QIDQ15202FDOQ15202

Author name not available (Why is that?)

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