操作语义.docVIP

操 作 语 义 LA 汇编语言 LE 表达式语言 L0 无声明简单语言 L1 ＝ L0 ＋ Read ＋ Write L2 ＝ Ls ＋ VDec ＋ Block L3 ＝ L2 ＋ PDec ＋ Fdec PL并发语言 软件形式化 程序语言语义形式化（形式语义学） 形式语义学 操作语义学 指称语义学 公理语义学 代数语义学 操作语义方法 抽象机方法 归约式方法 解释器方法 操作语义方法特点：形式地描述程序的执行（操作）过程。 抽象级方法：针对给定语言构造抽象机。 抽象机： 机器状态：MS=Comm﹡×SEnv×DEnv 状态转换规则：MS→MS ■汇编语言语义的形式化描述（操作语义） 语言： L: ADD R x R = (R) + (x) L: ADD R n R = (R) + n L: LOAD R n R = n L: LOAD R x R = (x) L: STOP R x x = (R) L: JMP L L: FJMP R L L: INP x L: OUT R 硬件： x y a MEMO: V1 V2 V3 R1 R2 R3 REG: V1 V2 V3 LAB: L