Browse Prior Art Database

Range analysis with bitwise operations

IP.com Disclosure Number: IPCOM000012367D
Original Publication Date: 2003-May-01
Included in the Prior Art Database: 2003-May-01

Publishing Venue

IBM

Abstract

A method is disclosed for efficiently calculating value ranges under logical bitwise operations. Keywords: Value range propagation, Interval arithmetic, bitwise operations, AND, OR, NOT, XOR