FORMALIZATION OF PROPERTIES OF FUNCTIONAL PROGRAMS

被引：31

作者：

MANNA, Z

PNUELI, A

机构：

来源：

关键词：

D O I：

10.1145/321592.321606

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：555 / &

共 10 条

[1]

CHURCH A, 1956, INTRODUCTION MATHEMA, V1

[2]

Cooper D.C., 1969, MACH INTELL, V4, P3

[3]

FLOYD R, 1966, P AM MATH SOC S APPL, V19, P19

[4] PROPERTIES OF PROGRAMS AND FIRST-ORDER PREDICATE CALCULUS [J].

MANNA, Z .

[5]

MANNA Z, 1970, MACHINE INTELLIGENCE, V5

[6]

MANNA Z, 1968, A168 STANF U ART INT

[7]

Manna Z, 1969, J COMPUT SYST SCI, V3, P119, DOI [10.1016/S0022-0000(69)80009-7, DOI 10.1016/S0022-0000(69)80009-7]

[8]

MCCARTHY J, 1963, 62 P IFIP C, P21

[9]

McCarthy J, 1963, COMPUTER PROGRAMMING, P33, DOI DOI 10.1016/S0049-237X(08)72018-4

[10]

MENDELSON E, 1964, INTRODUCTION MATHEMA