| Starting with that 1961 example, ESPOL/NEWP. Since Unisys still sells Burroughs, nowadays ClearPath MCP, you can get the latest NEWP manual here, section 8. https://public.support.unisys.com/framework/publicterms.aspx... Followed by Mesa/Cedar (CHECKED, TRUSTED, UNCHECKED), Modula-2 (IMPORT SYSTEM), the languages of Oberon linage (which follow up on the IMPORT SYSTEM approach), Ada (using Unchecked),.... In the languages that use the IMPORT SYSTEM approach, the compiler can mark the module as unsafe, and anything that might depend on it. Some the Modula-3 folks worked previously on Cedar at Xerox, by the way. Mesa - http://www.bitsavers.org/pdf/xerox/mesa/5.0_1979/documentati... Cedar - http://www.bitsavers.org/pdf/xerox/parc/cedar/Cedar_7.0/09_C... |