SHRAD

swMATH2663MaRDI QIDQ15202FDOQ15202

Author name not available (Why is that?)

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