一个面向对象的实时分布式语言的指称语义  

DENOTATIONAL SEMANTICS OF AN OBJECT-ORIENTED DISTRIBUTED REAL-TIME LANGUAGE

作　　者：左志宏[1] 龚天富[1] 

机构地区：[1]成都电子科技大学计算机系

出　　处：《软件学报》1996年第4期244-251,共8页Journal of Software

摘　　要：本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．This paper gives a denotational semantics of an object-oriented distributed real-time language Mini CSP-R.At different layers,the semantics of statement,object and program are given concisely.By introducing real-time state,the real-time property of the language is described briefly in the frame of the denotational semantics.

关 键 词：实时 指称语义 面向对象 分布式语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]