%0 Journal Article
%T 时态逻辑与程序设计语言
%A 刘清
%J 计算机科学
%D 1989
%I 
%X 一、概述按照人们的常规,程序设计语言是指计算机能直接执行的机器语言、汇编语言以及其它高级语言,用这些语言描述问题求解的算法,机器能直接执行,并给出问题的解答。近年来计算机领域里提出的时态逻辑是具有强时态语义的语言,它也可让计算机直接执行,因
%K 时态逻辑
%K 程序设计语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F1F5FE2BC591C03B31A1C8FA187118C0&yid=1833A6AA51F779C1&vid=7801E6FC5AE9020C&iid=94C357A881DFC066&sid=228A710F49B6CE58&eid=9C65ADEB5990B252&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0