Abstract is missing.
- Report of session on semanticsJack B. Dennis. 2-4 [doi]
- Report of session on structured programmingRobert A. Freiburghouse, Barbara Liskov. 5-10 [doi]
- Report of session on transferabilityMaria F. Weller. 11-16 [doi]
- Report of session on concurrencyJack Dennis, Michael D. Schroeder. 17-21 [doi]
- Report of session on systems programming languagesRobert A. Freiburghouse, Robert M. Graham. 22-26 [doi]
- Report of evening session protectionPeter G. Neumann. 27 [doi]
- Report of evening session on hierarchical methodsKarl N. Levitt. 28-29 [doi]
- A compiler writer's wishbook for operating systemsPaul W. Abrahams. 30-33 [doi]
- Specification languages for control programsJoseph H. Austin Jr.. 34-37 [doi]
- System correctnessAlan Ballard, Dennis Tsichritzis. 38-41 [doi]
- Semantic aspects of concurrent processesGĂ©rald Belpaire, Jean Pierre Wilmotte. 42-45 [doi]
- Towards ISMs for OPSsDaniel M. Berry. 46-49 [doi]
- Hierarchical language definitionGregor V. Bochmann. 50-51 [doi]
- Reflections on a language designed to write an operating systemB. L. Clark, James J. Horning. 52-56 [doi]
- Software design with invocation diagramNorbert J. Denil. 57-59 [doi]
- A systems implementation language for small computers60-63 [doi]
- Integrated design64-66 [doi]
- A model of a modular interactive system67-69 [doi]
- GLOSS: A semantic model of programming languagesRobert G. Herriot. 70-73 [doi]
- A short discussion of interprocess communication in the sue/360/370 operating systemRichard C. Holt, Marc S. Grushcow. 74-78 [doi]
- The two-level approach to data definition and space management in the LIS system implementation languageJean Ichbiah, J. P. Rissen, Jean-Claude Heliard. 79-81 [doi]
- The grok project data structures and process communicationPeter Jensen. 82-85 [doi]
- Abstract machines and software designJ. C. King. 86-88 [doi]
- A data flow language for operating systems programmingPaul R. Kosinski. 89-94 [doi]
- An experience in structured programming and transferabilityOlivier Lecarme. 95-96 [doi]
- Proving the adequacy of protection in an operating systemTheodore A. Linden. 97-99 [doi]
- SPIL: A language for construction of reliable system softwareBarbara H. Liskov, Leroy A. Smith. 100-103 [doi]
- Tasking in standard PL/IM. Donald MacLaren. 104-108 [doi]
- Programming languages for operating systemsR. M. McKeag. 109-111 [doi]
- Transferability and translation of dataAlan G. Merten, Edgar H. Sibley. 112-114 [doi]
- A programming language family for the navy AADCJames S. Miller. 115-116 [doi]
- A Kernel System for information system development, evolution, and operationHarlan D. Mills, Max L. Wilson 0002. 117-119 [doi]
- Programming by semantic refinementJames B. Morris. 120-122 [doi]
- Towards the formal description of operating systemsErich J. Neuhold. 123-126 [doi]
- A SIMPL distributed operating system and its formal definitionRobert E. Noonan, Victor R. Basili, Richard G. Hamlet, M. Lay, Harlan D. Mills, Albert J. Turner, Marvin V. Zelkowitz. 127-128 [doi]
- Extensible control structuresCharles J. Prenner. 129-132 [doi]
- A method for the description and analysis of complex software systemsWilliam E. Riddle. 133-136 [doi]
- SPECL: A system programming dialect of ECLDavid Udin. 137-139 [doi]
- The need and techniques to obliterate control languagesGio Wiederhold. 140-141 [doi]
- Procedural encapsulation: A linguistic protection techniqueStephen N. Zilles. 142-146 [doi]