Path: utzoo!attcan!uunet!cs.utexas.edu!uwm.edu!wuarchive!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.theory
Subject: Actual use of formal semantics in languages
Message-ID: <9864@hubcap.clemson.edu>
Date: 26 Jul 90 16:59:42 GMT
Organization: Clemson University, Clemson, SC
Lines: 11

Does anyone know of the actual use of any formal semantics techniques
in describing a common language for which there is a standard
(e.g. C, Fortan, Cobol, Pascal) and such description is subsequently
used for a commercially available implementation?

Thanks
-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906