Commenting from file

Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Next message: www-talk@www10.w3.org: "Commenting from file"
Previous message: ROCKWELL@hws.edu: "Commenting from file"

www-talk@www10.w3.org
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