计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
32期
52-54,104
,共4页
程序设计模型%UNITY%形式语义%程序转换%Seuss
程序設計模型%UNITY%形式語義%程序轉換%Seuss
정서설계모형%UNITY%형식어의%정서전환%Seuss
UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力.该文在简述UNITY机理的基础上,分析UNITY与几种典型的程序设计模型(函数式、命令式、逻辑式、基于规则式、Petri网、CSP)的区别,并给出它们对应的等价UNITY程序转换,最后,介绍Seuss对完善UNITY的新策略.
UNITY是一種簡單統一的理論、計算模型和證明繫統,而且具有很彊的把UNITY程序映射成不同的計算機體繫結構模式的能力.該文在簡述UNITY機理的基礎上,分析UNITY與幾種典型的程序設計模型(函數式、命令式、邏輯式、基于規則式、Petri網、CSP)的區彆,併給齣它們對應的等價UNITY程序轉換,最後,介紹Seuss對完善UNITY的新策略.
UNITY시일충간단통일적이론、계산모형화증명계통,이차구유흔강적파UNITY정서영사성불동적계산궤체계결구모식적능력.해문재간술UNITY궤리적기출상,분석UNITY여궤충전형적정서설계모형(함수식、명령식、라집식、기우규칙식、Petri망、CSP)적구별,병급출타문대응적등개UNITY정서전환,최후,개소Seuss대완선UNITY적신책략.