Commenting from file

Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Next message: <span class="__cf_email__" data-cfemail="82f5f5f5aff6e3eee9c2f5f5f5b3b2acf5b1acedf0e5">[email&#160;protected] : "Commenting from file"
Previous message: [email&#160;protected] : "Commenting from file"

[email protected]
Wed, 8 Mar 95 16:04:38 PST

> 1) Turing has a formal and provable semantics(this includes IO) and
> claims to meet the US DOD criteria as a TRUSTED language.

What US DOD criteria for TRUSTED languages? Got any pointers? Thanks.
Mez