A LOGIC COVERING UNDEFINEDNESS IN PROGRAM PROOFS

被引：90
作者：
BARRINGER, H
CHENG, JH
JONES, CB
机构：
来源：
ACTA INFORMATICA | 1984年 / 21卷 / 03期
关键词：
D O I：
10.1007/BF00264250
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：251 / 269
页数：19
相关论文
共 33 条
  • [1] ABRIAL JR, 1982, THEORETICAL F FORMAL
  • [2] ABRIAL JR, 1982, FORMAL PROGRAMMING
  • [3] BIRD R, 1976, PROGRAMS MACHINES
  • [4] Bjorner D., 1982, FORMAL SPECIFICATION
  • [5] BLAMEY SR, 1980, THESIS OXFORD U
  • [6] BLAMEY SR, UNPUB HDB PHILOS LOG
  • [7] PARTIAL ABSTRACT TYPES
    BROY, M
    WIRSING, M
    [J]. ACTA INFORMATICA, 1982, 18 (01) : 47 - 64
  • [8] Constable R. L., 1978, PROGRAMMING LOGIC
  • [9] CONSTABLE RL, 1983, LECTURE NOTES COMPUT, V145
  • [10] CONSTABLE RL, 1982, INTRO PLCV2 PROGRAMM
1234