Programming semantics for multiprogrammed computations
Communications of the ACM · 1966 · 552 citations · 7 references
EngineeringComputer ArchitectureSoftware EngineeringMultiprogrammed ComputationsProgram DebuggingSoftware AnalysisFormal VerificationOperational SemanticsParallel ComputingHigh-level Programming LanguageSeparate ComputationsProgramming Language TheoryProgramming Language ImplementationMetaprogrammingComputer ScienceAdvanced Algebraic LanguageSoftware DesignProgramming Language DesignDeclarative ProgrammingAutomated ReasoningProgram AnalysisFormal MethodsParallel ProgrammingParallel Programming ModelSystem Software
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.
7
A multiprocessor system design
Melvin E. Conway · 1963
176 citations
Segmentation and the Design of Multiprogrammed Computer Systems
Jack B. Dennis · Journal of the ACM · 1965
152 citations
The MAC system: the computer utility approach
Robert M. Fano · IEEE Spectrum · 1965
53 citations
System design of a computer for time sharing applications
Edward L. Glaser, J. F. Couleur, Gavin Oliver · 1965
51 citations
A Dynamic Storage Allocation Scheme
Jill Iliffe, Jane G. Jodeit · The Computer Journal · 1962
44 citations