Hermes: A Tutorial and Reference Manual - Researcher - IBM
Hermes: A Tutorial and Reference Manual - Researcher - IBM
Hermes: A Tutorial and Reference Manual - Researcher - IBM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Preface Thisdocumentcontainsatutorial,areferencemanual,<strong>and</strong>someappendices.<br />
thatyouhavesomeexperiencewritingapplicationprogramsinahigh-level importantinnovationinstaticchecking|typestateanalysis.Weassume tem.Wethendiscussadditionalusefulfeaturesof<strong>Hermes</strong>,includingan <strong>and</strong>continuethroughmorecomplexexamples,endingwithawindowsys-<br />
examples.Webeginwithasimpleprogramwhichoutputs\Helloworld", procedurallanguage,suchasC,Pascal,orAda.Wewillhighlightthedifferencesbetweenprogrammingin<strong>Hermes</strong><strong>and</strong>programmingintheother<br />
Thetutorialintroducesyouto<strong>Hermes</strong>byguidingyouthroughasetof languages.Thiswayyouwillgetafeelingfor\idiomatic<strong>Hermes</strong>".Atthe endofthetutorial,youwillknowthebasicvocabularyof<strong>Hermes</strong>.Youwill beabletowritesome<strong>Hermes</strong>programsbyimitatingtheexamples.You<br />
intabularform.Theyareproducedfromthesamemachine-readableles thepreciserulesof<strong>Hermes</strong>|thesearecoveredinthereferencemanual. willbeabletocompare<strong>Hermes</strong>tootherlanguages.Butyouwillnotknow<br />
thatareusedtoproducethecompileritself. programs. inthereferencemanualillustratethelanguagerules.Theyhighlightthedifferencebetweenlegal<strong>and</strong>illegalprogramsratherthanillustrate\typicalamplesinthereferencemanual,butwithadierentpurpose.Theexamples<br />
Thisdocumentdoesnotdescribehowtouseanyoftheexisting<strong>Hermes</strong> Theappendicesarethemostformal.Theycontaintherulesof<strong>Hermes</strong> Thereferencemanualismoreformalthanthetutorial.Wealsogiveex-<br />
sendelectronicmailtohermes-request@ibm.comorU.S.mailtooneofthe authorsattheaddresslistedonthetitlepage.<strong>Hermes</strong>currently(March 1990)runsonSun3<strong>and</strong>Sun4systemsrunningSunOS,<strong>and</strong><strong>IBM</strong>RTs tation. runningBerkeley4.3Unix. istobefoundinthe<strong>Hermes</strong>UsersGuidedistributedwiththeimplemen-<br />
implementations,nordoesitdescribetheiridiosyncrasies.Suchinformation Readerswishingtoobtainanexperimentalworking<strong>Hermes</strong>systemshould
Change language