| 并发面向对象语言的演算语义研究 |
| |
| 引用本文： | 李侃,王兵山,李舟军.并发面向对象语言的演算语义研究[J].国防科技大学学报,1996,18(1):86-91. |
| |
| 作者姓名： | 李侃 王兵山 李舟军 |
| |
| 作者单位： | 国防科技大学计算机系 |
| |
| 基金项目： | 国防科技预研基金,“863”计划资助 |
| |
| 摘 要： | 本文对л演算进行了扩展，使之能支持异步通讯，然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语义。该演算语义能较好地刻划异步通讯机制、演员的行为替换机制以及对象、类、封装、实例变量与临时变量等面向对象特征。
|
| 关 键 词： | 并发面向对象语言，л－演算，异步通讯 |
| 收稿时间： | 1995/11/19 0:00:00 |
On Calculus Semantics of Concurrent Object-Oriented Language |
| |
| Li Kan,Wang Bingshan and Li Zhoujun.On Calculus Semantics of Concurrent Object-Oriented Language[J].Journal of National University of Defense Technology,1996,18(1):86-91. |
| |
| Authors: | Li Kan Wang Bingshan and Li Zhoujun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|
