资源描述：
《Springer.Java.and.the.Java.Virtual.Machine.(Springer)_1》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、RobertSt•ark,JoachimSchmid,EgonB•orgerJavaandtheJavaVirtualMachineDe nition,Veri cation,ValidationMay8,2001Springer-VerlagBerlinHeidelbergNewYorkLondonParisTokyoHongKongBarcelonaBudapestPrefaceTheoriginofthisbookgoesbacktotheDagstuhlseminaronLogicforSystemEngineering,orga
2、nizedduringthe rstweekofMarch1997byS.J•ahnichen,J.Loeckx,andM.Wirsing.Duringthatseminar,afterEgonB•orger'stalkonHowtoUseAbstractStateMachinesinSoftwareEngineering,WolframSchulte,atthetimearesearchassistantattheUniversityofUlm,Germany,questionedwhetherASMsprovideanythingsp
3、ecialasascienti callywell-foundedandrigorousyetsimpleandindustriallyviableframeworkforhigh-leveldesignandanalysisofcomplexsystems,andfornaturalre nementsofmodelstoexecutablecode.WolframSchulteargued,referringtohisworkwithK.AchatzonAFormalObject-OrientedMethodInspiredbyFus
4、ionandObject-Z[1],thatwithcurrenttechniquesoffunctionalprogrammingandofaxiomaticspeci cation,onecanachievethesameresult.Anintensiveandlongdebatearosefromthisdiscussion.Attheendoftheweek,itledEgonB•orgertoproposeacollaborationonareal-lifespeci cationprojectofWolframSchulte
5、'schoice,asacomparative eldtestofpurelyfunctional-declarativemethodsandoftheirenhancementwithinanintegratedabstractstate-basedoperational(ASM)approach.Aftersomehesitation,inMay1997WolframSchulteacceptedtheo erandchoseasthethemeahigh-levelspeci cationofJavaandoftheJavaVirt
6、ualMachine.Whatfollowedweretwoyearsofhardbutenjoyablejointwork,resultinginaseriesofASMmodelsoftheJavalanguage,oftheJVM,andofaprovablycorrectcompilationschemeforcompilingJavaprogramstoJVMcode,whichwerepublishedin[9,8,10,11,12].Wheninthespringof1999,WolframSchulteputthiswor
7、ktogetherforhisHabilitationsschriftattheUniversityofUlm,EgonB•orgersuggestedcompletingandextendingittoa
8、badlyneeded
9、full-blownASMcasestudybook.ThebookshouldshowtheASMmethodatwork,convincingly,forthepracticaldesignofacomplexreal-lifesystem,andforitsrigorousmathematicalande
10、xtensiveexperimentalanalysis.RobertSt•arkandJoachimSchmidacceptedtojointhisbookproject.Atthattim
