1) temporal programming
时序程序设计
2) time sequence design program
时序设计程式
3) time shared programming
分时程序设计
4) real time programming
实时程序设计
5) multiple tense programming
多时态程序设计
6) temporal logic programming
时序逻辑程序设计
1.
Pointers in framing projection temporal logic programming languages;
框架投影时序逻辑程序设计语言中的指针
2.
Though researchers developed interpreters to execute temporal logic programs,and temporal logic and its executed subsets are widely applied to the areas of concurrentprograms verification, however, there has not formalized an integrated formal semanticsfor temporal logic programs, at least for interval temporal logic programming languages.
时序逻辑程序设计是一种新型的程序设计范式,程序的具体执行和性质的描述可以在同一逻辑框架内表示,适用于并发系统的建模、模拟和验证。
补充资料：面向对象的程序设计(见程序设计方法)
面向对象的程序设计(见程序设计方法)
object-oriented programming
m一onx一ong dujx一ong de ehengx日$he]}面向对象的程序设计(objeet一oriented pro-gramming)见程序设计。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条