学术探索
学术期刊
新闻热点
数据分析
智能评审

A LOGIC COVERING UNDEFINEDNESS IN PROGRAM PROOFS

被引：91
作者：
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 [J].
BROY, M ;
WIRSING, M .
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