| 逻辑化的指称语义学 |
| |
| 引用本文： | 唐同诰. 逻辑化的指称语义学[J]. 复旦学报(自然科学版), 1989, 28(2): 180-187 |
| |
| 作者姓名： | 唐同诰 |
| |
| 作者单位： | 复旦大学计算机科学系 |
| |
| 摘 要： |
|
| 关 键 词： | 指称语义学 逻辑化 程序语义学 |
DENOTATIONAL SEMANTICS IN LOGIC |
| |
| Tang Tonggao,. DENOTATIONAL SEMANTICS IN LOGIC[J]. Journal of Fudan University(Natural Science), 1989, 28(2): 180-187 |
| |
| Authors: | Tang Tonggao |
| |
| Affiliation: | Department of Computer Science |
| |
| Abstract: | Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way. They both have individual advantages. To putthese advantages together into a semantics, a new denotational semantics in logicalmode is made in this paper, i. e. the formulas of the denotational semantics can bededuced in a specific system of the first-order temporal logic. It increases the capa-city of verifying the correctness of Programs to introduce the deductive method intothe denotational semantics. This paper is also an attempt to treat the theories ofvarious semantics from a unified viewpoint of the first-order temporal logic. |
| |
| Keywords: | semantics of a programming language denotational semantics temporal logic software methodology. |
| 本文献已被 CNKI 维普 等数据库收录！ |
