LUCID, A NON-PROCEDURAL LANGUAGE WITH ITERATION

被引:77
作者
ASHCROFT, EA
WADGE, WW
机构
[1] UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA
[2] UNIV WARWICK,DEPT COMP SCI,COVENTRY CV4 7AL,WARWICKSHIRE,ENGLAND
关键词
D O I
10.1145/359636.359715
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:519 / 526
页数:8
相关论文
共 5 条
[1]  
Ashcroft E. A., 1976, SIAM Journal on Computing, V5, P336, DOI 10.1137/0205029
[2]  
ASHCROFT EA, CS7622 U WAT COMP SC
[3]  
BURSTALL R, INFORMATION PROCESSI, P308
[4]   AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].
HOARE, CAR .
COMMUNICATIONS OF THE ACM, 1969, 12 (10) :576-&
[5]  
KAHN G, 1973, IRIA6 RES REP