软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
1998年
5期
0
,共1页
轨迹%类ALGOL语言%抽象语法%基调代数%语义论域
軌跡%類ALGOL語言%抽象語法%基調代數%語義論域
궤적%류ALGOL어언%추상어법%기조대수%어의론역
本文提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.本文及其续篇将通过一个中等规模的过程式模型语言来说明上述语义框架更适合描述真正的程序设计语言.本文首先引入轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,其中没有使用含有函数空间构造运算的递归论域方程.
本文提齣一種基于軌跡的指稱語義框架,該框架結閤瞭操作語義和代數語義的特徵,避免使用專門的數學理論,將靜態語義和動態語義結閤在一起統一處理.本文及其續篇將通過一箇中等規模的過程式模型語言來說明上述語義框架更適閤描述真正的程序設計語言.本文首先引入軌跡概唸和模型語言,然後討論該語言的各句法成分所對應的語義論域,其中沒有使用含有函數空間構造運算的遞歸論域方程.
본문제출일충기우궤적적지칭어의광가,해광가결합료조작어의화대수어의적특정,피면사용전문적수학이론,장정태어의화동태어의결합재일기통일처리.본문급기속편장통과일개중등규모적과정식모형어언래설명상술어의광가경괄합묘술진정적정서설계어언.본문수선인입궤적개념화모형어언,연후토론해어언적각구법성분소대응적어의론역,기중몰유사용함유함수공간구조운산적체귀론역방정.