GENERALIZED RECURSIVE DATA-STRUCTURES

被引：0

作者：

BURTON, W

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：95 / 108

页数：14

共 50 条

[1] RECURSIVE DATA-STRUCTURES IN APL
GULL, WE
JENKINS, MA
COMMUNICATIONS OF THE ACM, 1979, 22 (02) : 79 - 96
[2] ALGEBRAS WITH APPROXIMATION AND RECURSIVE DATA-STRUCTURES
LETICHEVSKII, AA
CYBERNETICS, 1987, 23 (05): : 608 - 614
[3] PARALLELIZING PROGRAMS WITH RECURSIVE DATA-STRUCTURES
HENDREN, LJ
NICOLAU, A
PROCEEDINGS OF THE 1989 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, VOL 2: SOFTWARE, 1989, : 49 - 56
[4] ALGEBRAS WITH APPROXIMATION AND RECURSIVE DATA-STRUCTURES
LETICHEVSKY, AA
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 284 - 287
[5] RECURSIVE DOMAIN EQUATIONS FOR CONCRETE DATA-STRUCTURES
DROSTE, M
INFORMATION AND COMPUTATION, 1989, 82 (01) : 65 - 80
[6] TM - A CODE GENERATOR FOR RECURSIVE DATA-STRUCTURES
VANREEUWIJK, C
SOFTWARE-PRACTICE & EXPERIENCE, 1992, 22 (10): : 899 - 908
[7] Recursive Proofs for Inductive Tree Data-Structures
Madhusudan, P.
Qiu, Xiaokang
Stefanescu, Andrei
ACM SIGPLAN NOTICES, 2012, 47 (01) : 123 - 135
[8] CONTAINMENT DEFINES A CLASS OF RECURSIVE DATA-STRUCTURES
FRANCIS, RS
SIGPLAN NOTICES, 1983, 18 (04): : 58 - 64
[9] Recursive Proofs for Inductive Tree Data-Structures
Madhusudan, R.
Qiu, Xiaokang
Stefanescu, Andrei
POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 123 - 135
[10] DATA-STRUCTURES
GILES, D
COMPUTER JOURNAL, 1991, 34 (05): : 385 - 385