Programming semantics for multiprogrammed computations

The semantics are defined for a number of meta-instructions which perform operations essential to the writing of programs in multiprogrammed computer systems. These meta-instructions relate to parallel processing, protection of separate computations, program debugging, and the sharing among users of memory segments and other computing objects, the names of which are hierarchically structured. The language sophistication contemplated is midway between an assembly language and an advanced algebraic language.

[1]  F. J. Corbató,et al.  The Compatible Time-Sharing System: A Programmer's Guide , 1963 .

[2]  Martin N. Greenfield.  Fact segmentation , 1962, AIEE-IRE '62 (Spring).

[3]  W. A. Hosier.  Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming , 1961, IRE Transactions on Engineering Management.

[4]  Anatol W. Holt,et al.  Program organization and record keeping for dynamic storage allocation , 1961, IFIP Congress.

[5]  J. K. Iliffe,et al.  A Dynamic Storage Allocation Scheme , 1962, Comput. J..

[6]  R. M. Fano,et al.  The MAC system: the computer utility approach , 1965, IEEE Spectrum.

[7]  James D. McCullough,et al.  A design for a multiple user multiprocessing system , 1965, AFIPS '65 (Fall, part I).

[8]  John McCarthy,et al.  Programming languages , 1963, CACM.

[9]  Jack B. Dennis,et al.  Segmentation and the Design of Multiprogrammed Computer Systems , 1965, JACM.

[10]  J. E. Hamlin.  A general description of the national aeronautics and space administration real time computing complex , 1964 .

[11]  James W. Forgie.  A time- and memory-sharing executive program for quick-response on-line applications , 1965 .

[12]  Webb T. Comfort.  A computing system design for user service , 1965, AFIPS '65 (Fall, part I).

[13]  Melvin E. Conway,et al.  A multiprocessor system design , 1899, AFIPS '63 (Fall).

[14]  P. G. Neumann,et al.  A general-purpose file system for secondary storage , 1965, Published in AFIPS '65 (Fall, part I).

[15]  J. B. Dennis.  PROGRAM STRUCTURE IN A MULTI-ACCESS COMPUTER , 1964 .

[16]  William Herbert Desmonde,et al.  Real-time data processing systems : introductory concepts , 1964 .

[17]  E. L. Glaser,et al.  System design of a computer for time sharing applications , 1965, AFIPS '65 (Fall, part I).

[18]  P. A. Crisman,et al.  The compatible time-sharing system : a programmer's guide , 1965 .