Abstraction Mechanisms for Event Control in Program Debugging
IEEE Transactions on Software Engineering
Tagged architecture: how compelling are its advantages?
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
ACM SIGARCH Computer Architecture News
Capability Based Tagged Architectures
IEEE Transactions on Computers
Computer Representation of Real Numbers
IEEE Transactions on Computers - Lecture notes in computer science Vol. 174
Hi-index | 0.00 |
The construction of reliable programs could benefit substantially from improved hardware support. The automatic detection of one particularly common programming error, namely, the failure to define the value of a data element before referencing it, is quite simple and can be implemented in most microprogrammed machines. A method of introducing machine-detectable null elements for this purpose is described. This leads naturally to a re-appraisal of the basic operations CLEAR and ASSIGN.