Xref: utzoo comp.lang.c:30525 comp.lang.fortran:3434 Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!zaphod.mps.ohio-state.edu!brutus.cs.uiuc.edu!apple!sun-barr!newstop!sun!khb From: khb@chiba.Eng.Sun.COM (chiba) Newsgroups: comp.lang.c,comp.lang.fortran Subject: Re: Semantic defintions in standards Message-ID: Date: 25 Jul 90 21:04:20 GMT References: <9848@hubcap.clemson.edu> Sender: news@sun.Eng.Sun.COM Organization: Sun MegaSystems Lines: 23 In-reply-to: steve@hubcap.clemson.edu's message of 25 Jul 90 20:15:21 GMT In article <9848@hubcap.clemson.edu> steve@hubcap.clemson.edu ("Steve" Stevenson) writes: What is the status of attempts at the latest standard? C became an ANSI standard in December '89. Fortran 90 is in the midst of ISO processing for offical ISO draft status. What methods are used to specify semantics? X3J3 employs english. BNF is provided as an aid. Are there any attempts to use any of the ``formal semantics'' methods? It is my understanding that the ISO Modula work uses VDM. Most other standards bodies, that I am aware of, do not employ "formal semantics" techniques. -- Keith H. Bierman |*My thoughts are my own. !! kbierman@Eng.Sun.COM It's Not My Fault | MTS --Only my work belongs to Sun* khb@chiba.Eng.Sun.COM I Voted for Bill & | Advanced Languages/Floating Point Group (415 336 2648) Opus "When the going gets Weird .. the Weird turn PRO"