Search for dissertations about: "lazy evaluation"
Showing result 16 - 17 of 17 swedish dissertations containing the words lazy evaluation.
-
16. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types
Abstract : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE
-
17. Approximations and abstractions for reasoning about machine arithmetic
Abstract : Safety-critical systems rely on various forms of machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic. The problem with machine arithmetic is that it can exhibit subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE