The Euclidean definition of the functions div and mod
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Modulo Interval: A Simple and Practical Representation for Program Analysis
PACT '99 Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques
A New Range-Reduction Algorithm
IEEE Transactions on Computers
A programming language
Calendrical Calculations
| Hi-index | 0.00 |