语言时间扩展——一种功能时间程序设计方法  

作　　者：杜兴[1] 谢立[1] 孙钟秀[1] 

机构地区：[1]南京大学计算机科学与技术系,南京210093

出　　处：《科学通报》1995年第11期1051-1053,共3页Chinese Science Bulletin

摘　　要：1 问题计算机软件系统中存在两类执行时间约束.一类为系统各部分之间时间先后的相对约束、如互斥、同步等;另一类为系统某一部分执行时间上的绝对约束,此类典型实例为实时系统.传统程序设计注重于描述系统的功能,对于第一类约束,常采用隐式的方法,如PV操作、管程等实现.这种隐式的方法,增加了系统设计和语义验证的难度,影响软件开发效率.对于第二类约束,目前往往是设计并使用一种新的语言:实时程序设计语言来完成.

关 键 词：程序设计 程序语言 时间扩展 

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