Xref: utzoo comp.lang.c:30524 comp.lang.fortran:3433
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.lang.c,comp.lang.fortran
Subject: Semantic defintions in standards
Keywords: axiomatic semantics, denotational semantics
Message-ID: <9848@hubcap.clemson.edu>
Date: 25 Jul 90 20:15:21 GMT
Organization: Clemson University, Clemson, SC
Lines: 13

What is the status of attempts at the latest standard? What
methods are used to specify semantics? Are there any attempts to use
any of the ``formal semantics'' methods?





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