perm filename BIB.PUB[BIB,CSR]19 blob sn#499937 filedate 1980-04-17 generic text, type C, neo UTF8
C00001 00001
C00002 00002	.require "setup.bib[bib,csr]" source file
C00008 00003	REPORTS 1 THRU 99
C00037 00004	REPORTS 100 THRU 199
C00066 00005	REPORTS 200 THRU 299
C00095 00006	REPORTS 300 THRU 399
C00125 00007	REPORTS 400 THRU 499
C00154 00008	REPORTS 500 THRU 599
C00184 00009	REPORTS 600 THRU 699
C00213 00010	REPORTS 700 THRU 799
C00239 ENDMK
.require "setup.bib[bib,csr]" source file;
.once center

The following is a key to reading the different report numbers.

STAN-CS-: This is the number given to the report by the Department of
Computer  Science.   It  is  this number  that  should  be  used when
ordering a report from us.

AIM-:  This   is  a  "group"   number.   It  stands   for  Artificial
Intelligence Memo.

HPP-: This is a "group" number.  It stands for  Heuristic Programming

SU326: This is a DOE  sponsored report, and this is their  number for

SLAC-:  This report  may  also be  ordered from  the  Stanford Linear
Accelerator Center using this number.

LBL-:  This report  may also  be ordered  from the  Lawrence Berkeley
Laboratory using this number.

CSL-:  This report  may  also be  ordered from  the  Computer Science
Laboratory (Department of Electrical Engineering) using this number.

PB:  This  report  may   be  ordered  from  the   National  Technical
Information Service using this number.

AD:  This  report  may   be  ordered  from  the   National  Technical
Information Service using this number.

AD-A:  This  report  may  be  ordered  from  the  National  Technical
Information Service using this number.

For example:  If a report was numbered
.once center
STAN-CS-77-611 (AIM-298, AD-A046 703)

it means that you could order the report from the Stanford Department
of Computer  Science by  the number  STAN-CS-77-611.  You  could also
order it from  the Artificial Intelligence  Group by the  number AIM-
298.  And if neither place had copies left available, you could write
to the National  Technical Information Service  and ask for  the same
report by specifying number AD-A046 703.

For people with access to the  ARPA Network, the texts of some  A. I.
Memos are stored online in  the Stanford A. I. Laboratory  disk file.
These are designated below  by "Diskfile:  <file name>"  appearing in
the header.

To order reports from the Stanford Department of Computer Science (or
the Artificial Intelligence Group), use the following address:
.begin nofill
Publications Coordinator
Department of Computer Science
Stanford University
Stanford, California 943O5 USA

To order reports from the National Technical Information Service, use
the following address:
.begin nofill
U.S. Department of Commerce
National Technicl Information
5285 Port Royal Road
Springfield, Virginia 22161 USA

Memos  that are  also Ph.D.  theses are  so marked  below and  may be
ordered from:
.begin nofill
University Microfilm
P. O. Box 1346
Ann Arbor, Michigan 48106
.next page
.once center

STAN-CS-63-1 (AD462108), J.  B. Rosen, "Primal  Partition Programming
for Block Diagonal Matrices", 23 pages, November 1963.

STAN-CS-63-2  (AD427753), J.  M.  Pavkovich, "The  Soultion  of Large
Systems of Algebraic Equations", 46 pages, December 1963.

STAN-CS-64-3  (AD430445),  G.  E.  Forsythe  (translated   by),  "The
Theorems in a Paper by V.  K. Saulev 'On an Estimate of the  Error in
Obtaining   Characteristic  Functions   by  the   Method   of  Finite
Differences' ", 6 pages, January 1964.

STAN-CS-64-4 (AD434858), Stefan Bergman and J. G. Herriot, "Numerical
Solution  of  Boundary  Value  Problems  by  the  Method  of Integral
Operators", 24 pages, February 1964.

STAN-CS-64-5 (N-6519765), J.  B. Rosen, "Existence and  Uniqueness of
Equilibrium Points for Concave N-Person Games", 28 pages, March 1964.

STAN-CS-64-6 (AD600164),  R. W. Hockney,  "A Fast Direct  Solution of
Poisson's Fourier Analysis", 28 pages, April 1964.

STAN-CS-64-7  (PB176753),  J. B.  Rosen,  "Sufficient  Conditions for
Optimal Control of Convex Processes", 29 pages, May 1964.

STAN-CS-64-8  (AD603116), G.  Golub  and W.  Kahan,  "Calculating the
Singular Values and Pseudo-Inverse of a Matrix", 33 pages, May 1964.

STAN-CS-64-9  (AD604012), Charles  Anderson, "The  QD-Algorithm  as a
Method for Finding the Roots of a Polynomial Equation When  All Roots
are Positive", 74 pages, June 1964.

STAN-CS-64-10 (AD603163), R.  L. Causey (Thesis), "On  Closest Normal
Matrices", 131 pages, June 1964.

STAN-CS-64-11  (PB176754), T.  Nakamura  and J.  B.  Rosen, "Elastic-
Plastic Analysis  of Trusses by  the Gradient Projection  Method", 32
pages, July 1964.

STAN-CS-64-12  (AD608292),  G.  Golub  and  P.  Businger,  "Numerical
Methods  for Solving  Linear Least  Squares Problems  (and)  an Algol
Procedure  for Finding  Linear  Least Squares  Solutions",  27 pages,
August 1964.

STAN-CS-64-13 (N65-27058), V.  Pereyra and J. B.  Rosen, "Computation
of  the Pseudo-  inverse  of a  Matrix  of Unknown  Rank",  28 pages,
September 1964.

STAN-CS-64-14 (TT-65-61724), V. A. Efimenko (translated by  G. Reiter
and C.  Moler), "On Approximate  Calculations of the  Eigenvalues and
Eigenfunctions  of Boundary  Value Problems  in  Partial Differential
Equations", 20 pages, November 1964.

STAN-CS-65-15 (AD611366), D. W. Grace (Thesis), "Computer  Search for
Non-Isomorphic Convex Polyhedra", 137 pages, January 1965.

STAN-CS-65-16 (AD611427), G. E. Forsythe and G. H. Golub, "Maximizing
a Second Degree  Polynomial on the  Unit Sphere", 31  pages, February

STAN-CS-65-17  (AD611434), G.  E. Forsythe  and N.  Wirth, "Automatic
Grading Programs", 17 pages, February 1965.

STAN-CS-65-18  (AD612478),  V.  Pereyra,  "The  Difference Correction
Method for Non-  Linear Two-Point Boundary Value  Problems", February

STAN-CS-65-19 (TT-65-61839),  M. I. Ageev  and J.  Maclaren, "English
Equivalents of Metalinguistic Terms of Russian ALGOL", March 1965.

STAN-CS-65-20  (PB176755),  N.   Wirth  and  H.  Weber,   "EULER:   A
Generalition of  ALGOL and its  Formal Definition", 115  pages, April

STAN-CS-65-21 (PB176756), D. D. Fisher, J. von der Groeben and  J. G.
Toole,  "Vectorgardiographic Analysis  by Digital  Computer, Selected
Results", 104 pages, May 1965.

STAN-CS-65-22 (AD616676),  C. B.  Moler (Thesis),  "Finite Difference
Methods for  the Eigenbales  of Laplace's  Operator", 142  pages, May

STAN-CS-65-23 (AD618214),  B. D.  Rudin (Thesis),  "Convex Polynomial
Approximation", 44 pages, June 1965.

STAN-CS-65-24 (AD616611), V. V. Klyuyev and N. I.  Kokovkin Shoherbak
(translated by  G. J.  Tee), "On  the Minimization  of the  Number of
Arithmetic Operations for the Solution of Linear Algebraic Systems of
Equations", 24 pages, June 1965.

STAN-CS-65-25   (AD618215),   P.   G.   Hodge,    "Yield-Point   Load
Determination by Nonlinear Programming", 24 pages, June 1965.

STAN-CS-65-26 (not at  NTIS), G. E. Forsythe,  "Stanford University's
Program in Computer Science", 15 pages, June 1965.

STAN-CS-65-27 (AD618216),  E. A. Volkov  (translated by  R. Bartels),
"An Analysis of One  Algorithm of Heightened Precision of  the Method
of Nets for the Solution of Poisson's Equation", 29 pages, July 1965.

STAN-CS-65-28 (AD618217), J.  Miller and G. Strang,  "Matrix Theorems
for  Partial Differential  an Difference  Equations", 33  pages, July

STAN-CS-65-29 (AD624837),  V. Pereyra,  "On Improving  an Approximate
Solution of a Functional Equation by Deferred Corrections", 32 pages,
August 1965.

STAN-CS-65-30 (SS624-829), S. Marchuk (translated by G. J. Tee), "The
Automatic  Construction  of  Computational  Algorithms",   56  pages,
September 1965.

STAN-CS-65-31 (SS626-315),  P. A. Raviart,  "On the  Approximation of
Weak Solutions of Linear Parabolic Equations by a Class of Multi-step
Difference Methods", 55 pages, December 1965.

STAN-CS-65-32  (SS633-557),  R. W.  Hockney,  "Minimum Multiplication
Fourier Analysis", 53 pages, December 1965.

STAN-CS-65-33 (PB176763), N.  Wirth, "A Programming Language  for the
360 Computers", 23 pages, December 1965.

STAN-CS-66-34  (SS630-998),  J.  M. Varah,  "Eigenvectors  of  a Real
Matrix by Inverse Iteration", 24 pages, February 1966.

STAN-CS-66-35 (PB176758), N. Wirth  and C. Hoare, "A  Contribution to
the Development of ALGOL", 64 pages, February 1966.

STAN-CS-66-36 (PB176759), J. F.  Traub, "The Calculation of  Zeros of
Polyynomials and Analytic Functions", 26 pages, April 1966.

STAN-CS-66-37  (PB176789),  J. D.  Reynolds,  "Cogent  1.2 Operations
Manual", 33 pages, April 1966.

STAN-CS-66-38  (AIM-40,  AD662880),  J.  McCarthy  and   J.  Painter,
"Correctness  of a  Compiler for  Arithmetic Expressions",  13 pages,
April 1966.

STAN-CS-66-39 (PB176760), G. E. Forsythe, "A University's Educational
Program in Computer Science", 26 pages, May 1966.

STAN-CS-66-40  (AD639052),  G.  E.  Forsythe,  "How  Do  You  Solve a
Quadratic Equation?", 19 pages, June 1966.

STAN-CS-66-41  (SS638-976),  W.  Kahan,  "Accurate  Eigenvalues  of a
Symmetric Tri-Diagonal Matrix", 53 pages, July 1966.

STAN-CS-66-42 (SS638-797),  W. Kahan,  "When to  Neglect Off-Diagonal
Elements of Symmetric Tri-Diagonal Matrices", 10 pages, July 1966.

STAN-CS-66-43  (SS638-798),  W.  Kahan  and  J.  Varah,  "Two Working
Algorithms for the  Eigenvalues of a Symmetric  Tri-Diagonal Matrix",
28 pages, August 1966.

STAN-CS-66-44  (SS638-818),  W.  Kahan,  "Relaxation  Methods  for an
Eigenvalue Problem", 35 pages, August 1966.

STAN-CS-66-45 (SS638-799),  W. Kahan,  "Relaxation Methods  for Semi-
Definite Systems", 31 pages, August 1966.

STAN-CS-66-46  (SS638-809),  G. E.  Forsythe,  "Today's Computational
Methods of Linear Algebra", 47 pages, August 1966.

STAN-CS-66-47 (PB173335),  P. Abrams,  "An Interpreter  for 'Inverson
Notation' ", 61 pages, August 1966.

STAN-CS-66-48 (SS639-166), W.  M. McKeeman (Thesis), "An  Approach to
Computer Language Design", 124 pages, August 1966.

STAN-CS-66-49 (AIM-43, SS640-836), D. R. Reddy (Thesis), "An Approach
to Computer  Speech Recognition by  Direct Analysis of  Speech Wave",
143 pages, September 1966.

STAN-CS-66-50 (AIM-46, PB176761), S. Persson (Thesis), "Some Sequence
Extrapulating Programs:  A  Study of Representation and  Modelling in
Inquiring Systems", 176 pages, September 1966.

STAN-CS-66-51 (AD648394), S. Bergman, J. G. Herriot and T.  G. Kurtz,
"Numerical Calculation of Transonic Flow Patterns", 35 pages, October

STAN-CS-66-52 (PB176762), A. C.  Shaw, "Lecture Notes on a  Course in
Systems Programming", 216 pages, December 1966.

STAN-CS-66-53 (PB176757), N.  Wirth, "A Programming Language  for the
360 Computers", 81 pages, December 1966.

STAN-CS-67-54  (AD662882),   G.  Golub  and   T.  N.   Robertson,  "A
Generalized Bairstow Algorithm", 10 pages, January 1967.

STAN-CS-67-55  (AD647200), D.  A.  Adams, "A  Stopping  Criterion for
Polynomial Root Finding", 11 pages, February 1967.

STAN-CS-67-56 (PB176764), F. L. Bauer, "QD-Method with Newton Shift",
6 pages, March 1967.

STAN-CS-67-57 (PB176765), D.  Gries, "The Use of  Transition Matrices
in Compiling", 60 pages, March 1967.

STAN-CS-67-58 (PB176766), V. Tixier (Thesis), "Recursive Functions of
Regular Expressions in Language Analysis", 146 pages, March 1967.

STAN-CS-67-59 (SS650-116), J. H. Wilkinson, "Almost Diagonal Matrices
with Multiple or Close Eigenvalues", 18 pages, April 1967.

STAN-CS-67-60 (SS650-117), J. H. Wilkinson, "Two Algorithms  Based on
Successive Linear Interpolation", 13 pages, April 1967.

STAN-CS-67-61  (SS650-610),  G.  E.  Forsythe,  "On   the  Asymptotic
Directions of the  S-Dimensional Optimum Gradient Method",  43 pages,
April 1967.

STAN-CS-67-62 (SS650-620), M. Tienari, "Varying Length Floating Point
Arithmetic:  A Necessary Tool  for the Numerical Analyst",  38 pages,
April 1967.

STAN-CS-67-63   (SS650-627),   G.   Polya,   "Graeffe's   Method  for
Eigenvalues", 9 pages, April 1967.

STAN-CS-67-64   (SS651-201),  P.   Richman,   "Floating-Point  Number
Representations:  Base Choice Versus Exponent Range", 32 pages, April

STAN-CS-67-65  (PB176767), N.  Wirth, "On  Certain Basic  Concepts of
Programming Languages", 30 pages, May 1967.

STAN-CS-67-66 (AD652921), J.  M. Varah (Thesis), "The  Computation of
Bounds for the Invariant Subspaces of a General Matrix Operator", 240
pages, May 1967.

STAN-CS-67-67   (AD652992),  R.   H.   Bartels  and   G.   H.  Golub,
"Computational Considerations Regarding the Calculation  of Chebyshev
Solutions  for  Over-Determined  Linear  Equations  Systems   by  the
Exchange Method", 63 pages, June 1967.

STAN-CS-67-68 (PB176768),  N. Wirth, "The  PL 360 System",  63 pages,
June 1967.

STAN-CS-67-69  (PB176769),  J.  Feldman  and  D.  Gries,  "Translator
Writing Systems", 127 pages, June 1967.

STAN-CS-67-70  (AD655472),  S.  Bergman,  J.  G.  Herriot  and  P. L.
Richman, "On Computation of  Flow Patterns of Compressible  Fluids in
the Transonic Region", 77 pages, July 1977.

STAN-CS-67-71  (AD655230),  M.  A.  Jenkins  and  J.  F.  Traub,  "An
Algorithm for an Automatic General Polynomial Solver", 38 pages, July

STAN-CS-67-72  (PB175581), G.  H. Golub  and L.  B.  Smith, "Chebysev
Approximation  of  Continuous  Functions by  a  Chebyshev  Systems of
Functions", 54 pages, July 1967.

STAN-CS-67-73  (AD662883),  P.  Businger  and  G.  H.  Golub,  "Least
Squares,  Singular Values  and Matrix  Approximations (and)  an ALGOL
Procedure for Computing the Singular Value Decomposition",  12 pages,
July 1967.

STAN-CS-67-74  (AD657639), G.  E. Forsythe,  "What is  a Satisfactory
Quadratic Equation Solver?", 9 pages, August 1967.

STAN-CS-67-75 (PB175793), F. L. Bauer, "Theory of Norms",  136 pages,
August 1967.

STAN-CS-67-76  (AD657450),  P.  M.  Anselone,  "Collectively  Compact
Operator Approximations", 60 pages, April 1967.

STAN-CS-67-77  (PB176770),  G.  E. Forsythe,  "What  To  Do  Till The
Computer Scientist Comes", 13 pages, September 1967.

STAN-CS-67-78  (PB176771),  K.   M.  Colby  and  H.   Enea,  "Machine
Utilization of the Natural Language Word 'Good' ", 8 pages, September

STAN-CS-67-79  (AD662884), R.  W. Doran,  "360 U.S.  Fortran  IV Free
Field Input/Output Subroutine Package", 21 pages, October 1967.

STAN-CS-67-80 (AD662902), J. Friedman, "Directed Random Generation of
Sentences", 30 pages, October 1967.

STAN-CS-67-81 (AD661217), G. H. Golub and J. H.  Welsch, "Calculation
of Gauss Quadrature Rules", 28 pages, November 1967.

STAN-CS-67-82  (PB176775), L.  Tesler, H.  Enea and  K. M.  Colby, "A
Directed  Graph  Representation  for  Computer  Simulation  of Belief
Systems", 31 pages, December 1967.

STAN-CS-68-83  (AD664237),  A.   Bjorck  and  G.   Golub,  "Iterative
Refinements   of    Linear   Squares   Solutions    by   House-Holder
Transformations", 28 pages, January 1968.

STAN-CS-68-84  (AD692680),  J.  Friedman,  "A  Computer   System  for
Transformational Grammar", 31 pages, January 1968.

STAN-CS-68-85  (PB177426),  K.  M.  Colby,  "Computer-Aided  Language
Development in  Nonspeaking Mentally  Disturbed Children",  35 pages,
December 1968.

STAN-CS-68-86 (PB179162), H.  R. Bauer, S.  Becker and S.  L. Graham,
"ALGOL With Programming", 90 pages, January 1968.

STAN-CS-68-87 (PB178176),  J. Ehrman, "CS  139 Lecture Notes  Part 1,
Sections 1 thru Preliminary Version", 188 pages, 1968.

STAN-CS-68-88  (AD665672),  S.  Schechter,  "Relaxation  Methods  for
Convex Problems", 19 pages, February 1968.

STAN-CS-68-89 (PB180920), H.  R. Bauer, S.  Becker and S.  L. Graham,
"ALGOL W (revised)", 42 pages, March 1968.

STAN-CS-68-90  (PB178177),  V.  R.  Lesser,  "A  Multi-Level Computer
Organization   Designed   to  Separate   Data   Accessing   from  the
Computation", 20 pages, March 1968.

STAN-CS-68-91  (PB178114),  N. Wirth,  J.  W. Wells,  Jr.  and  E. H.
Satterthwaite, Jr., "The PL360 System", 89 pages, April 1968.

STAN-CS-68-92 (PB178078), H. Enea, "MLISP", 18 pages, March 1968.

STAN-CS-68-93  (PB178078),  G.  E.  Forsythe,  "Computer  Science and
Education", 50 pages, March 1968.

STAN-CS-68-94   (SLACR-84),  A.   C.  Shaw   (Thesis),   "The  Formal
Description and Parsing of Pictures", 205 pages, April 1968.

STAN-CS-68-95 (not at NTIS), J.  Friedman and R. W. Doran,  "A Formal
Syntax for Transformational Grammar", 47 pages, March 1968.

STAN-CS-68-96   (AD673673),   L.  B.   Smith,   "Interval  Arithmetic
Determinant Evalation and its Use in Testing for a Chebyshev System",
26 pages, April 1968.

STAN-CS-68-97 (not at NTIS), W. F. Miller, "Research in  the Computer
Science Department at Stanford University", 49 pages, April 1968.

STAN-CS-68-98 (PB179162), H. Bauer,  S. Becker and S.  Graham, "ALGOL
With Implementation", 147 pages, May 1968.

STAN-CS-68-99 (PB179057), J. Friedman, "Lecture Notes  on Foundations
for Computer Science", 212 pages, June 1968.
.next page
.once center

STAN-CS-68-100  (PB178877),  T.  H.  Bredt,  "A  Computer   Model  of
Information Processing in Children", 60 pages, June 1968.

STAN-CS-68-101 (AIM-60, AD672923), D. M. Kaplan (Thesis), "The Formal
Theoretic Analysis of Stront Equivalence for Elemental Programs", 263
pages, June 1968.

STAN-CS-68-102  (AD677982), A.  Pnueli, "Integer  Programming  Over a
Cone", 29 pages, July 1968.

STAN-CS-68-103  (AD692689), T.  H.  Bredt and  J.  Friedman, "Lexical
Insertion in Transformational Grammar", 47 pages, June 1968.

STAN-CS-68-104 (AD673010), R. Bartels, "A Numerical  Investigation of
the Simplex Method", 122 pages, July 1968.

STAN-CS-68-105 (AD673674), P. Richman  (Thesis), "Epsiolon-Calculus",
138 pages, August 1968.

STAN-CS-68-106 (AIM-65, AD673971),  B. Huberman (Thesis),  "A Program
to Play Chess End Games", 168 pages, August 1968.

STAN-CS-68-107 (AD668558), M. Jenkins, "A  Three-Stage Variable-Shift
Iteration  for  Polynomial  Zeros  and  its  Relation  to Generalized
Rayleigh Interation", 46 pages, August 1968.

STAN-CS-68-108   (AD692681),   J.   Friedman    (editor),   "Computer
Experiments in Transformational Grammar", 36 pages, August 1968.

STAN-CS-68-109  (AD692690),  J.  Friedman,  "A  Computer  System  for
Writing  and Testing  Transformational Grammars  - Final  Report", 14
pages, September 1968.

STAN-CS-68-110  (PB180920), H.  Bauer, S.  Becker, S.  Graham  and E.
Satterthwaite, "ALGOL W (revised)", 103 pages, October 1968.

STAN-CS-68-111 (AD692691), J.  Friedman and T. Martner,  "Analysis in
Transformational Grammar", 18 pages, August 1968.

STAN-CS-68-112  (AD692687), J.  Friedman and  B. Pollack,  "A Control
Language for Transformational Grammar", 51 pages, August 1968.

STAN-CS-68-113  (PB188705),  W.  J. Hansen,  "The  Impact  of Storage
Management on  Plex Processing  Language Implementation",  253 pages,
July 1968.

STAN-CS-68-114 (PB182156), J. George, "Calgen, An Interactive Picture
Calculus Generation System", 75 pages, December 1968,

STAN-CS-68-115  (AD692686),  J.  Friedman,  T.  Bredt,  R.  Doran, T.
Martner and  B. Pollack, "Programmer's  Manual for a  Computer System
for Transformational Grammar", 199 pages, August 1968.

STAN-CS-68-116   (AIM-72,   AD680036),  D.   Pieper   (Thesis),  "The
Kinematics  of  Manipulators  Under  Computer  Control",  157  pages,
October 1968.

STAN-CS-68-117 (PB182151), D. Adams (Thesis), "A  Computational Model
with Data Flow Sequencing", 130 pages, December 1968.

STAN-CS-68-118  (AIM-74,  AD681027), D.  Waterman  (Thesis), "Machine
Learning of Heuristics", 235 pages, December 1968.

STAN-CS-68-119   (AD692681),  G.   Dantzig,  et   al.,  "Mathematical
Programming Language", 91 pages, May 1968.

STAN-CS-68-120  (PB182166),   E.  Satterthwaite,  "Mutant   0.5:   An
Experimental Programming Language", 60 pages, February 1968.

STAN-CS-69-121  (AD682978), C.  B.  Moler, "Accurate  Bounds  for the
Eigenvalues of the Laplacian and Applications to  Rhombical Domains",
17 pages, February 1969.

STAN-CS-69-122  (AD687450),  W.  C.  Mitchell  and  D.  L.  McCraith,
"Heuristic  Analysis  of  Numerical  Variants  of   the  Gram-Schmidt
Orthonormalization Process", 21 pages, February 1969.

STAN-CS-69-123  (AD696982), R.  P. Brent,  "Empirical Evidence  for a
Proposed Distribution of Small Prime Gaps", 18 pages, February 1969.

STAN-CS-69-124 (AD687719),  G. H.  Golub, "Matrix  Decompositions and
Statistical Calculations", 52 pages, March 1969.

STAN-CS-69-125 (AIM-89,  AD692390), J. Feldman,  J. Horning,  J. Gips
and  S.  Reder,  "Grammatical Complexity  and Inference",  100 pages,
June 1969.

STAN-CS-69-126  (AD702898),   G.  Dantzig,   "Complementary  Spanning
Trees", 10 pages, March 1969.

STAN-CS-69-127 (AIM-85,  AD687720), P.  Vicens (Thesis),  "Aspects of
Speech Recognition by Computer", 210 pages, April 1969.

STAN-CS-69-128  (AD687717),  G. H.  Golub,  B. L.  Buzbee  and  C. W.
Nielson,  "The Method  of Odd/Even  Reduction and  Factorization with
Application to Poisson's Equation", 39 pages, April 1969.

STAN-CS-69-129 (not at NTIS), W. F. Miller, "Research in the Computer
Science Department", 82 pages, April 1969.

STAN-CS-69-130  (AIM-83,  PB183907),   R.  C.  Schank   (Thesis),  "A
Conceptual   Dependency   Representation   for   a  Computer-Oriented
Semantics", 201 pages, March 1969.

STAN-CS-69-131  (SLAC-96), L.  B. Smith  (Thesis), "The  Use  of Man-
Machine Interaction in Data-Fitting Problems", 287 pages, March 1969.

STAN-CS-69-132, Never Printed.

STAN-CS-69-133  (AD687718), G.  H.  Golub and  C.  Reinsch, "Handbook
Series  Linear  Algebra:   Singular  Value  Decompositions  and Least
Sequares Solutions", 38 pages, May 1969.

STAN-CS-69-134 (AD700923),  G. H. Golub  and M. A.  Saunders, "Linear
Least Squares and Quadratic Programming", 38 pages, May 1969.

STAN-CS-69-135  (SLACR-102,  not   at  NTIS),  D.   Gries,  "Compiler
Implementation Language", 113 pages, May 1969.

STAN-CS-69-136  (SLACR-104,  not  at NTIS),  I.  Pohl  (Thesis), "Bi-
Directional and  Heuristic Search in  Path Problems", 157  pages, May

STAN-CS-69-137  (AD698801),  P. Henrici,  "Fixed  Points  of Analytic
Functions", 7 pages, July 1969.

STAN-CS-69-138  (AIM-96,  AD696394),  C.  C.  Green   (Thesis),  "The
Application of  Theorem Proving  to Question-Answering  Systems", 162
pages, June 1969.

STAN-CS-69-139 (AIM-98, AD695401),  J. J. Horning (Thesis),  "A Study
of Grammatical Inference", 166 pages, August 1969.

STAN-CS-69-140 (AD698799), G. E.  Forsythe, "Design - Then  and Now",
15 pages, September 1969.

STAN-CS-69-141 (PB188542),  G. Dahlquist, S.  C. Eisenstat and  G. H.
Golub, "Bounds for the Error of Linear Systems of Equations Using the
Theory of Moments", 26 pages, October 1969.

STAN-CS-69-142, G. H. Golub  and R. Underwood, "Stationary  Values of
the  Ratio  of Quadratic  Forms  Subject to  Linear  Constraints", 22
pages, November 1969.

STAN-CS-69-143  (AD694464),  M.  A.  Jenkins  (Thesis),  "Three-Stage
Variable-Shift  for  the  Solution  of  Polynomial  Equations  with a
Posteriori  Error  Bounds  for  the  Zeros"  (has  also  been printed
incorrectly as STAN-CS-69-138), 199 pages, August 1969.

STAN-CS-69-144 (AD698800), G.  E. Forsythe, "The Maximum  and Minimum
of a Positive  Definite Quadratic Polynomial  on a Sphere  are Convex
Functions of the Radius", 9 pages, July 1969.

STAN-CS-69-145 (AD698798), P. Henrici, "Methods of Search for Solving
Polynomial Equations", 25 pages, December 1969.

STAN-CS-70-146 (not at NTIS),  G. O. Ramos (Thesis),  "Roundoff Error
Analysis of the Fast Fourier Transform", February 1970.

STAN-CS-70-147 (AD699897), G. E. Forsythe, "Pitfalls  in Computation,
or Why a Math Book Isn't Enough", 43 pages, January 1970.

STAN-CS-70-148 (PB188749),  D. E.  Knuth and R.  W. Floyd,  "Notes on
Avoiding 'GO TO' Statements", 15 pages, January 1970.

STAN-CS-70-149  (PB188748),  D.  E.  Knuth,  "Optimum  Binary  Search
Trees", 19 pages, January 1970.

STAN-CS-70-150 (AD699898), J. H. Wilkinson, "Elementary Proof  of the
Wielandt-Hoffman Theorem and of its Generalization", 8 pages, January

STAN-CS-70-151  (not at  NTIS),  E. A.  Volkov (translated  by  G. E.
Forsythe), "On the Properties  of the Derivatives of the  Solution of
Laplace's Equation and the Errors of the Method of Finite Differences
for Boundary Values in C(2) and C(1,1)", 26 pages, January 1970.

STAN-CS-70-152  (not at  NTIS), S.  Gustafson, "Rapid  Computation of
Interpolation Formulae  and Mechanical  Quadrature Rules",  23 pages,
February 1970.

STAN-CS-70-153 (AD701358), S. Gustafson, "Error Propagation by Use of
Interpolation  Formulae  and  Quadrature  Rules  which  are  Computed
Numerically", 17 pages, February 1970.

STAN-CS-70-154,  H. S.  Stone, "The  Spectrum of  Incorrectly Decoded
Bursts for Cyclic Error Codes", 24 pages, February 1970.

STAN-CS-70-155  (AD705508),  B. L.  Buzbee,  G. H.  Golub  and  C. W.
Nielson,  "The Method  of Odd/Even  Reduction and  Factorization with
Application to Poisson's Equation, Part II", 36 pages, March 1970.

STAN-CS-70-156 (AD713972), G. B.  Dantzig, "On a Model  for Computing
Roundoff Error of a Sum", October 1979.

STAN-CS-70-157  (AD705509),  R.  P.  Brent,  "Algorithms  for  Matrix
Multiplication", 54 pages, March 1970.

STAN-CS-70-158,  H.  Stone,  "Parallel  Processing  with  the Perfect
Shuffle", 36 pages, March 1970.

STAN-CS-70-159 (AD708690), J. A.  George, "The Use of  Direct Methods
for the Solution of the Discrete Poisson Equation  on Non-Rectangular
Regions", 2 pages, June 1970.

STAN-CS-70-160 (CSL-TR-5, AD707762), T. H. Bredt and E. McCluskey, "A
Model for Parallel Computer Systems", 62 pages, April 1970.

STAN-CS-70-161 (SLACR-117, not at NTIS), L. J. Hoffman (Thesis), "The
Formulary Model for Access Control and Privacy in  Computer Systems",
81 pages, May 1970.

STAN-CS-70-162 (SLACP-760, AD709564), R. H. Bartels, G. H.  Golub and
M. A.  Saunders, "Numerical Techniques in  Mathematical Programming",
61 pages, May 1970.

STAN-CS-70-163 (AD708691),  H. Malcolm,  "An Algorithm  for Floating-
Point Accumulation  of Sums  with Small  Realative Error",  22 pages,
June 1970.

STAN-CS-70-164  (AD708692),  V.   I.  Gordonova  (translated   by  L.
Kaufman),  "Estimates of  the  Roundoff Error  in the  Solution  of a
System of Conditional Equations, by V. I. Gordonova", 16  pages, June

STAN-CS-70-165, H.  Bauer and  H. Stone, "The  Scheduling of  N Tasks
with M Operations on Two Processors", 34 pages, July 1970.

STAN-CS-70-166  (AIM-128, AD713841),  E. J.  Sandewall, "Representing
Natural-Language Information in  Predicate Calculus", 27  pages, July

STAN-CS-70-167 (AIM-129, AD712460), S. Igarashi, "Semantics of ALGOL-
Like Statements", 95 pages, June 1970.

STAN-CS-70-168  (AIM-130,  AD713252),  M.  Kelly   (Thesis),  "Visual
Identification of People by Computer", 138 pages, July 1970.

STAN-CS-70-169  (AIM-126, AD711329),  D. Knuth,  "Examples  of Formal
Semantics", 35 pages, August 1970.

STAN-CS-70-170   (CSL-TR-6,  AD711334),   T.  Bredt,   "Analysis  and
Synthesis of Concurrent Sequential Programs", 50 pages, May 1970.

STAN-CS-70-171 (CSL-TR-8,  AD714202), T. Bredt,  "A Survey  of Models
for Parrallel Computing", 58 pages, August 1970.

STAN-CS-70-172 (CSL-TR-7, AD714180), T. Bredt, "Analysis  of Parallel
Systems", 59 pages, August 1970.

STAN-CS-70-173 (CSL-TR-9, AD714181), T. Bredt, "The  Mutual Exclusion
Problem", 68 pages, August 1970.

STAN-CS-70-174  (AIM-127,  AD711395),  Z.  Manna  and  R.  Waldinger,
"Towards Automatic Program Synthesis", 55 pages, August 1970.

STAN-CS-70-175 (AD713842), M. Malcolm, "A Description and Subroutines
for Computing  Euclidean Inner  Products on the  IBM 360",  14 pages,
October 1970.

STAN-CS-70-176 (AIM-131, AD715128), E. A. Feigenbaum, B.  C. Buchanan
and J. Lederberg,  "On Generality and  Problem Solving: A  Case Study
Using the DENDRAL Program", 48 pages, September 1970.

STAN-CS-70-177 (AD715511), R.  W. Floyd and  D. E. Knuth,  "The Bose-
Nelson Sorting Problem", 16 pages, October 1970.

STAN-CS-70-178 (not at NTIS), G. Forsythe and W. F. Miller, "Research
Review", 186 pages, October 1970.

STAN-CS-70-179 (AIM-135, AD716566),  D. C. Smith, "MLISP",  99 pages,
October 1970.

STAN-CS-70-180  (AIM-132,  AD715665),  G.  Falk  (Thesis),  "Computer
Interpretation of Imperfect Line Data as a  Three-Dimensional Scene",
187 pages, October 1970.

STAN-CS-70-181 (AIM-133), A. C. Hearn, "Reduce 2 - User's Manual", 85
pages, October 1970.

STAN-CS-70-182   (AIM-134,   AD748565),   J.    Tenenbaum   (Thesis),
"Accomodation in Computer Vision", 452 pages, Septmeber 1970.

STAN-CS-70-183 (AIM-136,  AD717600), G.  M. White,  "Machine Learning
Through  Signature Trees...Application  to Human  Speech",  40 pages,
October 1970.

STAN-CS-70-184 (AD715512), M. Malcolm, "A Note on a Conjecture  of J.
Mordell", 5 pages, October 1970.

STAN-CS-70-185 (TID22593), E. Nelson, "Graph Program Simulation", 175
pages, October 1970.

STAN-CS-70-186 (AIM-137, AD715513), D. E. Knuth, "An  Empirical Study
of Fortran Programs", 50 pages, November 1970.

STAN-CS-70-187   (AD197154),   G.  Dantzig   et   al.,  "Mathematical
Programming  Language   (MPL)  Specification  Manual   for  Committee
Review", 82 pages, December 1970.

STAN-CS-70-188 (AIM-138,  PB197161), E. Ashcroft  and Z.  Manna, "The
Translation  of  'Go To'  Programs  to 'While'  Programs",  28 pages,
December 1970.

STAN-CS-70-189 (AIM-139, AD717601), Z. Manna, "Mathematical Theory of
Partial Correctness", 24 pages, December 1970.

STAN-CS-70-190 (AD719398),  J. Hopcroft,  "An N  Log N  Algorithm for
Minimizing States in a Finite Automaton", 12 pages, December 1970.

STAN-CS-70-191 (SLACP-904, PB198494), V. Lesser, "An  Introduction to
the  Direct  Emulation of  Control  Structures by  a  Parallel Micro-
Computer", 26 pages, December 1970.

STAN-CS-70-192 (AD719399),  J. Hopcroft,  "An N  Log N  Algorithm for
Isomorphism  of Planar  Triply Connected  Graphs", 6  pages, December

STAN-CS-70-193 (AIM-140, not at NTIS), R. Schank,  "Intention, Memory
and Computer Understanding", 59 pages, December 1970.

STAN-CS-70-194  (PB198495),  D.  E.  Knuth,  "The  Art   of  Computer
Programming - Errata et Addenda", 28 pages, December 1970.

STAN-CS-70-195 (723871), B. L. Buzbee,  F. W. Dorr, A. George  and G.
H.  Golub, "The Direct  Solution of the Discrete Poisson  Equation on
Irregular Regions", 30 pages, December 1970.

STAN-CS-70-196  (AD725167), C.  B. Moler,  "Matrix  Computations with
Fortran and Paging", 13 pages, December 1970.

STAN-CS-71-197 (not at NTIS), D.  E. Knuth and R. L.  Sites, "Mix/360
User's Guide", 11 pages, January 1971.

STAN-CS-71-198 (AD726170), R. Brent (Thesis), "Algorithms for Finding
Zeros and Extrema of Functions without Calculating  Derivatives", 250
pages, February 1971.

STAN-CS-71-199 (PB198415), Staff, "Bibliography of  Stanford Computer
Science Reports 1963-1971", 28 pages, February 1971.
.next page
.once center

STAN-CS-71-200 (PB198416), J. G. Herriot and C. H. Peinsch, "ALGOL 60
Procedures  for  the  Calculation  of  Interpolating  Natural  Spline
Functions", 30 pages, February 1971.

STAN-CS-71-201  (AD722434),  J. Hopcroft  and  R.  Tarjan, "Planarity
Testing in  V Log  V Steps: Extended  Abstracts", 18  pages, February

STAN-CS-71-202 (SLAC-117,  not at  NTIS), H. J.  Saal and  W. Riddle,
"Communicating Semaphores", 21 pages, February 1971.

STAN-CS-71-203 (AIM-141, AD730506), B. Buchanan, E. Feigenbaum and J.
Lederberg, "The  Heuristic DENDRAL  Program for  Explaining Empirical
Data", 20 pages, February 1971.

STAN-CS-71-204 (PB198510),  D. Ingalls, "FETE  - a  Fortran Execution
Time Estimator", 12 pages, February 1971.

STAN-CS-71-205  (AIM-142,  AD731383),  Robin  Milner,  "An  Algebraic
Definition of Simulation Between Programs", 20 pages, March 1971.

STAN-CS-71-206  (AD726158), D.  E. Knuth,  "Mathematical  Analysis of
Algorithms", 26 pages, March 1971.

STAN-CS-71-207  (AD726169),  J. Hopcroft  and  R.  Tarjan, "Efficient
Algorithms for Graph Manipulation", 19 pages, March 1971.

STAN-CS-71-208   (AD726171),   J.  A.   George   (Thesis),  "Computer
Implementation of the Finite Element Method", 220 pages, March 1971.

STAN-CS-71-209 (AIM-143, AD724867),  J. McCarthy and  Staff, "Project
Technical Report", 80 pages, March 1971.

STAN-CS-71-210 (PB201917),  J. Gerry Purdy,  "Access - a  Program for
the Catalog and Access of Information", 28 pages, March 1971.

STAN-CS-71-211  (AD727104),  M.  Malcolm,  "An  Algorithm  to  Reveal
Properties of Floating-Point Arithmetic", 8 pages, March 1971.

STAN-CS-71-212   (AD727107),  M.   A.  Morgana,   "Time   and  Memory
Requirements for Solving Linear Systems", 7 pages, March 1971.

STAN-CS-71-213  (PB201629),  R.  Tarjan,  "The   Switchyard  Problem:
Sorting Using Networks of Queues and Stacks", 13 pages, April 1971.

STAN-CS-71-214  (AD727108),  R. L.  Graham,  D. E.  Knuth  and  T. S.
Motzkin, "Complements and Transitive Closures", 6 pages, April 1971.

STAN-CS-71-215  (AD727115),   M.  Malcolm,   "PL360  (Revised)   -  a
Programming Language for the IBM 360", 91 pages, May 1971.

STAN-CS-71-216  (AIM-147,  AD732457),  R.  E.  Kling,  "Reasoning  by
Analogy  with Applications  to  Heuristics Problem  Solving:   a Case
Study", 180 pages, May 1971.

STAN-CS-71-217 (AIM-148, AD731730), E.  A. Ashcroft, Z. Manna  and A.
Pnueli,  "Decidable  Properties  of  Monadic  Functional  Schemas", 9
pages, May 1971.

STAN-CS-71-218  (AD731038), N.  G. Debruijn,  D. E.  Knuth and  S. O.
Rice, "The Average Height of Plane Trees", 7 pages, May 1971.

STAN-CS-71-219 (AIM-144, not at NTIS), Lynn Quam  (Thesis), "Computer
Comparison of Pictures", 120 pages, May 1971.

STAN-CS-71-220  (CSL-4,  AD727116), Harold  Stone,  "Dynamic Memories
with Enhanced Data Access", 32 pages, February 1971.

STAN-CS-71-221 (AIM-145, AD731729), B. G. Buchanan, E. Feigenbaum and
J.  Lederberg, "A Heuristic Programming Study of Theory  Formation in
Science", 41 pages, June 1971.

STAN-CS-71-222   (PB235417/AS),  W.   J.  Meyers   (Thesis),  "Linear
Representation   of  Tree   Structure  (a   Mathematical   Theory  of
Parenthesis-Free Notations)", 245 pages, June 1971.

STAN-CS-71-223   (PB203429),  Susan   Graham   (Thesis),  "Precedence
Languages and Bounded Right Context Languages", 192 pages, July 1971.

STAN-CS-71-224    (AIM-146,   PB212183),    A.    Ershov,   "Parallel
Programming", 15 pages, July 1971.

STAN-CS-71-225  (PB203344),  Ake Bjorck  and  Gene  Golub, "Numerical
Methods  for Computing  Angles Between  Linear Subspaces",  30 pages,
July 1971.

STAN-CS-71-226  (SLAC-133),  J.   E.  George,  "SIMPLE  -   A  Simple
Precedence Translator Writing System", 92 pages, July 1971.

STAN-CS-71-227 (SLAC-134), J. E. George (Thesis), "GEMS - A Graphical
Experimental Meta System", 184 pages, July 1971.

STAN-CS-71-228 (PB203343), Linda Kaufman, "Function  Minimization and
Automatic Therapeutic Control", 30 pages, July 1971.

STAN-CS-71-229 (AD732766), E. H. Lee and G. E. Forsythe, "Variational
Study of Nonlinear Spline Curves", 22 pages, August 1971.

STAN-CS-71-230  (PB203601),  R.  L.  Sites,  "ALGOL   With  Reference
Manual", 141 pages, August 1971.

STAN-CS-71-231 (AIM-149, AD732644), Rod Schmidt (Thesis), "A Study of
the  Real-Time  Control of  a  Computer Driven  Vehicle",  180 pages,
August 1971.

STAN-CS-71-232  (AD733073),  C.  B.  Moler  and  G.  W.  Steward, "An
Algorithm for the  Generalized Matrix Eigenvalue Problem",  50 pages,
August 1971.

STAN-CS-71-233  (not at  NTIS), Wayne  Wilner,  "Declarative Semantic
Definition", 211 pages, August 1971.

STAN-CS-71-234  (not  at   NTIS),  Gene  H.  Golub,   "Some  Modified
Eigenvalue Problems", 38 pages, September 1971.

STAN-CS-71-235 (AIM-150, not at NTIS), R. W. Floyd, "Toward Iterative
Design of Correct Programs", 12 pages, September 1971.

STAN-CS-71-236 (AD737648), G.  H. Golub and George  Styan, "Numerical
Computation for Univeariate Linear Models", 35 pages, September 1971.

STAN-CS-71-237  (CSL-TR-16,   AD737270),  D.   C.  Van   Voorhis,  "A
Generalization   of  the   Divide-Sort-Merge  Strategy   for  Sorting
Networks", 67 pages, September 1971.

STAN-CS-71-238  (CSL-TR-17, AD735901),  D. C.  Van Voorhis,  "A Lower
Bound for Sorting Networks That Use the  Divide-Sort-Merge Strategy",
13 pages, September 1971.

STAN-CS-71-239  (CSL-TR-18,  AD736610),  D.  C.  Van  Voorhis, "Large
[g.d.] Sorting Networks", 84 pages, September 1971.

STAN-CS-71-240 (AIM-151, AD738568), Ralph London, "Correctness of Two
Compilers for a LISP Subset", 42 pages, October 1971.

STAN-CS-71-241 (AIM-152, AD732642),  Alan Bierman, "On  the Inference
of Turing Machines from Sample Computations", 31 pages, October 1971.

STAN-CS-71-242 (AIM-153, AD738569), Patrick Hayes, "The Frame Problem
and Related Problems in AI", 24 pages, November 1971.

STAN-CS-71-243  (AIM-154,  AD738570),  Z.  Manna,  S.  Ness   and  J.
Vuillemin, "Inductive Methods for Proving Properties of Programs", 24
pages, November 1971.

STAN-CS-71-244   (AD738027),  R.   Tarjan  (Thesis),   "An  Efficient
Planarity Algorithm", 154 pages, November 1971.

STAN-CS-71-245  (AIM-155,   not  at   NTIS),  John   Ryder  (Thesis),
"Heuristic Analysis of Large Trees  as Generated in the Game  of Go",
350 pages, November 1971.

STAN-CS-71-246 (AIM-156, AD740141),  Ken Colby, S. Weber,  Frank Hilf
and H.  Kraemer, "A Resemblance Test for the Validation of a Computer
Simulation of Paranoid Processing", 30 pages, November 1971.

STAN-CS-71-247 (AIM-157, not at  NTIS), Yorick Wilks, "On  Small Head
-- Some  Remarks on  the Use  of 'Model'  in Linguistics",  16 pages,
December 1971.

STAN-CS-71-248   (AD739335),  Michael   Fredman  and   Donald  Knuth,
"Recurrence  Relations  Based on  Minimization",  35  pages, December

STAN-CS-71-249   (not   at  NTIS),   Bary   Pollack,   "An  Annotated
Bibliography on the  Construction of Compilers", 140  pages, December

STAN-CS-71-250 (AIM-158,  AD740127), Ashok  Chandra and  Zohar Manna,
"Program Schemas with Equality", 13 pages, December 1971.

STAN-CS-72-251  (CSL-TR-19,  AD736814), Harold  Stone,  "An Efficient
Parallel Algorithm for the Solution of a Tridiagonal Linear System of
Equation", 24 pages, January 1972.

STAN-CS-72-252 (SU326  P30 14), M.  A. Saunders,  "Large-Scale Linear
Programming  Using  the Cholesky  Factorization",  40  pages, January

STAN-CS-72-253  (AIM-159,  not at  NTIS),  J. A.  Feldman  and  P. C.
Shields,  "Total  Complexity  and the  Inference  of  Best Programs",
January 1972.

STAN-CS-72-254 (AD740330), G. E. Forsythe, "Von  Neumann's Comparison
Method for Random Sampling from the Normal and  Other Distributions",
19 pages, January 1972.

STAN-CS-72-255  (AIM-160,   AD740140),  J.  A.   Feldman,  "Automatic
Programming", 20 pages, January 1972.

STAN-CS-72-256 (AD740331), V. Chvatal, "Edmonds Polyhedra  and Weakly
Hamiltonian Graphs", 22 pages, January 1972.

STAN-CS-72-257 (PB208519), N. Wirth, "On Pascal, Code Generation, and
the CDC 6000 Computer", 39 pages, February 1972.

STAN-CS-72-258   (AD740332),  Harold   Brown,  "Some   Basic  Machine
Algorithms for Integral Order Computations", 15 pages, February 1972.

STAN-CS-72-259 (PB208595), Clark A. Crane (Thesis), "Linear Lists and
Priority Queues as Balanced Binary Trees", 131 pages, February 1972.

STAN-CS-72-260 (AD740110), Vaughan R. Pratt (Thesis),  "Shellsort and
Sorting Networks", 59 pages, February 1972.

STAN-CS-72-261 (SU326 P30 15), Gene H. Golub and Victor Pereyra, "The
Diffenentiation of Pseudoinverses  and Nonlinear Least  Squares Whose
Variables Separate", 35 pages, February 1972.

STAN-CS-72-262 (PB209357), Staff, "Bibliography", 36  pages, February

STAN-CS-72-263  (AD741189), David  A. Klarner  and Ronald  Rivest, "A
Procedure for Improving the Upper Bound for the Number of n-Ominoes",
31 pages, February 1972.

STAN-CS-72-264   (AIM-161,  AD741189),   Yorick   Wilks,  "Artificial
Intelligence  Approach to  Machine Translation",  42  pages, February

STAN-CS-72-265 (AIM-162, AD744634), Neil Goldman, Roger  Shank, Chuck
Rieger and  Chris Riesbeck, "Primitive  Concepts Underlying  Verbs of
Thought", 80 pages, February 1972.

STAN-CS-72-266  (AIM-163,  not   at  NTIS),  Jean   Cadiou  (Thesis),
"Recursive   Definitions   of  Partial   and   Functions   and  Their
Computation", 160 pages, March 1972.

STAN-CS-72-267 (PB209629), Pierre E. Bonzon, "MPL (An Appraisal Based
on Practical Experiment)", 26 pages, March 1972.

STAN-CS-72-268 (AD742348),  V. Chvatal,  "Degrees and  Matchings", 16
pages, March 1972.

STAN-CS-72-269  (AD742747), David  Klarner and  R.  Rado, "Arithmetic
Properties  of Certain  Recursively  Defined Sets",  30  pages, March

STAN-CS-72-270  (PB209616),  G.   Golub,  J.  H.  Wilkinson   and  R.
Underwood,  "The  Lanczos  Algorithm  for the  Symmetric  Ax  =  λ Bx
Problem", 21 pages, Marcy 1972.

STAN-CS-72-271  (not  at  NTIS),  William  E.  Riddle  (Thesis), "The
Modeling and Analysis of Supervisory Systems", 174 pages, March 1972.

STAN-CS-72-272  (AIM-164, AD742748),  Zohar Manna  and  J. Vuillemin,
"Fixedpoint Approach to the  Theory of Computation", 25  pages, March

STAN-CS-72-273  (PB209806),  V. Chvatal  and  J.  Sichler, "Chromatic
Automorphisms of Graphs", 12 pages, March 1972.

STAN-CS-72-274  (AD742749),  D.  Klarner  and  Richard  Rado, "Linear
Combinations of Sets of Consecutive Integers", 12 pages, March 1972.

STAN-CS-72-275  (AD742750),  David  A.  Klarner,  "Sets  Generated by
Iteration of a Linear Operation", 16 pages, March 1972.

STAN-CS-72-276 (AD745022), Linda Kaufman (Thesis), "A  Generalized LR
Method to Solve Ax = Bx", 70 pages, April 1972.

STAN-CS-72-277  (SLAC-149,  not   at  NTIS),  C.  T.   Zahn,  "Region
Boundaries on a Triangular Grid", 40 pages, April 1972.

STAN-CS-72-278 (SU326 P30-17), Paul Concus and Gene H. Golub, "Use of
Fast  Direct  Methods   for  the  Efficient  Numerical   Solution  of
Nonseparable Elliptic Equations", April 1972.

STAN-CS-72-279 (AD744313), Michael Osborne, "Topics in Optimization",
143 pages, April 1972.

STAN-CS-72-280  (AIM-165, AD742751),  D. A.  Bochvar, "Two  Papers on
Partial Predicate Calculus", April 1972.

STAN-CS-72-281 (AIM-166, AD743598), Lynn Quam, Sydney  Liebes, Robert
Tucker,  Marsha  Jo  Hanna and  Botond  Eross,  "Computer Interactive
Picture Processing", 41 pages, April 1972.

STAN-CS-72-282  (AIM-167,  AD747254),  Ashok  K.  Chandra, "Efficient
Compilation of Linear Recursive Programs", 40 pages, April 1972.

STAN-CS-72-283  (not  at  NTIS),  David  R.   Stoutemyer,  "Numerical
Implemtation  of  the  Schwarz  Alternating  Procedure  for  Elliptic
Partial Differential Equations", 131 pages, May 1972.

STAN-CS-72-284 (O.R. 72-6,  AD745778), V Chvatal,  "Edmonds Polyhedra
and a Hierarchy of Combinatorial Problems", 49 pages, May 1972.

STAN-CS-72-285 (PB210910), Robert Floyd and Alan J. Smith,  "A Linear
Time Two Tape Merge", 16 pages, May 1972.

STAN-CS-72-286  (PB211036), Ashok  K.  Chandra, "On  the  Solution of
Moser's Problem in 4  Dimensions, and Related Issues", 32  pages, May

STAN-CS-72-287 (AIM-168, AD746146), Shigaru  Igarashi, "Admissibility
of Fixed-Point Induction in First-Order Logic of Typed  Theories", 36
pages, May 1972.

STAN-CS-72-288  (AIM-169,  not  at NTIS),  Robin  Milner,  "Logic for
Computable Functions:  Description of  a Machine  Implementation", 36
pages, May 1972.

STAN-CS-72-289   (AIM-170,  AD748607),   Yorick  Wilks,   "Lakoff  on
Linquistics and Natural Logic", 20 pages, June 1972.

STAN-CS-72-290  (AIM-171,  AD746147),  Roger  Schank,   "Adverbs  and
Beliefs", 30 pages, June 1972.

STAN-CS-72-291  (AD746189),  Donald  E.  Knuth,  "Some  Combinatorial
Lemmas", 21 pages, June 1972.

STAN-CS-72-292 (AD746150), V. Chvatal, D. A. Klarner and D. E. Knuth,
"Selected Combinatorial Research Problems", 31 pages, June 1972.

STAN-CS-72-293   (CSL-TN-32,   PB212234),  J.   A.   Lukes  (Thesis),
"Combinatorial Solutions to  Partitioning Problems", 130  pages, June

STAN-CS-72-294 (SLACP-1072),  Harry J. Saal  and Leonard  J. Shustek,
"Microprogrammed Implementation of Computer  Measurement Techniques",
20 pages, June 1972.

STAN-CS-72-295  (PB212130),   C.  C.  Paige,   "Bidiagonalization  of
Matrices and Solution of Linear Equations", 27 pages, June 1972.

STAN-CS-72-296  (AD748606),  Michael  L.  Fredman  (Thesis),  "Growth
Properties of  a Class of  Recursively Defined Functions",  84 pages,
June 1972.

STAN-CS-72-297  (PB212300),  C. C.  Paige,  "An Error  Analysis  of a
Method for Solving Matrix Equations", 13 pages, June 1972.

STAN-CS-72-298 (CSL-TR-25), P. M. Kogge and H. S. Stone,  "A Parallel
Algorithm for the Efficient Solution of a General Class of Recurrence
Equations", 33 pages, July 1972.

STAN-CS-72-299 (AIM-172,  AD752801), Sylvia Weber  Russell, "Semantic
Categories of Nominals for Conceptual Dependency Analysis  of Natural
Language", 67 pages, July 1972.
.next page
.once center

STAN-CS-72-300    (CSL-TN-17,    AD749848),    Marc    T.    Kaufman,
"Counterexample of  a Conjecture  of Fujii,  Kasami and  Ninomiya", 5
pages, July 1972.

STAN-CS-72-301 (SU326 P30-21), Michael A. Saunders, "Product  Form of
the Cholesky  Factorization for  Large-Scale Linear  Programming", 35
pages, July 1972.

STAN-CS-72-302 (SU326 P30-19), G. H. Golub, "Some Uses of the Lanczos
Algorithm in Numerical Linear Algebra", 23 pages, August 1972.

STAN-CS-72-303  (AIM-174,  PB212827),  F.  Lockwood  Morris (Thesis),
"Correctness of Translations of Programming Languages -  an Algebraic
Approach", 125 pages, August 1972.

STAN-CS-72-304  (SU326  P30-20), R.  S.  Anderssen and  G.  H. Golub,
"Richardson's Non-Stationary  Matrix Iterative Procedure",  76 pages,
August 1972.

STAN-CS-72-305   (AIM-173,    AD755139),   Gerald    Agin   (Thesis),
"Representation and Description of Curved Objects", 125 pages, August

STAN-CS-72-306 (SU326 P23-X-2),  Bary W. Pollack, "A  Bibliography on
Computer Graphics", 145 pages, August 1972.

STAN-CS-72-307  (AIM-175,  not  at  NTIS),  Hozumi  Tanaka, "Hadamard
Transform for Speech Wave Analysis", August 1972.

STAN-CS-72-308 (AIM-176, AD754109), J.  A. Feldman, J. R. Low,  R. H.
Taylor and D.  C. Swinehart, "Recent Development  in SAIL -  an ALGOL
Based Language for Artificial Intelligence", 22 pages, August 1972.

STAN-CS-72-309  (CSL-TR-157,  not  at  NTIS),  V.   Lesser  (Thesis),
"Dynamic Control Structures and  Their Use in Emulation",  251 pages,
August 1972.

STAN-CS-72-310 (CSL-TR-34, AD750671), Marc T. Kaufman,  "Anomalies in
Scheduling Unit-Time Tasks", 22 pages, September 1972.

STAN-CS-72-311  (AIM-177,  not  at  NTIS),  Richard   Paul  (Thesis),
"Modelling,  Trajectory  Calculation  and  Servoing  of   a  Computer
Controlled Arm", September 1972.

STAN-CS-72-312 (AIM-178, AD754108), Ahron Gill, "Visual  Feedback and
Related Problems in  Computer Controlled Hand-Eye  Coordination", 134
pages, September 1972.

STAN-CS-72-313 (PB218353/1), Staff, "Bibliography of Computer Science
Reports", 42 pages, September 1972.

STAN-CS-72-314 (CSL-TR-43,  PB212893), Peter  M. Kogge  (Thesis, Part
I),  "Parallel Algorithms  for the  Efficient Solution  of Recurrence
Problems", 74 pages, September 1972.

STAN-CS-72-315 (CSL-TR-44,  PB212894), Peter  M. Kogge  (Thesis, Part
II),  "The Numerical  Stability  of Parallel  Algorithms  for Solving
Recurrence Problems", 49 pages, September 1972.

STAN-CS-72-316 (CSL-TR-45,  PB212828), Peter  M. Kogge  (Thesis, Part
III), "Minimal Paralellism  in the Solution of  Recurrence Problems",
45 pages, September 1972.

STAN-CS-72-317 (CSL-TR-26,  AD750672), S. H.  Fuller and  F. Baskett,
"An Analysis of Drum Storage Units", 69 pages, October 1972.

STAN-CS-72-318 (AD755140), H.  Brown, L. Masinter and  L. Hjelmeland,
"Constructive Graph Labeling Using Double Cosets", 50  pages, October

STAN-CS-72-319 (SU326 P30-22), Gene H. Golub and James M.  Varah, "On
a Characterization of  the Best 1↓2 Scaling  of a Matrix",  14 pages,
October 1972.

STAN-CS-72-320 (AIM-179), Bruce  G. Baumgart, "Winged  Edge Polyhedra
Representation", 46 pages, October 1972.

STAN-CS-72-321 (AIM-180, AD759712), Ruzena Bajcsy (Thesis), "Computer
Identification of Textured Visual Scenes", 156 pages, October 1972.

STAN-CS-72-322 (SU326 P30-23), P. E. Gill, G. H. Golub, W. Murray and
M.  A.  Saunders, "Methods for  Modifying Matrix  Factorizations", 62
pages, November 1972.

STAN-CS-72-323, Michael  A. Malcolm and  John Palmer, "A  Fast Method
for Solving a Class  of Tri-Diagonal Linear Systems" (also  listed on
the abstract as "On  the Lu Decomposition of Toeplitz  Matrices"), 11
pages, November 1972.

STAN-CS-72-324 (CSL-TR-48, PB214612),  Henry R. Bauer,  III (Thesis),
"Subproblems of the  m X n  Sequencing Problem", 115  pages, November

STAN-CS-72-325  (AIM-181),  Bruce  G.  Buchanan,  "Review  of  Hubert
Dreyfus' What Computers Can't Do:  A Critique of  Artificial Reason",
14 pages, November 1972.

STAN-CS-72-326 (AIM-182, AD754107),  Kenneth Mark Colby  and Franklin
Dennis  Hilf,  "Can  Expert Judges,  Using  Transcripts  of Teletyped
Psychiatric Interviews,  Distinguish Human  Paranoid Patients  from a
Computer Simulation of Paranoid Processes?", 12 pages, December 1972.

STAN-CS-72-327  (AD755138), David  A. Klarner  and Ronald  L. Rivest,
"Asymptotic Bounds  for the  Number of  Convex n-Ominoes",  15 pages,
December 1972.

STAN-CS-72-328  (CSL-TR-31,  PB218929), Harold  Gabow,  "An Efficient
Implementation  of Edmonds'  Maximum Matching  Algorithm",  68 pages,
December 1972.

STAN-CS-72-329 (PB218875), Isu  Fang (Thesis), "Folds,  A Declarative
Formal Language Definition System", 290 pages, December 1972.

STAN-CS-73-330  (AIM-184,  AD758651),  Malcolm  Newey,   "Axioms  and
Theorems  for Integers,  Lists  and Finite  Sets in  LCF",  53 pages,
January 1973.

STAN-CS-73-331  (AIM-187, AD757364),  George Collins,  "The Computing
Time of the Eulidian Algorithm", 17 pages, January 1973.

STAN-CS-73-332 (AIM-186, AD758645), Robin Milner, "Models of LCF", 17
pages, January 1973.

STAN-CS-73-333 (AIM-185,  AD757367), Zohar  Manna and  Ashok Chandra,
"On the Power of Programming Features", 29 pages, January 1973.

STAN-CS-73-334  (AD757366), Michael  A. Malcolm  and Cleve  B. Moler,
"URAND, A Universal Random Number Generator", 10 pages, January 1973.

STAN-CS-73-335 (SU326 P30-24),  G. Golub and E.  Seneta, "Computation
of  the Stationary  Distribution of  an Infinite  Markov  Matrix", 12
pages, January 1973.

STAN-CS-73-336 (AIM-188,  AD758646), Ashok  K. Chandra  (Thesis), "On
the  Properties  and  Applications of  Program  Schemas",  225 pages,
January 1973.

STAN-CS-73-337  (AIM-189,  PB218682),  James  Gips  and  George Stiny
"Aestehetics Systems", 22 pages, January 1973.

STAN-CS-73-338 (AD759713), David  A Klarner, "A Finite  Basis Theorem
Revisited", 10 pages, February 1973.

STAN-CS-73-339  (SU326  P30-25),  Gene  H.  Golub  and  Warren  Dent,
"Computation   of   the   Limited   Information   Maximum  Likelihood
Estimator", 27 pages, February 1973.

STAN-CS-73-340  (AIM-190,  AD759714),  Malcolm  Newey,  "Notes  on  a
Problem  Involving  Permutations as  Subsequences",  20  pages, March

STAN-CS-73-341 (AIM-191, AD764272),  Shmuel Katz and Zohar  Manna, "A
Heuristic Approach to Program Verification", 40 pages, March 1973.

STAN-CS-73-342 (AD759715),  Donald Knuth, "Matroid  Partitioning", 12
pages, March 1973.

STAN-CS-73-343 (not  at NTIS), David  R. Levine  (Thesis), "Computer-
Based Analytic  Grading for German  Grammar Instruction",  220 pages,
March 1973.

STAN-CS-73-344 (AIM-183,  AD759716), Roger  C. Schank,  "The Fourteen
Primitive Actions and Their Inferences", 71 pages, March 1973.

STAN-CS-73-345  (AIM-192,  not  at NTIS),  George  Collins  and Ellis
Horowitz, "The  Minimum Root Separation  of a Polynomial",  25 pages,
April 1973.

STAN-CS-73-346 (AIM-193, AD759717), Kenneth Mark Colby, "The Rational
for Computer Based Treatment of Language Difficulties  in Nonspeaking
Autistic Children", 8 pages, April 1973.

STAN-CS-73-347 (AIM-194, PB221170/4),  Kenneth M. Colby  and Franklin
Dennis Hilf, "Multi  Dimensional Analysis in Evaluating  a Simulation
of Paranoid Thought Processes", 10 pages, April 1973.

STAN-CS-73-348  (SU326  P30-26, PB222513),  V.  Pereyra,  "High Order
Finite  Difference  Solution of  Differential  Equations",  86 pages,
April 1973.

STAN-CS-73-349 (PB221115), Manuel  Blum, Robert Floyd,  Vaughn Pratt,
Ronald Rivest  and Robert  Tarjan, "Time  Bounds for  Selection", and
Robert Floyd and Ronald Rivest, "Expected Time Bounds for Selection",
51 pages, April 1973.

STAN-CS-73-350 (CSL-TR-53,  AD761177), Marc  T. Kaufman,  "An Almost-
Optimal Algorithm for the Assmbly Line Scheduling Problem", 21 pages,
April 1973.

STAN-CS-73-351 (CSL-TR-27, AD761175), Samuel H.  Fuller, "Performance
of an I/O Channel with Multiple Paging Drums", 8 pages, April 1973.

STAN-CS-73-352 (CSL-TR-28, AD761176), Samuel H. Fuller, "The Expected
Difference Between the SLTF and MTPT Drum Scheduling  Disciplines", 6
pages, April 1973.

STAN-CS-73-353  (CSL-TR-29,  AD761185),  Samuel  H.  Fuller,  "Random
Arrivals and MTPT Disc Scheduling Disciplines", 7 pages, April 1973.

STAN-CS-73-354 (PB221165/4), David  A. Klarner, "The Number  of SDR's
in Certain Regular Systems", 7 pages, April 1973.

STAN-CS-73-355 (CSL-TR-57, AD764598),  Thomas G. Price,  "An Analysis
of Central Processor Scheduling in Multiprogrammed Computer Systems",
8 pages, April 1973.

STAN-CS-73-356 (AIM-195, PB222164),  David Canfield Smith  and Horace
J.  Enea, "MLISP2", 92 pages, May 1973.

STAN-CS-73-357 (AIM-196, AD762471),  Neil M. Goldman  and Christopher
K.  Riesbeck, "A Conceptually Based Sentence Paraphraser",  88 pages,
May 1973.

STAN-CS-73-358 (AIM-197,  AD762470), Roger C.  Schank and  Charles J.
Rieger  III, "Inference  and  the Computer  Understanding  of Natural
Lanugage", 40 pages, May 1973.

STAN-CS-73-359  (CSL-TN-25, PB222064),  Harold  Stone, "A  Note  on a
Combinatorial Problem of Burnett and Coffman", 8 pages, May 1973.

STAN-CS-73-360  (CSL-TR-33, AD764014),  Richard R.  Muntz  and Forest
Baskett, "Open,  Closed and Mixed  Networks of Queues  with Different
Classes of Customers", 40 pages, May 1973.

STAN-CS-73-361 (Serra,  AD764273), Harold  Brown and  Larry Masinter,
"An  Algorithm  for  the  Construction  of  the  Graphs   of  Organic
Molecules", 25 pages, May 1973.

STAN-CS-73-362, appears in print as STAN-CS-73-398.

STAN-CS-73-363 (Serra, PB222099), Linda C. Kaufman (Thesis),  "The LZ
Algorithm to  Solve the Generalized  Eigenvalue Problem",  101 pages,
May 1973.

STAN-CS-73-364  (AIM-198,  AD763611), R.  B.  Thosar,  "Estimation of
Probability Density Using Signature Tables for Application to Pattern
Recognition", 36 pages, May 1973.

STAN-CS-73-365 (AIM-200, AD767331), Shigeru Igarashi, Ralph L. London
and  David C.  Luckham,  "Automatic Program  Verification  I: Logical
Basis and its Implementation", 50 pages, May 1973.

STAN-CS-73-366  (AIM-201,  AD763673), Gunnar  Rutger  Grape (Thesis),
"Model Bases  (Intermediate-Level) Computer  Vision", 256  pages, May

STAN-CS-73-367 (AD763601),  Ole Amble and  Donald E.  Knuth, "Ordered
Hash Tables", 34 pages, May 1973.

STAN-CS-73-368 (AIM-202, AD764396), Roger C. Schank and Yorick Wilks,
"The Goals of Linguistic Theory Revisited", 44 pages, May 1973.

STAN-CS-73-369 (AIM-203, AD764274), Roger C. Schank, "The Development
of Conceptual Structures in Children", 26 pages, May 1973.

STAN-CS-73-370  (AIM-205,  AD764288), N.S.  Sridharan,  G. Gelernter,
A.J.   Hart,  W.F. Fowler  and  H.J. Shue,  "A  Heuristic  Program to
Discover  Syntheses for  Complex Organic  Molecules", 30  pages, June

STAN-CS-73-371  (AD223572/AS),   Donald  E.   Knuth,  "A   review  of
'Structured Programming' ", 25 pages, June 1973.

STAN-CS-73-372  (AD767970),  Michael A.  Malcolm  (Thesis,  part II),
"Nonlinear Spline Functions", 60 pages, June 1973.

STAN-CS-73-373 (AIM-204,  AD765353/BWC), Kurt  A. van  Lehn (editor),
"SAIL User Manual", 200 pages, June 1973.

STAN-CS-73-374 (AD764275),  Michael A.  Malcolm (Thesis  excerpt), "A
Machine-Independent  ALGOL  Procedure  for   Accurate  Floating-Point
Summation", 5 pages, June 1973.

STAN-CS-73-375 (SU-326  P30-27), D.  Fischer, G.  Golub, O.  Hald, C.
Levin  and O.  Widlund,  "On Fourier-Toeplitz  Methods  for Separable
Elliptic Problems", 30 pages, June 1973.

STAN-CS-73-376  (SU326 P30-28),  Gunter Meinardus  and G.  D. Taylor,
"Lower Estimates  for the  Error of  Best Uniform  Approximation", 20
pages, June 1973.

STAN-CS-73-377   (AIM-206,  AD764652),   Yorick   Wilks,  "Preference
Semantics", 20 pages, June 1973.

STAN-CS-73-378  (AIM-207,  AD767333),  James  Anderson  Moorer,  "The
'Optimum-Comb' Method of Pitch Period Analysis in Speech",  25 pages,
June 1973.

STAN-CS-73-379  (AIM-208,  AD767334),  James  Anderson  Moorer,  "The
Hetrodyne Filter as a  Tool for Analysis of Transient  Waveforms", 30
pages, June 1973.

STAN-CS-73-380 (AIM-209,  AD767695/O WC), Yoram  Yakimovsky (Thesis),
"Scene Analysis Using a Semantic Base for Region Growing", 120 pages,
June 1973.

STAN-CS-73-381 (AD767694), N.  S. Sridharan, "Computer  Generation of
Vertex-Graphs", 18 pages, July 1973.

STAN-CS-73-382  (AIM-210,  AD767335), Zohar  Manna  and  Amir Pnueli,
"Axiomatic Approach to Total Correctness of Programs", 26 pages, July

STAN-CS-73-383 (AIM-211,  AD769673), Yorick Wilks,  "Natural Language
Inference", 47 pages, July 1973.

STAN-CS-73-384   (AIM-212,   AD769379),   Annette   Herskovits,  "The
Generation  of  French  from a  Semantic  Representation",  50 pages,
August 1973.

STAN-CS-73-385 (AIM-213, not at NTIS), R. B. Thosar,  "Recognition of
Continuous Speech:   Segmentation and Classification  Using Signature
Table Adaptation", 37 pages, August 1973.

STAN-CS-73-386 (AIM-214, AD767332), W. A. Perkins and T.  O. Binford,
"A Corner Finder for Visual Feed-Back", 59 pages, August 1973.

STAN-CS-73-387  (AIM-215,  AD769380),  Bruce G.  Buchanan  and  N. S.
Sridharan,  "Analysis  of  Behavior  of  Chemical   Molecules:   Rule
Formation on  Non-Homogeneous Classes of  Objects", 15  pages, August

STAN-CS-73-388    (CSL-TR-74,    PB226044/AS),    R.    C.   Swanson,
"Interconnections  for  Parallel  Memories  to  Unscramble  P-Ordered
Vectors", 52 pages, August 1973.

STAN-CS-73-389 (AIM-216, AD771299), L. Masinter, N. S.  Sridharan, J.
Lederberg and D.  H. Smith, "Applications of  Artificial Intelligence
for  Chemical Inference  XII:   Exhaustive Generation  of  Cyclic and
Acyclic Isomers", 60 pages, September 1973.

STAN-CS-73-390 (not  at NTIS),  James Gips,  "A Construction  for the
Inverse of a Turing Machine", 8 pages, Septermber 1973.

STAN-CS-73-391   (AIM-217,  AD770610),   N.  S.   Sridharan,  "Search
Strategies for  the Task  of Organic  Chemical Synthesis",  32 pages,
September 1973.

STAN-CS-73-392, Donald E. Knuth, "Sorting and Searching -  Errata and
Addenda", 31 pages, October 1973.

STAN-CS-73-393  (AIM-218,   AD772063/4WC),  Jean   Etienne  Vuillemin
(Thesis),  "Proof  Techniques  for  Recursive  Programs",  97  pages,
October 1973.

STAN-CS-73-394  (AIM-219,  AD769674),  C.  A.  R.   Hoare,  "Parallel
Programming: An Axiomatic Approach", 33 pages, October 1973.

STAN-CS-73-395, Staff, "Bibliography of Computer Science Reports", 48
pages, October 1973.

STAN-CS-73-396 (AIM-220, AD772064),  Robert Bolles and  Richard Paul,
"The Use of Sensory  Feedback in a Programmable Assembly  System", 24
pages, October 1973.

STAN-CS-73-397 (SU326 P30-28A), Peter Henrici, "Computational Complex
Analysis", 14 pages, October 1973.

STAN-CS-73-398  (AIM-199,   AD771300),  Bruce  G.   Baumgart,  "Image
Contouring and Comparing", 52 pages, October 1973.

STAN-CS-73-399  (SU326  P30-29),  C. C.  Paige  and  M.  A. Saunders,
"Solution of Spase Indefinite Systems of Equations and  Least Squares
Problems", 47 pages, October 1973.
.next page
.once center

STAN-CS-73-400 (AIM-223, AD772509),  C. A. R. Hoare,  "Recursive Data
Structures", 32 pages, November 1973.

STAN-CS-73-401  (PB226691/AS),  C.   A.  R.  Hoare,   "Monitors:   An
Operating System Structuring Concept", 25 pages, November 1973.

STAN-CS-73-402 (PB229616/AS), J. G. Herriot and C. H. Reinsch, "ALGOL
60 Precedures  for the Calculation  of Interpolating  Natural Quintic
Spline Functions", 40 pages, November 1973.

STAN-CS-73-403  (AIM-224,  AD773391),  C.  A.  R.  Hoare,  "Hints  on
Programming Language Design", 29 pages, December 1973.

STAN-CS-74-404   (AD775452),   N.  S.   Sridharan,   "A   Catalog  of
Quadri/Trivalent Graphs", 48 pages, January 1974.

STAN-CS-74-405  (not  at NTIS),  R.  Davis and  M.  Wright, "Stanford
Computer  Science Department:   Research Report",  38  pages, January

STAN-CS-74-406 (AIM-225, AD775645), W. A. Perkins, "Memory  Model for
a Robot", January 1974.

STAN-CS-74-407  (AIM-226,  AD778310), F.  Wright,  "FAIL  Manual", 50
pages, February 1974.

STAN-CS-74-408  (AIM-227,  AD-A003  483),  Arthur  Thomas  and Thomas
Binford,  "Information Processing  Analysis of  Visual  Perception: a
review", 40 pages, February 1974.

STAN-CS-74-409 (AIM-228, AD776233),  John McCarthy and  Staff, "Final
Report:   Ten  Years  of  Research  in  Artificial  Intelligence.  An
Overview", February 1974.

STAN-CS-74-410 (CSL-TR-46, PB231926/AS), James L.  Peterson (Thesis),
"Modelling of Parallel Systems", 241 pages, February 1974.

STAN-CS-74-411  (AIM-229),  D.  B. Anderson,  T.  O.  Binford,  A. J.
Thomas,  R.   W.  Weyhrauch  and  Y.  A.  Wilks,  "After  Leibniz...:
Discussions  on Philosophy  and Artificial  Intelligence",  50 pages,
March 1974.

STAN-CS-74-412  (AIM-230,  AD786721), Daniel  C.  Swinehart (Thesis),
"COPILOT:   A Multiple  Process Approach  to  Interactive Programming
Systems", March 1974.

STAN-CS-74-413 (AIM-231,  AD-A001 814),  James Gips  (Thesis), "Shape
Grammars and Their Uses", 243 pages, March 1974.

STAN-CS-74-414 (AIM-232,  AD780452), Bruce  G. Baumgart,  "GEOMED:  A
Geometric Editor", April 1974.

STAN-CS-74-415 (PB233065/AS), Ronald L. Rivest (Thesis), "Analysis of
Associative Retrieval Algorithms", 109 pages, April 1974.

STAN-CS-74-416   (PB233507/AS),   Donald   E.    Knuth,   "Structured
Programming with "Go To" Statements", 100 pages, April 1974.

STAN-CS-74-417  (PB234102/AS), Richard  L. Sites,  "Some  Thoughts on
Proving That Programs Terminate Cleanly", 68 pages, May 1974.

STAN-CS-74-418  (PB233045/AS),  Richard L.  Sites  (Thesis), "Proving
That Computer Programs Terminate Cleanly", 143 pages, May 1974.

STAN-CS-74-419 (AIM-233, AD-A000  086), Charles Rieger  III (Thesis),
"Conceptual Memory:  A Theory and Computer Program for Processing the
Meaning Content of Natural Language Utterances", 393 pages, May 1974.

STAN-CS-74-420  (CSL-TR-50,  PB232543/AS),  John  Wakerly, "Partially
Self-Checking   Circuits  and   Their  Use   in   Performing  Logical
Operations", 46 pages, May 1974.

STAN-CS-74-421 (CSL-TR-51, PB232356/AS), John Wakerly (Thesis), "Low-
Cost Error Detection Techniques for Small Computers", 232  pages, May

STAN-CS-74-422 (CSL-TR-79,  NASA-TM-62,370), Harold  Stone, "Parallel
Tri-Diagonal Equation Solvers", 42 pages, May 1974.

STAN-CS-74-423 (CSL-TN-41, PB232860/AS), Gururaj S.  Rao, "Asymptotic
Representation of the  Average Number of  Active Modules in  an N-Way
Interleaved Memory", 16 pages, May 1974.

STAN-CS-74-424   (CSL-TR-80,   PB232602/AS),   Maurice   Schlumberger
(Thesis, chapter 1), "Logorithmic Communications Networks", 38 pages,
May 1974.

STAN-CS-74-425   (CSL-TR-81,   PB232598/AS),   Maurice   Schlumberger
(Thesis,  chapter  2),  "Vulnerability  of   deBruijn  Communications
Networks", 68 pages, May 1974.

STAN-CS-74-426 (CSL-TR-82, PB232597), Maurice  Schlumberger, (Thesis,
chapter  3),  "Queueing  Equal  Length  Messages  in   a  Logorithmic
Network", 75 pages, May 1974.

STAN-CS-74-427 (CSL-TN-36, PB232624/AS), Tomas Lang (Thesis excerpt),
"Performing the Perfect Schuffle in an Array Computer", 18 pages, May

STAN-CS-74-428 (CSL-TR-76, PB232633/AS), Tomas Lang (Thesis excerpt),
"Interconnections  Between Precessors  and Memory  Modules  Using the
Schuffle-Exchange Network", 32 pages, May 1974.

STAN-CS-74-429  (CSL-TR-70,  PB232623/AS), Samuel  E.  Orcutt (Thesis
excerpt),  "Efficient  Data   Routing  Schemes  for   ILLIAC  IV-Type
Computers", 31 pages, May 1974.

STAN-CS-74-430  (CSL-TR-71,  PB234513/AS), Samuel  E.  Orcutt (Thesis
excerpt),   "A  Novel   Parallel  Computer   Architecture   and  Some
Applications", 44 pages, May 1974.

STAN-CS-74-431 (AIM-234, not at  NTIS), Kenneth Mark Colby  and Roger
C.  Parkison, "Pattern Matching Rules for the Recognition  of Natural
Language Dialogue Expressions", 23 pages, May 1974.

STAN-CS-74-432 (AIM-235, AD-A006  898), Richard Weyhrauch  and Arthur
Thomas, "FOL:  A Proof Checker for First-Order Logic", 60  pages, May

STAN-CS-74-433  (AIM-236, AD784513),  Jack R.  Buchanan and  David C.
Luckham, "On Automating the Construction of Programs", 65  pages, May

STAN-CS-74-434  (SU326  P30-31),   Axel  Ruhe  and  Per   Ake  Wedin,
"Algorithms  for  Separable  Nonlinear  Least  Squares  Problems", 50
pages, June 1974.

STAN-CS-74-435  (CSL-TR-88,  A001-071),  Thomas  G.  Price, "Balanced
Computer Systems", 56 pages, June 1974.

STAN-CS-74-436  (AIM-237,   AD-A012  477),  Yorick   Wilks,  "Natural
Language Understanding Systems Within  the A.I. Paradigm --  A Survey
and Some Comparisons", 25 pages, July 1974.

STAN-CS-74-437  (AIM-238,  AD-A005  040),  C.  K.  Riesbeck (Thesis),
"Computational  Understanding:  Analysis  of Sentences  and Context",
245 pages, July 1974.

STAN-CS-74-438  (AIM-239,   AD786720),  Marsha  Jo   Hanna  (Thesis),
"Computer Matching of Areas in Stereo Images", 99 pages, July 1974.

STAN-CS-74-439 (OR-74-7,  SU326 P30-32), Richard  W. Cottle,  Gene H.
Golub and R. S. Sacher, "On the Solution of Large,  Structured Linear
Complementarity Problems:  III", 87 pages, July 1974.

STAN-CS-74-440 (PB237360/AS), James  H. Morris, Jr., Vaughn  R. Pratt
and Donald E.  Knuth, "Fast Pattern  Matching in Strings",  32 pages,
July 1974.

STAN-CS-74-441 (AD-A000  284), Donald E.  Knuth and Ronald  W. Moore,
"An Analysis of Alpha-Beta Pruning", 64 pages, July 1974.

STAN-CS-74-442  (AD-A004  208),  Donald  E.  Knuth,  "Estimating  the
Efficiency of Backtrack Programs", 30 pages, July 1974.

STAN-CS-74-443 (PB-236 471/AS), Douglas K. Brotz (Thesis), "Embedding
Heuristic Problem  Solving Methods in  a Mechanical  Theorem Prover",
107 pages, July 1974.

STAN-CS-74-444 (AIM-240, AD787035), C. C. Green, R. J.  Waldinger, D.
R.  Barstow, R. Elschlager, D. B. Lenat, B. P. McCune, D. E. Shaw and
L. I.  Steinberg, "Progress Report on Program-Understanding Systems",
50 pages, July 1974.

STAN-CS-74-445 (SLACP-1448),  J. H.  Friedman, F.  Baskett and  L. J.
Shustek,  "A  Relatively  Efficient  Algorithm  for  Finding  Nearest
Neighbors", 21 pages, September 1974.

STAN-CS-74-446 (AIM-241,  AD786723), L. Aiello  and R.  W. Weyhrauch,
"LCFsmall:  An Implementation of LCF", 45 pages, September 1974.

STAN-CS-74-447 (AIM-221,  AD787631), L. Aiello,  M. Aiello and  R. W.
Weyhrauch, "Semantics of Pascal in LCF", 78 pages, September 1974.

STAN-CS-74-448 (SU326 P30-33), D. Goldfarb, "Matrix Factorizations in
Optimization of Nonlinear  Functions Subject to  Linear Constraints",
45 pages, September 1974.

STAN-CS-74-449 (CSL-TR-89, AD785027), A. Smith (Thesis), "Performance
Analysis of Computer Systems Components", 323 pages, September 1974.

STAN-CS-74-450  (CSL-TR-90, AD787008),  F.  Baskett and  A.  J. Smith
(Thesis, chapter 3), "Interference in Multiprocessor Computer Systems
with Interleaved Memory", 45 pages, September 1974.

STAN-CS-74-451 (CSL-TR-91, AD786999),  A. Smith (Thesis,  chapter 5),
"A Modified Working Set Paging Algorithm", 40 pages, October 1974.

STAN-CS-74-452 (AIM-242, AD-A000 500), J. R. Low (Thesis), "Automatic
Coding:  Choice of Data Structures", 110 pages, September 1974.

STAN-CS-74-453 (AD-A000 034), Donald E. Knuth, "Random  Matroids", 30
pages, September 1974.

STAN-CS-74-454  (SU326  P30-35),  L.  S.  Jennings,  "A Computational
Approach to Simultaneous Estimation", 15 pages, September 1974.

STAN-CS-74-455  (AD-A000  083),  Robert  E.   Tarjan,  "Edge-Disjoint
Spanning  Trees,  Dominators,  and  Depth-First  Search",  40  pages,
September 1974.

STAN-CS-74-456  (AIM-243,  AD-A003  815), R.  Finkel,  R.  Taylor, R.
Bolles,  R.   Paul and  J.  Feldman, "AL,  A  Programming  System for
Automation: Preliminary Report", 117 pages, October 1974.

STAN-CS-74-457 (AIM-244, not at  NTIS), K. M. Colby,  "Ten Criticisms
of Parry", 7 pages, October 1974.

STAN-CS-74-458 (AIM-245, AD784816), J. Buchanan (Thesis), "A Study in
Automatic Programming", 146 pages, October 1974.

STAN-CS-74-459 (AIM-246, AD-A000 085), Terry Winograd, "Five Lectures
on Artificial Intelligence", 95 pages, October 1974.

STAN-CS-74-460  (PB238148/AS),  T.  Porter  and  I.   Simon,  "Random
Insertion into a Priority Queue Structure", 25 pages, October 1974.

STAN-CS-74-461  (AIM-247,  AD-A005  041),  N.  M.  Goldman  (Thesis),
"Computer  Generation  of  Natural Language  from  a  Deep Conceptual
Base", 316 pages, October 1974.

STAN-CS-74-462  (AIM-248),  K.  Pingle and  A.  J.  Thomas,  "A Fast,
Feature-Driven Stereo Depth Program", 15 pages, October 1974.

STAN-CS-74-463  (AIM-249,  AD-A002  261),  Bruce  Baumgart  (Thesis),
"Geometric Modeling for Computer Vision", 141 pages, November 1974.

STAN-CS-74-464  (AIM-250,  AD-A003 488),  Ramakant  Nevatia (Thesis),
"Structured Descriptions  of Complex  Curved Objects  for Recognition
and Visual Memory", 125 pages, November 1974.

STAN-CS-74-465  (AIM-251, AD-A001  373), E.  H.  Shortliffe (Thesis),
"MYCIN:  A  Rule-Based  Computer  Program  for   Advising  Physicians
Regarding Antimicrobial Therapy Selection", 409 pages, November 1974.

STAN-CS-74-466  (AIM-252,  AD-A002  246),  Lester  Earnest  (editor),
"Recent Research  in Artificial Intelligence,  Heuristic Programming,
and Network Protocols", 79 pages, November 1974.

STAN-CS-74-467 (AIM-222,  AD-A007 562), M.  Aiello and  R. Weyhrauch,
"Checking Proofs  in the Meta-Mathematics  of First Order  Logic", 55
pages, November 1974.

STAN-CS-74-468 (AD-A003 832), S. Krogdahl, "A Combinatorial  Base for
Some  Optimal Matroid  Intersection Algorithms",  25  pages, November

STAN-CS-74-469, H. Brown,  "Molecular Structure Elucidation  III", 38
pages, December 1974.

STAN-CS-74-470,  L. Trabb  Prado,  "Stable Sorting  and  Merging with
Optimal Time and Space Bounds", 75 pages, December 1974.

STAN-CS-74-471 (AIM-253, AD-A003 487), B. Faught, K. M. Colby  and R.
C.  Parkison, "The Interaction of Inferences, Affects, and Intentions
in a Model of Paranoia", 38 pages, December 1974.

STAN-CS-74-472 (AIM-254, AD-A005 407),  L. H. Quam and M.  J. Hannah,
"Stanford  Automatic  Photogrammetry  Research",  15  pages, December

STAN-CS-74-473 (AIM-255, AD-A005 412), N. Suzuki,  "Automatic Program
Verification  II:   Verifying  Programs  by  Algebraic   and  Logical
Reduction", 28 pages, December 1974.

STAN-CS-74-474  (AIM-256, AD-A007  563), F.  W. von  Henke and  D. C.
Luckham, "A Methodology  for Verifying Programs", 45  pages, December

STAN-CS-75-475 (AIM-257, AD-A005 413), M. C. Newey  (Thesis), "Formal
Semantics  of LISP  with  Applications to  Program  Correctness", 184
pages, January 1975.

STAN-CS-75-476  (AIM-258,  AD-A006  294),  Cordell  Green  and  David
Barstow, "A Hypothetical Dialogue  Exhibiting a Knowledge Base  for a
Program-Understanding System", 45 pages, January 1975.

STAN-CS-75-477 (not  at NTIS),  V. Chvatal  and D.  Sankoff, "Longest
Common Subsequences of Two Random Sequences", 18 pages, January 1975.

STAN-CS-75-478 (SU326 P30-36), G. H. Golub and J. H. Wilkinson, "Ill-
Conditioned Eigensystems and the Computation of the  Jordan Canonical
Form", 66 pages, February 1975.

STAN-CS-75-479 (SU326 P30-38),  F. Chatelin and J.  Lemordant, "Error
Bounds  in  the  Approximation  of  Eigenvalues  of  Differential and
Integral Operators", 24 pages, February 1975.

STAN-CS-75-480  (A008804),  Donald E.  Knuth,  "Notes  on Generalized
Dedekind Sums", 45 pages, February 1975.

STAN-CS-75-481 (SU326 P30-39), J. Oliger, "Difference Methods for the
Initial-Boundary Value Problem  for Hyperbolic Equations",  31 pages,
February 1975.

STAN-CS-75-482  (SLACP-1549,  not at  NTIS),  J. A.  Friedman,  J. L.
Bentley and R. A. Finkel,  "An Algorithm for Finding Best  Matches in
Logarithmic Time", 31 pages, March 1975.

STAN-CS-75-483 (AD-A011 835), P. Erdos and R. L. Graham,  "On Packing
Squares with Equal Squares", 8 pages, March 1975.

STAN-CS-75-484  (AD-A011 832),  R. L.  Graham and  E.  Szemeredi, "On
Subgraph Number Independence in Trees", 18 pages, March 1975.

STAN-CS-75-485  (AD-A011  834),  P.  Erdos  and  E.   Szemeredi,  "On
Multiplicative Representations of Integers", 18 pages, March 1975.

STAN-CS-75-486   (SU326  P30-37),   A.  Bjorck   and  G.   H.  Golub,
"Eigenproblems  for   Matrices  Associated  with   Periodic  Boundary
Conditions", 19 pages, March 1975.

STAN-CS-75-487  (SLACP-1573),  J.  H.  Friedman,  "A  Variable Metric
Decision  Rule for  Non-Parametric Classification",  34  pages, April

STAN-CS-75-488 (AD-A011 445), B. Bollobas, P. Erdos and E. Szemeredi,
"On Complete Subgraphs of r-Chromatic Graphs", 16 pages, April 1975.

STAN-CS-75-489 (AD-A011  833), E.  Szemeredi, "Regular  Partitions of
Graphs", 8 pages, April 1975.

STAN-CS-75-490   (AD-A014   429),  R.   William   Gosper,  "Numerical
Experiments with the Spectral Test", 31 pages, May 1975.

STAN-CS-75-491,  G. D.  Knott (Thesis),  "Deletion in  Binary Storage
Trees", 93 pages, May 1975.

STAN-CS-75-492, R.  Sedgewick (Thesis),  "Quicksort", 352  pages, May

STAN-CS-75-493 (PB244421/AS),  R. Kurki-Suonio,  "Describing Automata
in Terms of Languages  Associated with Their Peripheral  Devices", 37
pages, May 1975.

STAN-CS-75-494, E. H.  Satterthwaite, Jr. (Thesis),  "Source Language
Debugging Tools", 345 pages, May 1975.

STAN-CS-75-495 (AD-A014 424), S. Krogdahl, "The Dependence  Graph for
Bases in Matroids", 29 pages, May 1975.

STAN-CS-75-496 (SU326 P30-41),  R. Underwood (Thesis),  "An Iterative
Block  Lanczos  Method for  the  Solution of  Large  Sparse Symmetric
Eigenproblems", 133 pages, May 1975.

STAN-CS-75-497 (AD-A016 825), R.  L. Graham and L.  Lovasz, "Distance
Matrices of Trees", 48 pages, August 1975.

STAN-CS-75-498   (AIM-259,   AD-A017   025),   H.   Samet   (Thesis),
"Automatically  Proving  the  Correctness  of  Translations Involving
Optimized Code", 214 pages, August 1975.

STAN-CS-75-499  (AIM-260),  D.  C.  Smith  (Thesis),  "PYGMALION:   A
Creative Programming Environment", 193 pages, August 1975.
.next page
.once center

STAN-CS-75-500  (PB246708/AS),   R.  Kurki-Suonio,   "Towards  Better
Definitions of Programming Languages", 29 pages, August 1975.

STAN-CS-75-501  (AIM-261,  AD-A016  810),  O.  Pettersen, "Procedural
Events as Software Interrupts", 8 pages, August 1975.

STAN-CS-75-502 (AIM-262, AD-A016 808), O. Pettersen, "Synchronization
of Concurrent Processes", 14 pages, August 1975.

STAN-CS-75-503  (AIM-263,  AD-A016 807),  O.  Pettersen,  "The Macro-
Processing System STAGE2", 20 pages, August 1975.

STAN-CS-75-504  (AD-A017  370),  P.  Erdos,  R.  L.  Graham   and  E.
Szemeredi, "On Sparse Graphs with Dense Long Paths", 14 pages, August

STAN-CS-75-505 (AD-A017  053), V.  Chvatal, "Some  Linear Programming
Aspects of Combinatorics", 30 pages, August 1975.

STAN-CS-75-506  (AIM-264,  AD-A017  176),  M.   Gordon,  "Operational
Reasoning and Denotational Semantics", 30 pages, August 1975.

STAN-CS-75-507 (AIM-265),  M. Gordon, "Towards  a Semantic  Theory of
Dynamic Binding", 25 pages, August 1975.

STAN-CS-75-508, James Eve, "On Computing the Transitive Closure  of a
Relation", 14 pages, August 1975.

STAN-CS-75-509  (AD-A017  331),  M.  Overton  and   A.  Proskurowski,
"Finding the Maximal  Incidence Matrix of  a Large Graph",  72 pages,
August 1975.

STAN-CS-75-510 (AD-A017 054), A. C. Yao and D. E. Knuth, "Analysis of
the Subtractive  Algorithm for Greatest  Common Divisors",  10 pages,
August 1975.

STAN-CS-75-511 (AD-A017 294), P. Dubost and J. M.  Trousse, "Software
Implementation of a New  Method of Combinatorial Hashing",  35 pages,
August 1975.

STAN-CS-75-512 (PB247895/AS), Robert E. Tarjan, "Applications of Path
Compression on Balanced Trees", 53 pages, October 1975.

STAN-CS-75-513 (SLACR-186), J. L Bentley, "A Survey of Techniques for
Fixed Radius Near Neighbor Searching", 30 pages, October 1975.

STAN-CS-75-514 (PB247561/AS), N. Tokura, "A Microprogram Control Unit
Based on a Tree Memory", 39 pages, October 1975.

STAN-CS-75-515, R. P.  Brent, "Fast Multiple-Precision  Evaluation of
Elementary Functions", 22 pages, October 1975.

STAN-CS-75-516  (SU326 P30-42),  J. Stoer,  "On the  Relation Between
Quadratic  Termination  and  Convergence  Properties  of Minimization
Algorithms", 103 pages, October 1975.

STAN-CS-75-517,   V.  Chvatal   and  C.   Thomassen,   "Distances  in
Orientations of Graphs", 24 pages, October 1975.

STAN-CS-75-518  (AD-A018   461),  V.  Chvatal   and  P.   L.  Hammer,
"Aggregation  of  Inequalities  in  Integer  Programming",  27 pages,
October 1975.

STAN-CS-75-519 (AIM-266, AD-A019 641),  R. Davis, B. Buchanan  and E.
Shortliffe, "Production  Rules as a  Representation for  a Knowledge-
Based Consultation Program", 37 pages, November 1975.

STAN-CS-75-520  (AIM-267,  AD-A019 664),  F.  W. von  Henke,  "On the
Representation of Data Structures in LCF with Applications to Program
Generation", 41 pages, November 1975.

STAN-CS-75-521 (AIM-268),  C. Thompson,  "Depth Perception  in Stereo
Computer Vision", 16 pages, November.

STAN-CS-75-522 (AIM-269, AD-A019 569),  D. C. Luckham and  N. Suzuki,
"Automatic Program  Verification IV:  Proof  of Termination  Within a
Weak Logic of Programs", 39 pages, November 1975.

STAN-CS-75-523  (AIM-270,  AD-A019 467),  J.  F. Reiser,  "BAIL  -- A
Debugger for SAIL", 26 pages, November 1975.

STAN-CS-75-524  (AIM-271, AD-A019  702), R.  Davis and  J.  King, "An
Overview of Production Systems", 40 pages, November 1975.

STAN-CS-75-525 (AIM-272),  S. Ganapathy (Thesis),  "Reconstruction of
Secnes Containing  Polyhedra from Stereo  Pair of Views",  204 pages,
November 1975.

STAN-CS-75-526  (AD-A020 848),  Robert E.  Tarjan, "Graph  Theory and
Gaussian Elimination", 23 pages, November 1975.

STAN-CS-75-527 (CSL-TR-100, not  at NTIS), E. McCluskey,  J. Wakerley
and R.   Ogus, "Center for  Reliable Computing", 100  pages, November

STAN-CS-75-528  (AD-A020  597),  Robert  E.  Tarjan,   "Solving  Path
Problems on Directed Graphs", 45 pages, November 1975.

STAN-CS-75-529 (SLACP-1665), J. L. Bentley and J. H.  Friedman, "Fast
Algorithms  for  Constructing Minimal  Spanning  Trees  in Coordinate
Spaces", 29 pages, November 1975.

STAN-CS-75-530  (SU326  P30-40),  M.  Lentini  and  V.  Pereyra,  "An
Adaptive Finite  Difference Solver for  Nonlinear Two  Point Boundary
Problems with Mild Boundary Layers", 42 pages, November 1975.

STAN-CS-75-531  (AD-A020  847),  D.   J.  Rose  and  R.   E.  Tarjan,
"Algorithmic Aspects  of Vertex Elimination  on Directed  Graphs", 45
pages, November 1975.

STAN-CS-75-532,  Pat  E. Jacobs  (staff),  "Bibliography  of Computer
Science Reports", 77 pages, November 1975.

STAN-CS-76-533 (LBL-4604, SU326 P30-44),  P. Concus, G. H.  Golub and
D.  P.  O'Leary,  "A Generalized  Conjugate Gradient  Method  for the
Numerical Solution  of Elliptic  Partial Differential  Equations", 24
pages, January 1976.

STAN-CS-76-534 (AIM-273), Linda  G. Hemphill (Thesis),  "A Conceptual
Approach to Automatic  Language Understanding and  Belief Structures:
With Disambiguation of the Word 'For' ", 254 pages, January 1976.

STAN-CS-76-535, P. Concus and  G. H. Golub, "A  Generalized Conjugate
Gradient Method for  Non-Selmmetric Systems of Linear  Equations", 12
pages, January 1976.

STAN-CS-76-536 (AIM-274, AD-A020 942/9WC), David Grossman and Russell
Taylor, "Interactive Generation of Object Models with a Manipulator",
32 pages, January 1976.

STAN-CS-76-537   (AIM-275,  AD-A020   943/7WC),  Robert   C.  Bolles,
"Verification  Vision  Within  a  Programmable  Assembly  System:  An
Introductory Discussion", 82 pages, January 1976.

STAN-CS-76-538 (AD-A024  416), Donald  E. Knuth  and L.  Trabb Pardo,
"Analysis  of a  Simple Factorization  Algorithm", 43  pages, January

STAN-CS-76-539  (AIM-276,  AD-A021  055/9WC),  Zohar  Manna  and  Adi
Shamir, "A  New Approach  to Recursive  Programs", 26  pages, January

STAN-CS-76-540 (AD-A021 587), R. L. Graham, A. C. Yao and F.  F. Yao,
"Addition Chains with Multiplicative Cost", 7 pages, January 1976.

STAN-CS-76-541, Donald E.  Knuth, "Mathematics and  Computer Science:
Coping with Finiteness", 30 pages, March 1976.

STAN-CS-76-542 (AIM-277,  AD-A027 454), Zohar  Manna and  Adi Shamir,
"The Theoretical Aspects of the Optimal Fixedpoint", 24  pages, March

STAN-CS-76-543, D.  A. Zave, "Optimal  Polyphase Sorting",  75 pages,
March 1976.

STAN-CS-76-544, B.  Mont-Reynaud, "Removing Trivial  Assignments from
Programs", 28 pages, March 1976.

STAN-CS-76-545, W.  J. Paul, R.  E. Tarjan and  J. R.  Celoni, "Space
Bounds for a Game on Graphs", 21 pages, March 1976.

STAN-CS-76-546 (SLACP-1715), F. Baskett and L. Sustek, "The Design of
a Low Cost Video Graphics Terminal", 25 pages, March 1976.

STAN-CS-76-547, Robert  E. Tarjan,  "Iterative Algorithms  for Global
Flow Analysis", 31 pages, March 1976.

STAN-CS-76-548, D. Prost O'Leary (Thesis), "Hybrid Conjugate Gradient
Algorithms", 120 pages, March 1976.

STAN-CS-76-549  (AIM-278, AD-A027  455), David  Luckham  and Norihisa
Suzuki,  "Automatic  Program  Verification  V:  Verification-Oriented
Proof Rules or Arrays, Records and Pointers", 48 pages, March 1976.

STAN-CS-76-550,  R.  E.  Tarjan and  A.  E.  Trojanowski,  "Finding a
Maximum Independent Set", 22 pages, June 1976.

STAN-CS-76-551 (AD-A032 347), Donald E. Knuth, "The State of  the Art
of Computer Programming", 57 pages, June 1976.

STAN-CS-76-552   (AIM-279),  Norihsa   Suzuki   (Thesis),  "Automatic
Verification of  Programs with Complex  Data Structures",  194 pages,
February 1976.

STAN-CS-76-553 (AD-A032 772),  R. E. Tarjan, "Complexity  of Monotone
Networks for Computing Conjunctions", 21 pages, June 1976.

STAN-CS-76-554, F.  S. Yu (Thesis),  "Modeling the Write  Behavior of
Computer Programs", 185 pages, June 1976.

STAN-CS-76-555 (AIM-280), David D. Grossman, "Monte  Carlo Simulation
of  Tolerancing in  Discrete  Parts Manufacturing  and  Assembly", 25
pages, May 1976.

STAN-CS-76-556,  L.  J.  Guibas (Thesis),  "The  Analysis  of Hashing
Algorithms", 136 pages, August 1976.

STAN-CS-76-557  (AD-A032 122),  M. S.  Paterson, "An  Introduction to
Boolean Function Complexity", 19 pages, August 1976.

STAN-CS-76-558  (AIM-281.1,  AD-A042 507),  Zohar  Manna  and Richard
Waldinger,   "Is   'sometime'   sometimes   better   than   'always'?
Intermittent assertions  in proving  program correctness",  41 pages,
June 1976, revised March 1977.

STAN-CS-76-559 (AD-A032 348), Gene Golub, V. Klema and G. W. Stewart,
"Rank Degeneracy and Least Squares Problems", 38 pages, August 1976.

STAN-CS-76-560  (AIM-282),  Russell  Taylor  (Thesis),  "Synthesis of
Manipulator  Control  Programs from  Task-level  Specifications", 229
pages, July 1976.

STAN-CS-76-561,  D.  R.  Woods,  "Mathematical  Programming Language:
User's Guide", 139 pages, August 1976.

STAN-CS-76-562 (AD-A032  123), Donald  E. Knuth  and L.  Trabb Prado,
"The Early Development  of Programming Languages", 109  pages, August

STAN-CS-76-563,  D.  L. Russell  (Thesis),  "State  Restoration Among
Communicating Processes", 173 pages, August 1976.

STAN-CS-76-564  (AIM-283), Randall  Davis (Thesis),  "Applications of
Meta  Level Knowledge  to the  Construction, Maintenance  and  Use of
Large Knowledge Bases", 304 pages, July 1976.

STAN-CS-76-565  (AD-A032 802),  J. C.  Strikwerda  (Thesis), "Initial
Boundary  Value  Problems for  Incompletely  Parabolic  Systems", 107
pages, November 1976.

STAN-CS-76-566,  Margaret  Wright  (Thesis),  "Numerical  Methods for
Nonlinearly Constrained Optimization", 262 pages, November 1976.

STAN-CS-76-567 (AIM-284),  Rafael Finkel (Thesis),  "Constructing and
Debugging Manipulator Programs", 171 pages pages, August 1976.

STAN-CS-76-568  (AIM-285,  PB-259  130/2WC),  T.  O.  Binford,  D. D.
Grossman, C. R. Lui, R. C. Bolles, R. A. Finkel, M. S. Mujtaba, M. D.
Roderick, B.  E. Shimano, R. H. Taylor, R. H. Goldman, J.  P. Jarvis,
V.  D.  Scheinman, T.   A.  Gafford, "Exploratory  Study  of Computer
Integrated Assembly Systems -  Progress Report 3", 336  pages, August

STAN-CS-76-568-4 (AIM-285.4,  PB-259 130/3WC), T.  O. Binford,  C. R.
Lui,  G.  Gini,  M. Gini,  I. Glaser,  T. Ishida,  M. S.  Mujtaba, E.
Nakano, H.  Nabavi, E.  Panofsky, B.  E. Shimano,  R. Goldman,  V. D.
Scheinman,  D.  Schmelling,  T.  A.  Gafford,  "Exploratory  Study of
Computer Integrated Assembly Systems - Progress Report 4", 255 pages,
June 1977.

STAN-CS-76-569  (PB-261  814/AS), John  G.  Herriot,  "Calculation of
interpolating Natural  Spline Functions Using  De Boor's  Package for
Calculating with B-Splines", 46 pages, November 1976.

STAN-CS-76-570 (AIM-286), Douglas Lenat (Thesis), "AM:  An Artificial
Intelligence  Approach  to  Discovery  in  Mathematics  as  Heuristic
Search", 350 pages, July 1976.

STAN-CS-76-571  (AIM-287),   Michael  Roderick   (Thesis),  "Discrete
Control of a Robot Arm", 98 pages, August 1976.

STAN-CS-76-572 (AIM-288),  Robert Filman  and Richard  Weyhrauch, "An
FOL Primer", 36 pages, September 1976.

STAN-CS-76-573 (AD-A032 945),  Arne Jonassen, "The  Stationary P-Tree
Forest", 90 pages, November 1976.

STAN-CS-76-574 (AIM-289),  John Reiser  (editor), "SAIL  Manual", 178
pages, August 1976.

STAN-CS-76-575  (AIM-290,  AD-A042   494),  Nancy  W.   Smith,  "SAIL
Tutorial", 54 pages, November 1976.

STAN-CS-76-576  (AD-A035  350),  Colin  McDiarmid,  "Determining  the
Chromatic Number of a Graph", 61 pages, December 1976.

STAN-CS-76-577 (AIM-291, AO44 713), Bruce Buchanan,  Joshua Lederberg
and John McCarthy, "Three  Reviews of J. Weizenbaum's  Computer Power
and Human Reason", 28 pages, November 1976.

STAN-CS-76-578  (AD-A035  219),  Joseph  Oliger  and  Arne Sundstrom,
"Theoretical  and Practical  Aspects of  Some  Initial-Boundary Value
Problems in Fluid Dynamics", 62 pages, December 1976.

STAN-CS-76-579 (SLACP-1826), Forest  Basket and Abbas Rafii,  "The A0
Inversion Model of Program Paging Behavior", 30 pages, December 1976.

STAN-CS-76-580  (AIM-292),  Terry  Winograd,  "Towards  a  Procedural
Understanding of Semantics", 30 pages, October 1976.

STAN-CS-76-581  (AIM-293,  AD-A042  508),  Daniel  Bobrow  and  Terry
Winograd, "An Overview of KRL", 40 pages, November 1976.

STAN-CS-76-582  (AD-A038 863),  V. Chvatal,  M. R.  Garey, and  D. S.
Johnson, "Two  Results Concerning  Multicoloring", 9  pages, December

STAN-CS-77-583 (AD-A038 864), V. Chvatal, "Determining  the Stability
Number of a Graph", 39 pages, February 1977.

STAN-CS-77-584  (AD-A038  865),  Donald  E.  Knuth,  "Deletions  That
Preserve Randomness", 32 pages, February 1977.

STAN-CS-77-585, P.  Concus, G.  H. Golub  and D.  O'Leary, "Numerical
Solution of  Nonlinear Elliptic Partial  Differential Equations  by a
Generalized Conjugate Gradient Method", 43 pages, February 1977.

STAN-CS-77-586 (AIM-294,  AD-A042 516),  Nachum Dershowitz  and Zohar
Manna, "The  Evolution of  Programs: A  System for  Automatic Program
Modification", 45 pages, February 1977.

STAN-CS-77-587  (AD-A038  867), M.  R.  Garey, R.  L.  Graham,  D. S.
Johnson,  and  D.   E.  Knuth,  "Complexity  Results   for  Bandwidth
Minimization", 36 pages, February 1977.

STAN-CS-77-588 (PB-266 381/AS), Tony  Fan C. Chan, "On  Computing the
Singular Value Decomposition", 57 pages, February 1977.

STAN-CS-77-589 (HPP-77-2, AD-A038 866), Robert S. Engelmore and H. P.
Nii, "A Knowledge-Based System  for the Interpretation of  Protein X-
Ray Crystallographic Data", 36 pages, February 1977.

STAN-CS-77-590  (AD-A038  868),  Donald  E.  Knuth  and   Michael  S.
Paterson, "Identities from Partition Involutions", 22 pages, February

STAN-CS-77-591  (AIM-295), Robert  C. Bolles  (Thesis), "Verification
Vision Within  a Programmable Assembly  System", 245  pages, February

STAN-CS-77-592  (AIM-296),   Robert  Cartwright,  Jr.   (Thesis),  "A
Practical  Formal Semantic  Definition and  Verification  Systems for
Typed LISP", 158 pages, Fegruary 1977.

STAN-CS-77-593 (HPP-77-1), A. C. Scott, W. J. Clancey, R.  Davis, and
E.  H.   Shortliffe,  "Explanation  Capabilities  of Production-Based
Consultation Systems", 30 pages, April 1977.

STAN-CS-77-594   (SLAC-200),  Edwin   P.  Stritter   (Thesis),  "File
Migration", 112 pages, April 1977.

STAN-CS-77-595,  John Gregg  Lewis (Thesis),  "Algorithms  for Sparse
Matrix Eigenvalue Problems", 212 pages, April 1977.

STAN-CS-77-596 (HPP-77-5), Mark J. Stefik and Nancy Martin, "A Review
of  Knowledge  Based  Problem  Solving  as  a  Basis  for  a Genetics
Experiment Designing System", 97 pages, April 1977.

STAN-CS-77-597  (HPP-77-6), Bruce  G. Buchanan  and Tom  M. Mitchell,
"Model-Directed Learning of Production Rules", 21 pages, April 1977.

STAN-CS-77-598 (AD-A040 486), Arne  T. Jonassen and Donald  E. Knuth,
"A Trivial Algorithm Whose Analysis Isn't", 32 pages, April 1977.

STAN-CS-77-599 (AD-A040 441),  Donald E. Knuth and  Arnold Schonhage,
"The Expected Linearity of a Simple Equivalence Algorithm", 56 pages,
April 1977.
.next page
.once center

STAN-CS-77-600 (AD-A040 538),  Mark R. Brown (Thesis),  "The Analysis
of a Practical and  Nearly Optimal Priority Queue", 102  pages, April

STAN-CS-77-601 (AD-A045 652),  John F. Reiser (Thesis),  "Analysis of
Additive Random Number Generators", 34 pages, April 1977.

STAN-CS-77-602, C.  DeBoor and G.  H. Golub, "The  Numerically Stable
Reconstruction  of a  Jacobi Matrix  from Spectral  Data",  21 pages,
April 1977.

STAN-CS-77-603 (AD-A041 292),  Robert E. Tarjan,  "Reference Machines
Require Non-Linear Time to  Maintain Disjoint Sets", 45  pages, April

STAN-CS-77-604  (AD-A040 399),  Tony F.  C. Chan  and  Joseph Oliger,
"Control of the Dissipativity of Lax-Wendroff Type Methods  for First
Order Systems of Hyperbolic Equations", 45 pages, April 1977.

STAN-CS-77-605 (HPP-77-14, AD-A042 834), R. G. Smith, T. M. Mitchell,
R.  A. Chestek  and B. Buchanan, "A  Model for Learning  Systems", 22
pages, June 1977.

STAN-CS-77-606, Michael J. Clancy and Donald E. Knuth, "A Programming
and Problem-Solving Seminar", 104 pages, June 1977.

STAN-CS-77-607 (CSL-TR-133), Susan Owicki, "Specifications and Proofs
for Abstract Data Types in Concurrent Programs", 26 pages, June 1977.

STAN-CS-77-608,   Istvan  Simon   (Thesis),  "On   Some  Subrecursive
Reducibilities", 102 pages, June 1977.

STAN-CS-77-609  (AD-A043  362),  Robert  E.  Tarjan,  "Complexity  of
Combinatorial Algorithms", 97 pages, June 1977.

STAN-CS-77-610   (AIM-297),   Terry   Winograd,   "A   Framework  for
Understanding Discourse", 24 pages, June 1977.

STAN-CS-77-611   (AIM-298,   AD-A046  703),   Zohar   Manna,  Richard
Waldinger, "The Logic of Computer Programming", 90 pages, June 1977.

STAN-CS-77-612 (HPP-77-7,  AD-A042 756), H.  Penny Nii and  Edward A.
Feigenbaum,  "Rule-Based Understanding  of Signals",  23  pages, June

STAN-CS-77-613,  E.  Spedicato,  "On  Some  Classes  of  Quasi-Newton
Methods for Systms of Nonlinear Algebraic Equations", 31  pages, June

STAN-CS-77-614 (AIM-299), Zohar  Manna, Adi Shamir,  "The Convergence
of Functions to Fixedpoints of Recursive Definitions", 45 pages, June

STAN-CS-77-615, R. Glowinski and O. Pironneau, "Numerical Methods for
the First  Biharmonic Equation  and for  the Two-  Dimensional Stokes
Problem", 86 pages, June 1977.

STAN-CS-77-616 (AD-A046  311), Heinz-Otto  Kreiss and  Joseph Oliger,
"Stability of the Fourier Method", 25 pages, September 1977.

STAN-CS-77-617   (AIM-300),  Terry   Winograd,  "On   some  Contested
Suppositions of Generative Linguistics about the Scientific  Study of
Language", 25 pages, September 1977.

STAN-CS-77-618  (HPP-77-28,  AD-A045   948),  Nils  J.   Nilsson,  "A
Production System for Automatic Deduction", 42 pages, September 1977.

STAN-CS-77-619 (AD-A046  481), W.  J. Paul and  R. E.  Tarjan, "Time-
Space Trade-Offs in a Pebble Game", 8 pages, September 1977.

STAN-CS-77-620, J. Bolstad and J. Oliger, "Adaptation of  the Fourier
Method to the Nonperiodic Initial Boundary Value Problem",  80 pages,
September 1977.

STAN-CS-77-621 (HPP-77-25, AD-A046  289), E. A. Feigenbaum,  "The Art
of Artificial Intelligence:  I. Themes and Case Studies  of Knowledge
Engineering", 18 pages, September 1977.

STAN-CS-77-622,  G. H.  Golub, M.  Heath and  G.  Wahba, "Generalized
Cross-Validation as a Method for Choosing a Good Ridge Parameter", 25
pages, September 1977.

STAN-CS-77-623,  D.  Boley  and  G.  H.  Golub,  "Inverse  Eigenvalue
Problems for Band Matrices", 75 pages, September 1977.

STAN-CS-77-624  (AIM-301,  AD-A044  231),  Lester  Earnest,  et. al.,
"Recent Research in Computer Science", 118 pages, September 1977.

STAN-CS-77-625 (AD-A046 090), Mark R. Brown and Robert E.  Tarjan, "A
Fast Merging Algorithm", 42 pages, September 1977.

STAN-CS-77-626,  Andrew C.  Yao,  "On the  Loop  Switching Addressing
Problem", 21 pages, October 1977.

STAN-CS-77-627 (AD-A048 786), Richard J. Lipton and Robert E. Tarjan,
"A Separator Theorem for Planar Graphs", 31 pages, October 1977.

STAN-CS-77-628 (AD-A048 787), Richard J. Lipton and Robert E. Tarjan,
"Applications of a Planar Separator Theorem", 34 pages, October 1977.

STAN-CS-77-629, Andrew  C. Yao, "The  Complexity of  Pattern Matching
for a Random String", 43 pages, October 1977.

STAN-CS-77-630  (AIM-302,  AD-AO49  761),  Zohar  Manna  and  Richard
Waldinger "Synthesis:  Dreams => Programs", 119 pages, October 1977.

STAN-CS-77-631 (AIM-303,  AD-A050 806),  Nachum Dershowitz  and Zohar
Manna, "Inference  Rules for Program  Annotation", 46  pages, October

STAN-CS-77-632 (AIM-304, AD-A048 684), Todd Jeffery  Wagner (Thesis),
"Hardware Verification", 102 pages, October 1977.

STAN-CS-77-633  (AIM-305,  AD-A048  660),  William  Faught  (Thesis),
"Motivation and Intensionality  in a Computer Simulation  Model", 104
pages, October 1977.

STAN-CS-77-634, W. Hoffmann and B. N. Parlett, "A New Proof of Global
Convergence  for the  Tridiagonal  QL Algorithm",  18  pages, October

STAN-CS-77-635, G. H.  Golub, F. T. Luk  and M. L. Overton,  "A Block
Lanczos  Method  to  Computer the  Singular  Value  and Corresponding
Singular Vectrs of a Matrix", 80 pages, October 1977.

STAN-CS-77-636 (AD-A048  788), Kenneth P.  Bube, "C↑m  Convergence of
Trigonometric Interpolants", 25 pages, October 1977.

STAN-CS-77-637, Lyle Ramshaw, "On  the Gap Structure of  Sequences of
Points on a Circle", 26 pages, September 1977.

STAN-CS-77-638 (SU326 P30-57),  Dianne Prost O'Leary,  "A Generalized
Conjugate  Gradient  Algorithm  for  Solving  a  Class  of  Quadratic
Programming Problems", 49 pages, October 1977.

STAN-CS-77-639  (AIM-306,  AD-A053  175),  Cordell  Green  and  David
Barstow, "On Program Synthesis Knowledge", 63 pages, November 1977.

STAN-CS-77-640  (AIM-307,  AD-A053  176),  Zohar  Manna  and  Richard
Waldinger,  "Structured  Programming  Without  Recursion",  10 pages,
December 1977.

STAN-CS-77-641  (AIM-308,  AD-A053  184),  David   Barstow  (Thesis),
"Automatic Construction of Algorithms", 220 pages, December 1977.

STAN-CS-77-642,  Andrew  C. Yao,  "On  Constructing  Minimum Spanning
Trees  in  k-Dimensional  Spaces  and  Related  Problems",  37 pages,
November 1977.

STAN-CS-77-643,  Kunio  Tanabe,  "A  Geometric  Method  in  Nonlinear
Programming", 53 pages, December 1977.

STAN-CS-77-644,   Bernard   Mont-Reynaud    (Thesis),   "Hierarchical
Properties of Flows and the Determination of Inner Loops", 164 pages,
December 1977.

STAN-CS-77-645, Richard J. Lipton,  Donald J. Rose, and  Robert Endre
Tarjan, "Generalized Nested Dissection", 32 pages, December 1977.

STAN-CS-77-646 (AIM-309), C. G. Nelson and Derek C. Oppen, "Efficient
Decision Procedures Based  on Congruence Closure", 5  pages, December

STAN-CS-78-647,  Andrew  C.   Yao,  "A  Lower  Bound   to  Palindrome
Recognition  by  Probabilistic Turing  Machines",  20  pages, January

STAN-CS-78-648   (AD-A054  143),   Donald  E.   Knuth,  "Mathematical
Typography", 68 pages, January 1978.

STAN-CS-78-649   (HPP-78-1),  Bruce   G.  Buchanan   and   Edward  A.
Feigenbaum,   "DENDRAL   and   Meta-DENDRAL:     Their   Applications
Dimension", 25 pages, January 1978.

STAN-CS-78-650 (AD-A054 144), Thomas Lengaue and Robert E. Tarjan, "A
Fast Algorithm  for Finding  Dominators in a  Flow Graph",  40 pages,
February 1978.

STAN-CS-78-651 (AIM-310,  AD-A058 601),  Nachum Dershowitz  and Zohar
Manna, "Proving Termination with Multiset Orderings", 30 pages, March

STAN-CS-78-652  (AIM-311),  Greg  Nelson  and  Derek  C.   Oppen,  "A
Simplifier Based on  Efficient Decision Algorithms", 20  pages, March

STAN-CS-78-653, Yossi Shiloach, "Multi-Terminal 0-1 Flow",  18 pages,
January 1978.

STAN-CS-78-654 (PB288520/AS), Yossi Shiloach, "The Two  Paths Problem
is Polynomial", 23 pages, September 1977.

STAN-CS-78-655,  Germund  Dahlquist, "On  Accuracy  and Unconditional
Stability of Linear  Multistep Methods for Second  Order Differential
Equations", 8 pages, March 1978.

STAN-CS-78-656,   Michael   T.  Heath,   "Numerical   Algorithms  for
Nonlinearly Constrained Optimization", 142 pages, March 1978.

STAN-CS-78-657  (AIM-312),  John  McCarthy,  Masahiko  Sato,  Takeshi
Hayashi, and Shigeru Igarashi, "On the Model Theory of Knowledge", 12
pages, April 1978.

STAN-CS-78-658 (SLAC-205), Leonard J. Shustek (Thesis), "Analysis and
Performance of Computer Instruction Sets", 177 pages, March 1978.

STAN-CS-78-659  (SLAC-206), John  E. Zolnowsky  (Thesis),  "Topics in
Computational Geometry", 63 pages, March 1978.

STAN-CS-78-660 (AIM-313), Bruce  E. Shimano (Thesis),  "The Kinematic
Design and  Force Control of  Computer Controlled  Manipulators", 135
pages, March 1978.

STAN-CS-78-661 (AD-A060 794), John  R. Gilbert and Robert  E. Tarjan,
"Variations of a Pebble Game on Graphs", 23 pages, April 1978.

STAN-CS-78-662, Andrew Chi-Chih Yao, "New Algorithms in Bin Packing",
50 pages, May 1978.

STAN-CS-78-663  (AD-A060 793),  Eric Grosse,  "Software  Restyling in
Graphics and Programming Languages", 30 pages, May 1978.

STAN-CS-78-664, Peter Bjorstad and Jorge Nocedal, "Analysis of  a New
Algorithm for One-Dimensional Minimization", 18 pages, May 1978.

STAN-CS-78-665 (CSL-TR-152), T. M. McWilliams and L. C. Widdoes, Jr.,
"SCALD:   Structured Computer-Aided  Logic Design",  39  pages, March

STAN-CS-78-666 (CSL-TR-153), T. M. McWilliams and L. C. Widdoes, Jr.,
"The SCALD Physical Design Subsystem", 28 pages, March 1978.

STAN-CS-78-667  (HPP-78-7, AD-A060  795), Reid  G. Smith  and Randall
Davis, "Distributed Problem Solving:  The Contract Net  Approach", 27
pages, June 1978.

STAN-CS-78-668  (HPP-78-10), Alain  Bonnet, "BAOBAB,  A Parser  for a
Rule-Based System Using a Semantic Grammar", 41 pages, June 1978.

STAN-CS-78-669,  Paul  K.  Stockmeyer and  F.  Frances  Yao,  "On the
Optimality of Linear Merge", 11 pages, June 1978.

STAN-CS-78-670, Ronald L. Graham, Andrew C. Yao, and F.  Frances Yao,
"Information Bounds  are Weak in  the Shortest Distance  Problem", 39
pages, June 1978.

STAN-CS-78-671   (AIM-316),  Jerrold   Ginsparg   (Thesis),  "Natural
Language Processing in  an Automatic Programming Domain",  172 pages,
June 1978.

STAN-CS-78-672, Tony  F. C. Chan  (Thesis), "Comparison  of Numerical
Methods for Initial Value Problems", 195 pages, June 1978.

STAN-CS-78-673 (SU36 P30-59), Tony F. Chan, William M. Coughran, Jr.,
Eric H.  Grosse and Michael  T. Heath, "A  Numerical Library  and its
Support", 22 pages, July 1978.

STAN-CS-78-674  (SU326 P30-60),  Tony F.  Chan and  Roland Glowinski,
"Finite Element  Appoximation and  Iterative Solution  of a  Class of
Mildly Non-Linear Elliptic Equations", 76 pages, November 1978.

STAN-CS-78-675 (AIM-317), Donald E. Knuth, "Tau Epsilon Chi, a system
for technical text", 200 pages, November 1978.

STAN-CS-78-676 (SLACR-213), John Phineas Banning (Thesis),  "A Method
for  Determining the  Side Effects  of Procedure  Calls",  283 pages,
November 1978.

STAN-CS-78-677, Frank M. Liang (editor),  "Comprehensive Examinations
in Computer Science, 1972-1978", 238 pages, November 1978.

STAN-CS-78-678   (AIM-314),   Derek   C.   Oppen,   "Reasoning  About
Recursively Defined Data Structures", 15 pages, November 1978.

STAN-CS-78-679,  Walter Murray  and Michael  L.  Overton, "Steplength
Algorithms for Minimizing a Class of Nondifferentiable Functions", 57
pages, November 1978.

STAN-CS-78-680, Connie J. Stanley (editor), "Bibliography of Stanford
Computer Science Reports, 1963-1978", 100 pages, November 1978.

STAN-CS-78-681  (AD-A065  283),  Louis  Trabb  Pardo  (Thesis),  "Set
Representation and Set Intersection", 85 pages, December 1978.

STAN-CS-78-682  (AD-A065  265),  Jacobo  Valdes   (Thesis),  "Parsing
Flowcharts and Series-Parallel Graphs", 233 pages, December 1978.

STAN-CS-78-683 (AD-A065 284), Robert Endre Tarjan, "Storing  a Sparse
Table", 23 pages, December 1978.

STAN-CS-78-684  (SU326 P30-63),  D. L.  Boley and  G. H.  Golub, "The
Matrix Inverse Eigenvalue  Problem for Periodic Jacobi  Matrices", 18
pages, December 1978.

STAN-CS-78-685  (AD-A065  285),  Franklin  Tai-cheung  Luk  (Thesis),
"Sparse and Parallel Matrix Computations", 168 pages, December 1978.

STAN-CS-78-686, Richard J. Lipton, Arnold L. Rosenberg and  Andrew C.
Yao, "External Hashing  Schemes for Collections of  Data Structures",
33 pages, December 1978.

STAN-CS-78-687   (AIM-315,    AD-A065   698),    Richard   Weyhrauch,
"Prolegomena to  a Theory  of Formal  Reasoning", 41  pages, December

STAN-CS-78-688 (AIM-318), Zohar Manna, "Six Lectures on the  Logic of
Computer Programming", 54 pages, December 1978.

STAN-CS-78-689 (AIM-319), Charles G. Nelson, "An n∩[log  n] Algorithm
for the Two-Variable-Per-Constraint Linear Programming Satisfiability
Problem", 20 pages, December 1978.

STAN-CS-78-690  (AIM-320,  AD-A065  558),  Zohar  Manna  and  Richard
Waldinger,  "A Deductive  Approach to  Program Synthesis",  30 pages,
December 1978.

STAN-CS-78-691  (AD-A066  058),   Kenneth  P.  Bube   (Thesis),  "The
Construction of Initial Data for Hyperbolic Systems  from Nonstandard
Data", 119 pages, November 1978.

STAN-CS-78-692 (HPP-77-39,  AD-A066 147), Bruce  G. Buchanan,  Tom M.
Mitchell,  Reid  G. Smith  and  C. Richard  Johnson  Jr.,  "Models of
Learning Systems", 38 pages, November 1978.

STAN-CS-78-693 (AD-A066 099), Douglas B. West, "A Class  of Solutions
to the Gossip Problem", 61 pages, November 1978.

STAN-CS-78-694, Jonathan King (editor), "Computer Science at Stanford
1977-1978", 27 pages, November 1978.

STAN-CS-78-695 (AIM-321, AD-A066 562), John McCarthy et  al., "Recent
Research in Artificial Intelligence and Foundations  of Programming",
94 pages, November 1978.

STAN-CS-78-696 (HPP-78-22,  AD-A068 538),  Reid G.  Smith and  Tom M.
Mitchell, "Considerations for Microprocessor-Based  Terminal Design",
14 pages, November 1978.

STAN-CS-78-697, Walter Gander,  "On the Linear Least  Squares Problem
with a Quadratic Constraint", 120 pages, November 1978.

STAN-CS-78-698, Richard  E. Sweet  (Thesis), "Empirical  Estimates of
Program Entropy", 167 pages, November 1978.

STAN-CS-78-699 (HPP-78-23, AD-A068 539), James Bennett, Lewis Creary,
Robert  Englemore  and  Robert  Melosh,  "SACON:   A  Knowledge-Based
Consultant for Structural Analysis", 65 pages, September 1978.
.next page
.once center

STAN-CS-78-700   (HPP-78-28,  AD-A068   230),  Reid   Garfield  Smith
(Thesis),  "A  Framework   for  Problem  Solving  in   a  Distributed
Processing Environment", 150 pages, December 1978.

STAN-CS-79-701, Mitch L  Model (Thesis), "Monitoring  System Behavior
in a Complex Computational Environment", 189 pages, January 1979.

STAN-CS-79-702,  Yossi  Shiloach,  "An   O(n|cdIlog↑2I)  Maximum-Flow
Algorithm", 33 pages, January 1979.

STAN-CS-79-703  (AD-A068 228),  Bengt Aspval  and Yossi  Shiloach, "A
Polynomial Time Algorithm for Solving Systems of  Linear Inequalities
With Two Variables Per Inequality", 25 pages, January 1979.

STAN-CS-79-704 (AD-A068 232), Roland A. Sweet, "A Survey of the State
of Software  for Partial Differential  Equations", 31  pages, January

STAN-CS-79-705,   Robert   Lewis  (Scot)   Drysdale,   III  (Thesis),
"Generalized Voronoi  Diagrams and  Geometric Searching",  196 pages,
January 1979.

STAN-CS-79-706, F. Francis Yao, "Graph 2-Isomorphism is NP-Complete",
12 pages, January 1979.

STAN-CS-79-707, Chris Van Wyk and Donald E. Knuth, "A Programming and
Problem-Solving Seminar", 83 pages, January 1979.

STAN-CS-79-708, Andrew  C. Yao, "An  Analysis of a  Memory Allocation
Scheme for Implementing Stacks", 18 pages, January 1979.

STAN-CS-78-709 (AD-A068  231), Mark  R. Brown  and Robert  E. Tarjan,
"Design  and Analysis  of a  Data Structure  for  Representing Sorted
Lines", 50 pages, December 1978.

STAN-CS-79-710 (AD-A068 210), Lloyd Trefethen, "Numerical Computation
of the Schwarz-Christoffel Transformation", 42 pages, 1979.

STAN-CS-78-711, Tom Michael  Mitchell (Thesis), "Version  Spaces:  An
Approach to Concept Learning", 216 pages, December 1978.

STAN-CS-79-712  (AD-A068  393),  Donald  E.  Knuth,  "The  Errata  of
Computer Programming", 58 pages, January 1979.

STAN-CS-79-713, Gene  Golub, Stephen  Nash and  Charles Van  Loan, "A
Hessenberg-Schur  Method for  the Problem  AX +  XB =  C",  50 pages,
January 1979.

STAN-CS-79-714  (CSL-TN-160),  Fernando  Castaneda,  Frederick  Chow,
Peter Nye,  Dan Sleator and  Gio Wiederhold, "PCFORT:   A Fortran-to-
Pcode Translator", January 1979.

STAN-CS-79-715 (CSL-TN-161), Brent  T. Hailpern and Bruce  L. Hitson,
"S-1 Architecture Manual", January 1979.

STAN-CS-79-716 (AIM-322), Michael Georgeff, "A Framework  for Control
in Production Systems", 35 pages, January 1979.

STAN-CS-79-717  (AIM-324),  Robert  Cartwright  and   John  McCarthy,
"Recursive Programs as Functions in a First Order Theory",  32 pages,
March 1979.

STAN-CS-79-718 (AIM-323), Shahid Mujtaba and Ron Goldman,  "AL Users'
Manual", 136 pages, January 1979.

STAN-CS-79-719, Petter Bjorstad,  Germund Dahlquist and  Eric Grosse,
"Extrapolation of Asymptotic Expansions by a Modified Aitken %Ad%1↑2-
Formula", 54 pages, February 1979.

STAN-CS-79-720,  R.  Glowinski, "On  Grid  Optimization  for Boundary
Value Problems", 22 pages, February 1979.

STAN-CS-79-721, Andrew C. Yao and F. Frances Yao,  "On Fault-Tolerant
Networks for Sorting", 20 pages, February 1979.

STAN-CS-79-722 (AD-A074 077),  Gio Wiederhold and Ramez  El-Masri, "A
Structural Model for Database Systems" 57 pages, March 1979.

STAN-CS-79-723 (AD-A074 076), Edward H. Shortliffe, Bruce G. Buchanan
and Edward A. Feigenbaum, "Knowledge Engineering for Medical Decision
Making: a review of computer-based clinical decision aids", 52 pages,
February 1979.

STAN-CS-79-724  (AIM-325), John  McCarthy, "First  Order  Theories of
Individual Concepts and Propositions", 19 pages, March 1979.

STAN-CS-79-725  (AIM-326,  AD-A071  423),  John  McCarthy, "Ascribing
Mental Qualities to Machines", 25 pages, March 1979.

STAN-CS-79-726,  Andrew  Chi-Chih  Yao,  "An  Analysis   of  (h,k,l)-
Shellsort", 55 pages, March 1979.

STAN-CS-79-727  (AIM-327),   Robert  Elliot  Filman   (Thesis),  "The
Interaction of Observation and Inference", 235 pages, March 1979.

STAN-CS-79-728,  Yossi  Shiloach, "Union-Member  Algorithms  for Non-
Disjoint Sets", 12 pages, January 1979.

STAN-CS-79-729  (AD-A068  229),  Robert  Endre  Tarjan,   "A  Unified
Approach to Path Problems", 43 pages, April 1979.

STAN-CS-79-730, Frank M. Liang, "Qualifying Examinations  in Computer
Science, 1965-1978", 238 pages.

STAN-CS-79-731 (PVG-11, AD-A071 900), D.C. Luckham, S.M.  German F.W.
von Henke,  R.A. Karp,  P.W. Milne,  D.C. Oppen,  W. Polak,  and W.L.
Scherlis, "Stanford PASCAL Verifier User Manual", April 1979.

STAN-CS-79-732,   Donald    R.   Woods,   "Notes    on   Introductory
Combinatorics", 120 pages, April 1979.

STAN-CS-79-733, Andrew Chi-Chih Yao, "A Lower Bound to Finding Convex
Hulls", 22 pages, April 1979.

STAN-CS-79-734 (AD-A074 079),  Robert Endre Tarjan,  "Fast Algorithms
for Solving Path Problems", 49 pages, April 1979.

STAN-CS-79-735, J. H. Wilkinson, "Kronecker's Canonical Form  and the
QZ Algorithm", 23 pages, April 1979.

STAN-CS-79-736, J. H. Wilkinson, "Note on the  Practical Significance
of the Drazin Inverse", 20 pages, April 1979.

STAN-CS-79-737, Andrew C.  Yao and F.  Frances Yao, "On  the Average-
case Complexity of Selecting the k-th Best", 45 pages, April 1979.

STAN-CS-79-738 (SU326 P30-65), Randall LeVeque, Germund Dahlquist and
Dan Andree, "Computations Related to G-Stability of  Linear Multistep
Methods", 27 pages, May 1979.

STAN-CS-79-739 (HPP-79-14,  AD-A074 075),  J. R.  Quinlan, "Induction
Over Large Data Bases", 19 pages, May 1979.

STAN-CS-79-740 (PVG-12), R. S. Cartwright and D. C. Oppen, "The Logic
of Aliasing", 24 pages, May 1979.

STAN-CS-79-741,  Lyle  Harold  Ramshaw  (Thesis),   "Formalizing  the
Analysis of Algorithms", 123 pages, June 1979.

STAN-CS-79-742 (HPP-79-12, AD-A074  078), Anne Gardner,  "Handbook of
Artificial Intelligence:  Search", 100 pages, June l979.

STAN-CS-79-743 (AIM-328), Juan  Bulnes-Rozas (Thesis), "GOAL:  A Goal
Oriented Command  Language for  Interactive Proof  Construction", 175
pages, June 1979.

STAN-CS-79-744  (CSL-TR-172,   AD-A075  268),   Hector  Garcia-Molina
(Thesis), "Performance of Update Algorithms for Replicated Data  in a
Distributed Database", 320 pages, June 1979.

STAN-CS-79-745 (AD-A076  264), Thomas  Lengauer (Thesis),  "Upper and
Lower Bounds  on Time-Space  Tradeoffs in a  Pebble Game",  82 pages,
July 1979.

STAN-CS-79-746,  Alan Borning  (Thesis), "ThingLab  --  A Constraint-
Oriented Simulation Laboratory", 109 pages, July 1979.

STAN-CS-79-747  (AIM-329, AD-A076  872), David  E.  Wilkins (Thesis),
"Using Patterns and Plans to Solve Problems and Control  Search", 264
pages, June 1979.

STAN-CS-79-748 (AD-A075 376), David  Y. Y. Yun, "Fast  Algorithms for
Solving   Toeplitz   System  of   Equations   and   Finding  Rational
Interpolants", 9 pages, July 1979.

STAN-CS-79-749 (HPP-79-17), William  Clancey, James Bennett  and Paul
Cohen,  "Applications-Oriented  AI Research:   Education",  60 pages,
July 1979.

STAN-CS-79-750  (AD-A075   171),  Peter   Gacs  and   Laszlo  Lovasz,
"Khachian's Algorithm for Linear Programming", 12 pages, July 1979.

STAN-CS-79-751  (AIM-330), Zohar  Manna and  Amir Pnueli,  "The Modal
Logic of Programs", 36 pages, September 1979.

STAN-CS-79-752,   Michael  Lockhart   Overton   (Thesis),  "Projected
Lagrangian Algorithms  for Nonlinear  Minimax and  l↓1 Optimization",
164 pages, July 1979.

STAN-CS-79-753, Andrew Chi-Chih  Yao, "Should Tables Be  Sorted?", 36
pages, July 1979.

STAN-CS-79-754 (HPP-79-21, AD-A076 873), Anne Gardner, James Davidson
and Terry Winograd, "Natural Language Understanding", 100 pages, July

STAN-CS-79-755   (AIM-331),   Elaine   Kant   (Thesis),   "Efficiency
Considerations in Program Synthesis: A Knowledge-Based Approach", 160
pages, July 1979.

STAN-CS-79-756 (HPP-79-22, AD-A076  875), James S. Bennett,  Bruce G.
Buchanan, Paul R.  Cohen and Fritz Fisher,  "Applications-Oriented AI
Research: Science and Mathematics", 110 pages, July 1979.

STAN-CS-79-757 (HPP-79-23, AD-A075 402), Victor B.  Clesielski, James
S.  Bennett  and Paul R.  Cohen, "Applications-Oriented  AI Research:
Medicine", 40 pages, July 1979.

STAN-CS-79-758 (HPP-79-24, AD-A076 874), Robert Elschlager  and Jorge
Phillips, "Automatic Programming", 100 pages, July 1979.

STAN-CS-79-759  (HPP-79-25), Alain  Bonnet,  "Schema-Shift Strategies
for Understanding  Structured Texts in  Natural Language",  40 pages,
July 1979.

STAN-CS-79-760,  R.  L.  Graham,  A. C.  Yao  and  F.  F.  Yao, "Some
Monotonicity Properties of Partial Orders", 21 pages, September 1979.

STAN-CS-79-761,  Douglas   B.  West,  "Gossiping   Without  Duplicate
Transmissions", 7 pages, September 1979.

STAN-CS-79-762 (AIM-332),  Donald E. Knuth,  "METAFONT, a  system for
alphabet design", 110 pages, September 1979.

STAN-CS-79-763  (AD-A076 876),  Douglas B.  West, "A  Symmetric Chain
Decomposition of L(4,n)", 15 pages, September 1979.

STAN-CS-79-764, Andrew Chi-Chih Yao, "On the Time-Space  Tradeoff for
Sorting with Linear Queries", 33 pages, September 1979.

STAN-CS-79-765, Peter Gacs, "Relation Between the Complexity  and the
Probability of Large Numbers", 8 pages, September 1979.

STAN-CS-79-766  (SU326  P30-69),  J.  Kautsky  and  N.   K.  Nichols,
"Equidistributing Meshes with Constraints", 27 pages, September 1979.

STAN-CS-79-767,  Charles  Van  Loan,  "On  Stewart's  Singular  Value
Decomposition  for   Partitioned  Orthogonal  Matrices",   17  pages,
September 1979.

STAN-CS-79-768, Peter Gacs and  Leonid A. Levin, "Causal  Networks on
What Is a Deterministic Computation?", 24 pages, September 1979.

STAN-CS-79-769,  William John  Clancey (Thesis),  "Transfer  of Rule-
Based Expertise  Through a Tutorial  Dialogue", 462  pages, September

STAN-CS-79-770, Derek C. Oppen, "Pretty Printing", 20  pages, October

STAN-CS-79-771 (HPP-79-29),  Peter E. Friedland  (Thesis), "Knowldge-
Based  Experiment Design  in Molecular  Genetics", 137  pages, August

STAN-CS-79-772   (AIM-333),  Brian  P.  McCune   (Thesis),  "Building
Program Models Incrementally from Informal Descriptions",  146 pages,
October 1979.

STAN-CS-79-773, Tony F.  Chan, Gene H.  Golub and Randal  J. LeVeque,
"Updating  Formulae and  a  Pairwise Algorithm  for  Computing Sample
Variances", 19 pages, November 1979.

STAN-CS-79-774, Gene  H. Golub and  Robert J. Plemmons,  "Large Scale
Geodetic  Least  Squares  Adjustment  by  Dissection  and  Orthogonal
Decomposition", 33 pages, November 1979.

STAN-CS-79-775, Persi  Diaconis and Ronald  Graham, "The  Analysis of
Sequential Experiments with Feedback to Subjects", 48 pages, November

STAN-CS-79-776  (This paper  supersedes STAN-CS-79-750  by  Lovas and
Gacs),  Bengt  Aspvall  and  Richard  E.  Stone,  "Khachiyan's Linear
Programming Algorithm", 13 pages, November 1979.

STAN-CS-79-777, R.L.  Graham and N.J.A.  Sloane, "On  Constant Weight
Codes and Harmonious Graphs", 17 pages, December 1979.

STAN-CS-79-778,  David  Elliot  Shaw,  "A   Hierarchical  Associative
Architecture  for  the Parallel  Evaluation  of  Relational Algebraic
Database Primitives", 56 pages, October 1979.

STAN-CS-80-779,  Zohar  Manna  and  Richard  Waldinger,  "Problematic
Features  of   Programming  Languages:   A  Situational   -  Calculus
Approach", 70 pages.

STAN-CS-80-780,  Donald  E.  Knuth, "The  Computer  Modern  Family of
Typefaces", 406 pages, January 1980.

STAN-CS-79-781 (HPP-79-30), Jonathan  J. King, "Exploring the  Use of
Domain Knowledge for Query Processing Efficiency", 21 pages, December

STAN-CS-79-782, Zohar Manna and Amir Pnueli, "Synchronous Schemes and
Their Decision Problems", 36 pages.

STAN-CS-79-783  (PVG-14),   Richard  Alan  Karp   (Thesis),  "Proving
Concurrent Systems Correct", 151 pages, November 1979.

STAN-CS-80-784  (HPP-80-2)  Mark Jeffrey  Stefik  (Thesis), "Planning
with Constraints", 230 pages, January 1980.

STAN-CS-80-785 (PVG-15), Gerard  Huet and Derek C.  Oppen, "Equations
and Rewrite Rules", 52 pages, January 1980.

STAN-CS-80-786, Donald  E. Knuth,  "Algorithms in  Modern Mathematics
and Computer Science", 25 pages, January 1980.

STAN-CS-80-787, H.J. Symm and J.H. Wilkinson, "Realistic Error Bounds
for a  Simple Eigenvalue and  its Associated Eigenvector",  22 pages,
January 1980.

STAN-CS-80-788 (AIM-334), John McCarthy, "Circumscription - A Form of
Non-Monotonic Reasoning", 15 pages, February 1980.

STAN-CS-80-789 (PVG-16), D. C. Luckham and W. Polak,
"Ada Exceptions: Specification and Proof Techniques", 19 pages, February 1980.

STAN-CS-80-790, Gio Wiederhold, "Databases in Healthcare",
76 pages, March 1980.

STAN-CS-80-791 (CSL TR-166),
Clark R. Wilcox, Mary L. Dageforde, and Gregory A. Jirak,
"MAINSAIL Language Manual",
247 pages, March 1980.

STAN-CS-80-792 (CSL TR-167),
Clark R. Wilcox, Mary L. Dageforde, and Gregory A. Jirak,
"MAINSAIL Implementation Overview", 70 pages, March 1980.

STAN-CS-80-793 (HPP-80-3),
Avron Barr and James Davidson, "Representation of Knowledge",
90 pages, March 1980.

STAN-CS-80-794 (HPP-80-4),
Michael Genesereth, "The Role of Plans in Intelligent Teaching Systems",

Donald E. Knuth, "The Letter S",

STAN-CS-80-796 (AIM-335),
Arthur Samuel, "Essential E", 33 pages, March 1980. 


Robert W. Floyd and Jeffrey D. Ullman, 
"The Compilation of Regular Expressions into Integrated Circuits",
28 pages, April 1980.

.next page