Output details

Compositional semantics of dataflow networks with query-driven communication of exact values

<10> This paper proposes a new paradigm for reliable numerical computation that makes it possible to use parallel and distributed architectures efficiently. Reliability, code reuse and maintenance are aided by compositional semantics. It is expected that distributed execution will help exact real-number computation, which so far has been perceived as impractical due to high cost, become a practically feasible alternative to floating point computation. An implementation is available in the AERN Haskell library (http://hackage.haskell.org/package/AERN-Net). Konecny has been invited to present this work at Imperial College and Birmingham University.