HIGHER-ORDER TRANSFORMATIONS AND TYPE SIMULATIONS

被引：0

作者：

HENSON, MC

机构：

来源：

关键词：

D O I：

10.1093/comjnl/31.6.517

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：517 / 524

页数：8

共 15 条

[1]

BURSTALL RM, 1977, J ACM, V24

[2]

DARLINGTON J, 1978, ACTA INFORM, V11, P1, DOI 10.1007/BF00264597

[3] SYSTEM WHICH AUTOMATICALLY IMPROVES PROGRAMS [J].

DARLINGTON, J ;

BURSTALL, RM .

[4]

HENDERSON P, 1980, FUNCTIONAL PROGRAMMI

[5]

HENSON MC, 104 U ESS DEP COMP S

[6]

HENSON MC, 1982, 9TH ACM S PRINC PRO

[7]

RAOULT JC, 1982, LECT NOTES COMPUT SC, V140, P429

[8]

RAOULT JC, 1983, P ACM S POPL, P148

[9]

Schmidt D.A., 1986, DENOTATIONAL SEMANTI

[10] DETECTING GLOBAL VARIABLES IN DENOTATIONAL SPECIFICATIONS [J].

SCHMIDT, DA .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (02) :299-310