An integer arithmetic result outside the range of its chosen representation. A programming language may specify wrapping, trapping or another behavior; a proof over mathematical integers must account for that difference.
Ancestors (4)
Incoming links (46)
- Alignment padding bound
- C programming language
- Digit-array integer representation
- Distinct-index two-sum by suffix lower bounds
- Exponential sign bracketing
- Fixed-point arithmetic
- Formal verification
- Hoare logic
- Integer logarithm
- Length-prefix validation before allocation
- Past exam of the computer science course of the University of Oxford / 2015 / Computer graphics / 1 / a / Solution
- Past exam of the computer science course of the University of Oxford / 2015 / Computer graphics / 1 / c / Solution
- Past exam of the computer science course of the University of Oxford / 2015 / Object oriented programming / 3 / d / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2003 / Functional programming, data structures and algorithms, procedural programming, and digital hardware / 10 / a / i / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2013 / Imperative programming
- Past exam of the year 1 of the computer science course of the University of Oxford / 2013 / Imperative programming / 5 / b / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2013 / Imperative programming / 6 / d / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2014 / Imperative programming / 5 / a / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2014 / Imperative programming / 5 / c / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2015 / Imperative programming / 8 / a / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2015 / Imperative programming (resit) / 7 / d / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2015 / Imperative programming (resit) / 8 / b / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Functional programming, design and analysis of algorithms (resit) / 3 / c / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Imperative programming / 1 / a / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Imperative programming / 2 / a / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Imperative programming (resit) / 1 / b / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Imperative programming (resit) / 1 / c / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Imperative programming (resit) / 1 / e / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Imperative programming (resit) / 2 / d / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2018 / Imperative programming / 1 / c / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2018 / Imperative programming / 2 / c / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2018 / Imperative programming / 5 / b / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Imperative programming / 7 / b / ii / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Imperative programming resit
- Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Imperative programming resit / 1 / d / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2021 / Imperative programming (resit) / 1 / b / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2022 / Digital systems, linear algebra, introduction to formal proof / 2 / c / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2022 / Digital systems, linear algebra, introduction to formal proof resit / 1 / a / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2022 / Imperative programming (resit) / 5 / b / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2023 / Imperative programming / 1 / e / Solution
- Past exam of the year 1 of the computer science course of the University of Oxford / 2023 / Imperative programming / 3 / a / Solution
- Static program analysis
- Summation loop verification
- Undefined behavior
- Unsigned integer arithmetic in C
- Upper-bound search
Discussion (0) New discussion
There are no discussions about this article yet.
Articles by others on the same topic (0)
There are currently no matching articles.