2023年6月24日发(作者：)

ElectronicNotesinTheoreticalComputerScience10(1998)URL:/locate/entcs/7pagesATypeSllDepartmentofComputerScienceStanfordUniversityStanford,CA94305-9045{freunds,mitchell}@1IntroductionTheJavaprogramminglanguageisastatically-typedgeneral-purposepro-gramminglanguagewithanimplementationarchitecturethatandardimplementation,aJavalanguageprogramiscompiledtoJavaerme-diatebytecodelanguage,whichwerefertoasJVML,isatyped,machine-independentformofassemblylanguagewithsomelow-levelinstructionsthatreflectspecifimple,ytecodemaybewrittenbyhand,orcorruptedduringnetworktransmission,theJavaVirtualMachinecontainsabytecodeverifiopaper,wedevelopaspecificationforafragmentofthebytecodelanguagethatincludesobjectcreation(allocationofmemory)rkisbasedonapriorstudyofthebytecodesforlocalsubroutinec1998PublishedbyElsevierScienceB.V.