2 papers
math.NA2007
Functions to Support Input and Output of Intervals
M. H. van Emden, B. Moa, S. C. Somosan
Interval arithmetic is hardly feasible without directed rounding as provided, for example, by the IEEE floating-point standard. Equally essential for interval methods is directed r…
cs.SE2006
Object-Oriented Modeling of Programming Paradigms
M. H. van Emden, S. C. Somosan
For the right application, the use of programming paradigms such as functional or logic programming can enormously increase productivity in software development. But these powerful…