Specifications via Realizability (Dagstuhl)
- 13 January 2006
- Talks
With Chris Stone.
Presented at: Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl Seminar 06021.
Abstract: see “Specifications via Realizability (CLASE)”.
Talk notes: rz-dagstuhl.pdf (handwritten notes of the talk with examples of how RZ works)
Posting comments:
At present comments are disabled because the relevant script died.
You are welcome to contact me directly.