A Note on the Modulo Operation in Edison

@article{Hill1987ANO,
  title={A Note on the Modulo Operation in Edison},
  author={Gary A. Hill},
  journal={SIGPLAN Notices},
  year={1987},
  volume={22},
  pages={28-29}
}
In "A note on the modulo operation" [i], A. P. Chang assumes that the relation: x = y * (x div y) + x mod y (definition I.B) is sufficient to define the semantics of mod. A weakness in this argument is that while floor is mathematically well defined, div is programming notation which is only as well defined as a particular language. In Edison [2], the complete definition is as follows: x div y is the truncated quotient of x divided by y; × mod y is the remainder of × div y, satisfying the… CONTINUE READING