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, protecting 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]  W. A. Hosier Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming , 1961, IRE Transactions on Engineering Management.

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

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

[4]  J. M. Bocheński,et al.  A history of formal logic , 1961 .

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

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

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

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

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

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

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

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

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

[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]  R. M. Fano,et al.  The MAC system: the computer utility approach , 1965, IEEE Spectrum.

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