The latter is necessary because an arbitrary integer could be assigned to a reference, which reference could then be used by one of the ... The run-time check on object references takes the form of a comparison of the type objects of each of the objects or object templates ... These include a while and for statement , as well as the C syntax for expressions and most of Ca#39;s unary and binary operators.
|Title||:||Proceedings of the seventh Texas Conference on Computing Systems|
|Author||:||University of Houston, University of Houston. Dept. of Computer Science, IEEE Computer Society, Association for Computing Machinery|