HIGH-LEVEL PROGRAMMING FOR DISTRIBUTED COMPUTING

被引:77
作者
FELDMAN, JA
机构
[1] Department of Computer Science, Mathematical Sciences Building, University of Rochester, Rochester
关键词
assertions; distributed computing; messages; modules;
D O I
10.1145/359114.359127
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Programming for distributed and other loosely coupled systems is a problem of growing interest. This paper describes an approach to distributed computing at the level of general purpose programming languages. Based on primitive notions of module, message, and transaction key, the methodology is shown to be independent of particular languages and machines. It appears to be useful for programming a wide range of tasks. This is part of an ambitious program of development in advanced programming languages, and relations with other aspects of the project are also discussed. © 1979, ACM. All rights reserved.
引用
收藏
页码:353 / 368
页数:16
相关论文
共 46 条
  • [1] ASTRAHAN MM, 1976, RELATIONAL APPROACH
  • [2] BALL E, 1976, IEEE T SOFTW ENG, V2, P321
  • [3] BALL J, 1978, TR41 U ROCH COMP SCI
  • [4] Birtwistle G. M., 1973, SIMULA BEGIN
  • [5] BOBROW DG, 1974, COMPUT SURV, V6, P155
  • [6] COHEN D, 1976, ISIRR7539 U S CAL IN
  • [7] DEMERS AJ, 1978, 5TH ACM S PRINC PROG, P23
  • [8] NOTIONS OF CONSISTENCY AND PREDICATE LOCKS IN A DATABASE SYSTEM
    ESWARAN, KP
    GRAY, JN
    LORIE, RA
    TRAIGER, IL
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (11) : 624 - 633
  • [9] FELDMAN J, 1971, 2ND P INT JOINT C AR
  • [10] AN ALGOL-BASED ASSOCIATIVE LANGUAGE
    FELDMAN, JA
    ROVNER, PD
    [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (08) : 439 - &