EFFICIENT IMPLEMENTATION OF LATTICE OPERATIONS

被引:88
作者
AITKACI, H
BOYER, R
LINCOLN, P
NASR, R
机构
[1] MCC,ACA PROGRAM,3500 W BALCONES CTR DR,AUSTIN,TX 78759
[2] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305
[3] UNIV TEXAS,DEPT COMP SCI,AUSTIN,TX 78712
来源
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1989年 / 11卷 / 01期
关键词
D O I
10.1145/59287.59293
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:115 / 146
页数:32
相关论文
共 20 条
[1]  
Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st
[2]   LOGIN - A LOGIC PROGRAMMING LANGUAGE WITH BUILT-IN INHERITANCE [J].
AITKACI, H ;
NASR, R .
JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03) :185-215
[3]  
AITKACI H, 1986, THEOR COMPUT SCI, V45, P185
[4]  
AITKACI H, 1984, THESIS U PENNSYLVANI
[5]  
AITKACI H, 1988, ACAST07488 MICR COMP
[6]  
AITKACI H, 1987, AI10287 MICR COMP TE
[7]  
ALBANO A, 1988, DATA TYPES PERSISTEN, P101
[8]  
[Anonymous], 14TH P ACM S PRINC P
[9]  
BIRKHOFF G, 1979, C PUBLICATIONS, V25
[10]  
BOBROW DG, 1986, SIGPLAN NOTICES, V21, P17, DOI 10.1145/960112.28700