Presentation is loading. Please wait.

Presentation is loading. Please wait.

10. The procedural extension JVMc of JVMI

Similar presentations


Presentation on theme: "10. The procedural extension JVMc of JVMI"— Presentation transcript:

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)

7

8

9 10.2 Compilation of Javac


Download ppt "10. The procedural extension JVMc of JVMI"

Similar presentations


Ads by Google