SIGPLAN-SIGOPS Interface Meeting

Keyphrases

Publications

1973

M. Donald MacLaren
Tasking in standard PL/I. SIGPLAN-SIGOPS Interface Meeting (1973)
Stephen N. Zilles
Procedural encapsulation: A linguistic protection technique. SIGPLAN-SIGOPS Interface Meeting (1973)
Jack Dennis, Michael D. Schroeder
Report of session on concurrency. SIGPLAN-SIGOPS Interface Meeting (1973)
Peter G. Neumann
Report of evening session protection. SIGPLAN-SIGOPS Interface Meeting (1973)
Jean Ichbiah, J. P. Rissen, Jean-Claude Heliard
The two-level approach to data definition and space management in the LIS system implementation language. SIGPLAN-SIGOPS Interface Meeting (1973)
Erich J. Neuhold
Towards the formal description of operating systems. SIGPLAN-SIGOPS Interface Meeting (1973)
James S. Miller
A programming language family for the navy AADC. SIGPLAN-SIGOPS Interface Meeting (1973)
Peter Jensen
The grok project data structures and process communication. SIGPLAN-SIGOPS Interface Meeting (1973)
Gregor v. Bochmann
Hierarchical language definition. SIGPLAN-SIGOPS Interface Meeting (1973)
B. L. Clark, James J. Horning
Reflections on a language designed to write an operating system. SIGPLAN-SIGOPS Interface Meeting (1973)
Gio Wiederhold
The need and techniques to obliterate control languages. SIGPLAN-SIGOPS Interface Meeting (1973)
William E. Riddle
A method for the description and analysis of complex software systems. SIGPLAN-SIGOPS Interface Meeting (1973)
Integrated design. SIGPLAN-SIGOPS Interface Meeting (1973)
Joseph H. Austin Jr.
Specification languages for control programs. SIGPLAN-SIGOPS Interface Meeting (1973)
Paul W. Abrahams
A compiler writer's wishbook for operating systems. SIGPLAN-SIGOPS Interface Meeting (1973)
A systems implementation language for small computers. SIGPLAN-SIGOPS Interface Meeting (1973)
Charles J. Prenner
Extensible control structures. SIGPLAN-SIGOPS Interface Meeting (1973)
Maria F. Weller
Report of session on transferability. SIGPLAN-SIGOPS Interface Meeting (1973)
Olivier Lecarme
An experience in structured programming and transferability. SIGPLAN-SIGOPS Interface Meeting (1973)
Robert A. Freiburghouse, Robert M. Graham
Report of session on systems programming languages. SIGPLAN-SIGOPS Interface Meeting (1973)
Jack B. Dennis
Report of session on semantics. SIGPLAN-SIGOPS Interface Meeting (1973)
Richard C. Holt, Marc S. Grushcow
A short discussion of interprocess communication in the sue/360/370 operating system. SIGPLAN-SIGOPS Interface Meeting (1973)
Theodore A. Linden
Proving the adequacy of protection in an operating system. SIGPLAN-SIGOPS Interface Meeting (1973)
Robert E. Noonan, Victor R. Basili, Richard G. Hamlet, M. Lay, Harlan D. Mills, Albert J. Turner, Marvin V. Zelkowitz
A SIMPL distributed operating system and its formal definition. SIGPLAN-SIGOPS Interface Meeting (1973)
Norbert J. Denil
Software design with invocation diagram. SIGPLAN-SIGOPS Interface Meeting (1973)
Daniel M. Berry
Towards ISMs for OPSs. SIGPLAN-SIGOPS Interface Meeting (1973)
A model of a modular interactive system. SIGPLAN-SIGOPS Interface Meeting (1973)
Karl N. Levitt
Report of evening session on hierarchical methods. SIGPLAN-SIGOPS Interface Meeting (1973)
Robert A. Freiburghouse, Barbara Liskov
Report of session on structured programming. SIGPLAN-SIGOPS Interface Meeting (1973)
Alan Ballard, Dennis Tsichritzis
System correctness. SIGPLAN-SIGOPS Interface Meeting (1973)
Alan G. Merten, Edgar H. Sibley
Transferability and translation of data. SIGPLAN-SIGOPS Interface Meeting (1973)
Gérald Belpaire, Jean Pierre Wilmotte
Semantic aspects of concurrent processes. SIGPLAN-SIGOPS Interface Meeting (1973)
Paul R. Kosinski
A data flow language for operating systems programming. SIGPLAN-SIGOPS Interface Meeting (1973)
R. M. McKeag
Programming languages for operating systems. SIGPLAN-SIGOPS Interface Meeting (1973)
Harlan D. Mills, Max L. Wilson
A Kernel System for information system development, evolution, and operation. SIGPLAN-SIGOPS Interface Meeting (1973)
Robert G. Herriot
GLOSS: A semantic model of programming languages. SIGPLAN-SIGOPS Interface Meeting (1973)
David Udin
SPECL: A system programming dialect of ECL. SIGPLAN-SIGOPS Interface Meeting (1973)
James B. Morris
Programming by semantic refinement. SIGPLAN-SIGOPS Interface Meeting (1973)
Barbara H. Liskov, Leroy A. Smith
SPIL: A language for construction of reliable system software. SIGPLAN-SIGOPS Interface Meeting (1973)
J. C. King
Abstract machines and software design. SIGPLAN-SIGOPS Interface Meeting (1973)