W3C home > Mailing lists > Public > www-talk@w3.org > March to April 1995

Re: Web Scripting Languages (was: Re: two-way communication in html)

From: Mary Ellen Zurko <zurko@osf.org>
Date: Wed, 8 Mar 95 8:59:35 EST
Message-Id: <9503081359.AA21377@link.osf.org>
To: alvin@eyepoint.com
Cc: www-talk@www10.w3.org, www-security@ns2.rutgers.edu (WWW security dist list), zurko@osf.org (Me)
> 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.
Received on Wednesday, 8 March 1995 08:59:42 UTC

This archive was generated by hypermail 2.4.0 : Monday, 20 January 2020 16:08:16 UTC