Download presentation
Presentation is loading. Please wait.
1
10. The procedural extension JVMc of JVMI
ps lab 김윤경
2
content 10.1 Dynamic semantics of the JVMc
Fig Trustful execution of JVMc instructions Fig Trustful switch machine 10.2 Compilation of JVMc Fig compilation of Javac expressions/statements
3
10.1 Dynamic semantics of the JVMc
data Instr = … | GetStatic(Type, Class/Field) | PutStatic(Type, Class/Field) | InvokeStatic(Type, Class/MSig) | Return(MoveType) data MoveType = … | void
4
Environment. cEnv: Class -> ClassFile
data ClassFile = Cfile ( classNm : Class, isInterface : Bool , modifiers : Powerset(Modifier), super : Class, implements : Powerset(Class), fields : FieldTab, methods : MethTab)
5
type FieldTab = Map(Field, FDec)
type MethTab = Map(Msig,MDec) data FDec = FDec(modiers : Powerset(Modier), type : Type) data MDec = Mdec ( modiers : Powerset(Modier), returnType : Type, code : Code, excs : Exc, (maxOpd, maxReg) : (Nat, Nat))
6
State. type Frame = (Pc, Map(RegNo, Word), Word*, Class/MSig)
data Switch = Noswitch | Call (Class/Msig,Args) | Result(Val ) | InitClass(Class)
9
10.2 Compilation of Javac
Similar presentations
© 2025 SlidePlayer.com Inc.
All rights reserved.