.SZ 10 13
.SP
.po 1.5i
.ll 5.5i
.sv 1i
.ce 2
\fBReport on the SR Programming Language\fR
\fBVersion 1.1\fR
.sp 2
.ce 2
\fIGregory R. Andrews
Ronald A. Olsson\fR
.sp 4
.ce
TR 89-6
.sp 6
.ce
\fIABSTRACT\fR
.sp
.lp
.(f
This work was supported by NSF under Grants CDA-8320138,
DCR-8402090, CCR-8701516, and CCR-8810617
and by the Air Force Office of Scientific Research
under Grant AFOSR-84-0072.
The U.S. Government is authorized to reproduce and distribute
reprints for Governmental purposes notwithstanding any copyright
notices thereon.
.)f
.(f
Olsson's present address is Division of Computer Science,
The University of California at Davis, Davis, CA  95616.
.)f
This report defines and serves as the reference manual for
version 1.1 of the SR programming language.
SR is used to write distributed programs that execute
on one or more machines.
The distinguishing attribute of SR is that all the common
mechanisms for process interaction\(emlocal and remote procedure
call, rendezvous, dynamic process creation, asynchronous message passing,
and semaphores\(emare supported by a novel
integration of the mechanisms for invoking and servicing operations.
SR supports the construction of abstract types, called
resources, and contains many other mechanisms
to support the writing of programs ranging from standard
sequential algorithms to distributed operating systems.
Examples are given to illustrate the various language features.
.sp 2
.(l C
May 1989

Department of Computer Science
The University of Arizona
Tucson, Arizona  85721
.)l
