A DISTRIBUTED HOST-SATELLITE SYSTEM FOR LIST-PROCESSING PROGRAMS

被引：0

|

作者：

DAVIES, DJM

机构：

来源：

INFOR | 1980年 / 18卷 / 04期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：323 / 341

页数：19

相关论文

共 50 条

[1] DISTRIBUTED HOST-SATELLITE SYSTEM FOR LIST-PROCESSING PROGRAMS.
Davies, D.Julian M.
INFOR Journal, 1980, 18 (04): : 323 - 341
[2] LIST-PROCESSING AND SYMBOL MANIPULATION
WILKES, MV
COMMUNICATIONS OF THE ACM, 1964, 7 (07) : 399 - 399
[3] A SIMPLE LIST-PROCESSING INTERPRETER
FOSTER, DM
COMPUTER JOURNAL, 1965, 8 (02): : 120 - 129
[4] A NOTE ON LIST-PROCESSING IN BCL
HOUSDEN, RJW
COMPUTER JOURNAL, 1969, 12 (04): : 332 - &
[5] Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs
Alur, Rajeev
Cerny, Pavol
ACM SIGPLAN NOTICES, 2011, 46 (01) : 599 - 610
[6] Task assignment in host-satellite systems
Seo, KR
Park, KH
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1996, 6 (03) : 213 - 225
[7] Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs
Alur, Rajeev
Cerny, Pavol
POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 599 - 610
[8] ALP - AUTOCODE LIST-PROCESSING LANGUAGE
COOPER, DC
WHITFIELD, H
COMPUTER JOURNAL, 1962, 5 (01): : 28 - &
[9] A LIST-PROCESSING APPROACH TO QUANTUM-MECHANICS
DURASOVIC, M
GRUBACIC, S
STIPCEVIC, Z
JOURNAL OF MATHEMATICAL CHEMISTRY, 1991, 8 (1-3) : 137 - 150
[10] APPLICATION OF LIST-PROCESSING METHODS TO DESIGN OF INTERCONNECTIONS FOR FAST LOGIC SYSTEM
WISEMAN, NE
COMPUTER JOURNAL, 1964, 7 (04): : 321 - &

← 1 2 3 4 5 →