ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS

被引：8
作者：
DEBAKKER, JW
MEYER, JJC
ZUCKER, JI
机构：
[1] FREE UNIV AMSTERDAM,DEPT MATH & COMP SCI,1081 HV AMSTERDAM,NETHERLANDS
[2] BAR ILAN UNIV,DEPT MATH & COMP SCI,RAMAT GAN,ISRAEL
来源：
THEORETICAL COMPUTER SCIENCE | 1983年 / 26卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(83)90079-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：53 / 82
页数：30
相关论文
共 17 条
[1]  
APT KR, 1981, LECTURE NOTES COMPUT, V115, P479
[2]   METRIC INTERPRETATIONS OF INFINITE-TREES AND SEMANTICS OF NON DETERMINISTIC RECURSIVE-PROGRAMS [J].
ARNOLD, A ;
NIVAT, M .
THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) :181-205
[3]  
BACK RJ, 1980, LECTURE NOTES COMPUT, V85, P51
[4]  
BOASSON L, 1980, J COMPUT SYSTEMS SCI, V20, P281
[5]  
DEBAKKER JW, 1980, MATH THEORY PROGRAM
[6]  
DEBAKKER JW, 1973, 1972 P S ORG IRIA RO, P167
[7]  
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[8]  
HAREL D, 1979, LECTURE NOTES COMPUT, V68
[9]  
HITCHCOCK P, 1973, 1ST P INT C AUT LANG, P225
[10]  
KUIPER R, 1981, IFIP TC2 MC S ALGORI, P373
12