Quote: the lowest level of a system is not safe; e.g., bus addresses for an I/O controller

Quotation Skeleton

Unfortunately, it is generally impossible to program the … check the validity of a bus address for … In this area Modula-3 follows the lead of … labeled unsafe. In a safe module, the compiler … programmer's responsibility to avoid them.   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: Modula-3 and Cedar distinguish safe modules from unsafe ones; in the later, programmers must avoid memory corruption

Related Topics

Topic: error safe systems (75 items)
Topic: operating system kernel (67 items)