FUNCTIONAL PROGRAMS AS EXECUTABLE SPECIFICATIONS

被引：7
作者：
TURNER, DA
机构：
来源：
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES | 1984年 / 312卷 / 1522期
关键词：
D O I：
10.1098/rsta.1984.0065
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：363 / 388
页数：26
相关论文
共 32 条
[1]  
BIRD, 1983, 153 U READ TECH REP
[2]  
BROY M, 1981, P NATO SUMMER SCH TH, P565
[3]   PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION [J].
BURSTALL, RM .
COMPUTER JOURNAL, 1969, 12 (01) :41-&
[4]  
BURSTALL RM, 1980, CSR6280 U ED TECH RE
[5]  
Curry H., 1958, COMBINATORY LOGIC, V1
[6]  
Darlington J., 1982, Functional programming and its applications. An advanced course, P193
[7]  
Davis M., 1958, COMPUTABILITY UNSOLV
[8]  
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[9]  
Drake FR., 1974, SET THEORY
[10]  
Friedman D. P., 1976, AUTOMATA LANGUAGES P, P257
1234