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 41 of 41 records

view refined list in

export refined list as

showing all 41 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- 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
no results

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.