default search action

combined dblp search
author search
venue search
publication search

ask others

SIGPLAN/SIGOPS Interface Meeting 1973: USA

> Home > Conferences and Workshops > SIGPLAN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/1973sigops
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/1973sigops
Robert M. Graham, Michael D. Schroeder:
Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages - Operating Systems, USA, 1973. ACM 1973, ISBN 978-1-4503-7379-1
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Dennis73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Dennis73
Jack B. Dennis:
Report of session on semantics. 2-4
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/FreiburghouseL73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/FreiburghouseL73
Robert A. Freiburghouse, Barbara Liskov:
Report of session on structured programming. 5-10
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Weller73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Weller73
Maria F. Weller:
Report of session on transferability. 11-16
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/DennisS73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/DennisS73
Jack B. Dennis, Michael D. Schroeder:
Report of session on concurrency. 17-21
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/FreiburghouseG73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/FreiburghouseG73
Robert A. Freiburghouse, Robert M. Graham:
Report of session on systems programming languages. 22-26
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Neumann73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Neumann73
Peter G. Neumann:
Report of evening session protection. 27
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Levitt73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Levitt73
Karl N. Levitt:
Report of evening session on hierarchical methods. 28-29
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Abrahams73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Abrahams73
Paul W. Abrahams:
A compiler writer's wishbook for operating systems. 30-33
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Austin73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Austin73
Joseph H. Austin Jr.:
Specification languages for control programs. 34-37
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/BallardT73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/BallardT73
Alan Ballard, Dennis Tsichritzis:
System correctness. 38-41
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/BelpaireW73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/BelpaireW73
Gérald Belpaire, Jean Pierre Wilmotte:
Semantic aspects of concurrent processes. 42-45
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Berry73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Berry73
Daniel M. Berry:
Towards ISMs for OPSs. 46-49
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Bochmann73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Bochmann73
Gregor v. Bochmann:
Hierarchical language definition. 50-51
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/ClarkH73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/ClarkH73
B. L. Clark, James J. Horning:
Reflections on a language designed to write an operating system. 52-56
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Denil73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Denil73
Norbert J. Denil:
Software design with invocation diagram. 57-59
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/X73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/X73
A systems implementation language for small computers. 60-63
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/X73a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/X73a
Integrated design. 64-66
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/X73b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/X73b
A model of a modular interactive system. 67-69
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Herriot73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Herriot73
Robert G. Herriot:
GLOSS: A semantic model of programming languages. 70-73
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/HoltG73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/HoltG73
Richard C. Holt, Marc S. Grushcow:
A short discussion of interprocess communication in the sue/360/370 operating system. 74-78
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/IchbiahRH73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/IchbiahRH73
Jean Ichbiah, J. P. Rissen, Jean-Claude Heliard:
The two-level approach to data definition and space management in the LIS system implementation language. 79-81
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Jensen73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Jensen73
Peter Jensen:
The grok project data structures and process communication. 82-85
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/King73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/King73
James C. King:
Abstract machines and software design. 86-88
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Kosinski73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Kosinski73
Paul R. Kosinski:
A data flow language for operating systems programming. 89-94
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Lecarme73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Lecarme73
Olivier Lecarme:
An experience in structured programming and transferability. 95-96
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Linden73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Linden73
Theodore A. Linden:
Proving the adequacy of protection in an operating system. 97-99
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/LiskovS73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/LiskovS73
Barbara H. Liskov, Leroy A. Smith:
SPIL: A language for construction of reliable system software. 100-103
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/MacLaren73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/MacLaren73
M. Donald MacLaren:
Tasking in standard PL/I. 104-108
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/McKeag73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/McKeag73
R. M. McKeag:
Programming languages for operating systems. 109-111
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/MertenS73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/MertenS73
Alan G. Merten, Edgar H. Sibley:
Transferability and translation of data. 112-114
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Miller73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Miller73
James S. Miller:
A programming language family for the navy AADC. 115-116
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Mills073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Mills073
Harlan D. Mills, Max L. Wilson:
A Kernel System for information system development, evolution, and operation. 117-119
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Morris73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Morris73
James B. Morris:
Programming by semantic refinement. 120-122
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Neuhold73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Neuhold73
Erich J. Neuhold:
Towards the formal description of operating systems. 123-126
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/NoonanBHLMTZ73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/NoonanBHLMTZ73
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. 127-128
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Prenner73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Prenner73
Charles J. Prenner:
Extensible control structures. 129-132
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Riddle73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Riddle73
William E. Riddle:
A method for the description and analysis of complex software systems. 133-136
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Udin73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Udin73
David Udin:
SPECL: A system programming dialect of ECL. 137-139
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Wiederhold73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Wiederhold73
Gio Wiederhold:
The need and techniques to obliterate control languages. 140-141
- view
  authority control:
- export record
  dblp key:
  - conf/sigplan/Zilles73
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigplan/Zilles73
Stephen N. Zilles:
Procedural encapsulation: A linguistic protection technique. 142-146

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.