摘要
一、概述按照人们的常规,程序设计语言是指计算机能直接执行的机器语言、汇编语言以及其它高级语言,用这些语言描述问题求解的算法,机器能直接执行,并给出问题的解答。近年来计算机领域里提出的时态逻辑是具有强时态语义的语言,它也可让计算机直接执行。
The raper describes that temporal logic can be used as a programming language. It can apply to describe the algorithm for solving problems. It can give the answer after directly executed on the computer.
出处
《计算机科学》
CSCD
北大核心
1989年第5期76-79,共4页
Computer Science
