计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2007年
11期
86-88
,共3页
抽象生成树(AST)%访问者模式%符号表%作用域%SOFL%类型检查
抽象生成樹(AST)%訪問者模式%符號錶%作用域%SOFL%類型檢查
추상생성수(AST)%방문자모식%부호표%작용역%SOFL%류형검사
传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景,使其举步维艰.于是作为形式化方法与面向对象的联姻的SOFL(Structured Object-Oriented Fomal Language)便应运而生.在给出语义分析的整体算法后,逐步分析各个阶段遇到的关键问题并给出解决方法,同时在参考其他语言的基础上,定义了SOFL中一些语义规则.
傳統的形式化方法跼限于嚴格的證明、對程序員要求較高的教育揹景,使其舉步維艱.于是作為形式化方法與麵嚮對象的聯姻的SOFL(Structured Object-Oriented Fomal Language)便應運而生.在給齣語義分析的整體算法後,逐步分析各箇階段遇到的關鍵問題併給齣解決方法,同時在參攷其他語言的基礎上,定義瞭SOFL中一些語義規則.
전통적형식화방법국한우엄격적증명、대정서원요구교고적교육배경,사기거보유간.우시작위형식화방법여면향대상적련인적SOFL(Structured Object-Oriented Fomal Language)편응운이생.재급출어의분석적정체산법후,축보분석각개계단우도적관건문제병급출해결방법,동시재삼고기타어언적기출상,정의료SOFL중일사어의규칙.
