# Barbara J. Roberts and Irris Marashian, editors. Bibliography of Stanford Computer Science Reports, 1963-1982. Computer Science Department Stanford University, June 1, 1982.

@make(report)

@begin(center)

BIBLIOGRAPHY

OF

STANFORD COMPUTER SCIENCE

REPORTS, 1963 - 1982

@BLANKSPACE(1.5 INCH)

Edited by

@blankspace(.5 inch)

Barbara J. Roberts

Publications Coordinator

and

Irris Marashian

Assistant to Publications Coordinator

June 1, 1982

@blankspace(1.5 inch)

@end(center)

@subheading(Abstract:)

This report lists, in chronological order, all reports published by the

Stanford Computer Science Department since 1963. Each report is identified

by a Computer Science number, author's name, title, National Technical Information

Service (NTIS) retrieval number (i.e., AD-XXXXXX)

@foot(If this number is not given it means that

the report is probably not available from NTIS.), date, and number of pages.

@newpage

@heading(INSTRUCTIONS)

In the Bibliography which follows, there is a listing for each Computer Science

Department Report published as of the date of this writing. Each listing contains

the following information:

@begin(itemize)

The report number(s)

The author(s)

The "title" of the report

The number of pages in the report

The month and year it was published

NTIS number if known

The cost of a hardcopy version

Availability code

@end(itemize)

@majorheading(AVAILABILITY CODES)

@begin(enumerate)

+ hardcopy and microfiche

M microfiche only

H hardcopy only

* out-of-print

@end(enumerate)

All Computer Science Reports that are in stock may be requested from:

@begin(center)

@p(Stanford University

Computer Science Department

Publications Coordinator

Stanford, CA 94305)

@end(center)

@newpage

Rising costs and restrictions on the use of research funds for printing reports have

made it necessary to charge for reports at their replacement cost. By doing so, we will

be able to reprint popular reports rather than simply declaring them "out of print".

Alternatively, reports that are out-of-print at Stanford University

in some cases

may be ordered

(for a nominal fee), in either hard copy or microfiche from:

@begin(center)

National Technical Information Service

P.O. Box 1553

Springfield, VA 22161

@end(center)

Reports that are also Ph.D. theses have been so marked and, if out-of-print at

Stanford University , may be ordered in both hardcopy and microfiche from:

@begin(center)

University Microfilm

P.O. Box 1346

Ann Arbor, MI 48106

@end(center)

@majorheading(HOW TO ORDER REPORTS)

Send a written request for the reports you would like, ordering by the

@b(STAN-CS-) number. Please enclose with your order a check or money order

in the proper amount for all reports ordered. California residents must add

6.5% sales tax. Purchase orders will not be accepted.

If you are a regular subscriber to our reports you should have a customer

number, which must be used on all orders, payments, and correspondence. If

you are not a regular subscriber, you will be given a customer number with your

first order. We will send you the number which then must be used for all

orders, payments, and correspondence.

We are offering a subscription rate, to academic libraries ONLY, for the

amount of $250.00 per year. For this subscription rate you will receive

all Computer Science Reports published for one year in hardcopy form.

Please send all orders, payments, and correspondence to the following address:

@begin(center)

@p(Publications Coordinator

Computer Science Department

Stanford University

Stanford, CA 94305)

@end(center)

@newpage

@heading(BIBLIOGRAPHY)

@begin(enumerate)

STAN-CS-63-1 (AD462108), J. B. Rosen, @i(Primal Partition Programming for

Block Diagonal Matrices), 23 pages, November 1963. @b(*)

STAN-CS-63-2 (AD427753), J. M. Pavkovich, @i(The Soultion of Large

Systems of Algebraic Equations), 46 pages, December 1963. @b(*)

STAN-CS-64-3 (AD430445), G. E. Forsythe (translated by), @i(The Theorems

.n 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. @b(*)

STAN-CS-64-4 (AD434858), Stefan Bergman and J. G. Herriot, @i(Numerical

Solution of Boundary Value Problems by the Method of Integral Operators),

24 pages, February 1964. @b(*)

STAN-CS-64-5 (N-6519765), J. B. Rosen, @i(Existence and Uniqueness of

Equilibrium Points for Concave N-Person Games), 28 pages, March 1964. $2.55

@b(H)

STAN-CS-64-6 (AD600164), R. W. Hockney, @i(A Fast Direct Solution of

Poisson's Fourier Analysis), 28 pages, April 1964. @b(*)

STAN-CS-64-7 (PB176753), J. B. Rosen, @i(Sufficient Conditions for Optimal

Control of Convex Processes), 29 pages, May 1964. @b(*)

STAN-CS-64-8 (AD603116), G. Golub and W. Kahan,

@i(Calculating the

Singular Values and Pseudo-Inverse of a Matrix), 33 pages, May 1964. @b(*)

STAN-CS-64-9 (AD604012), Charles Anderson, @i(The QD-Algorithm as a Method

for Finding the Roots of a Polynomial Equation When All Roots are

Positive), 74 pages, June 1964. @b(*)

STAN-CS-64-10 (AD603163), R. L. Causey (Thesis), @i(On Closest Normal

Matrices), 131 pages, June 1964. @b(*)

STAN-CS-64-11 (PB176754), T. Nakamura and J. B. Rosen, @i(Elastic-

Plastic Analysis of Trusses by the Gradient Projection Method), 32 pages,

July 1964. @b(*)

STAN-CS-64-12 (AD608292), G. Golub and P. Businger, @i(Numerical Methods

for Solving Linear Least Squares Problems (and) an Algol Procedure for

Finding Linear Least Squares Solutions), 27 pages, August 1964. @b(*)

STAN-CS-64-13 (N65-27058), V. Pereyra and J. B. Rosen, @i(Computation of

the Pseudo- inverse of a Matrix of Unknown Rank), 28 pages, September

1964. $2.55 @b(H)

STAN-CS-64-14 (TT-65-61724), V. A. Efimenko (translated by G. Reiter and

C. Moler), @i(On Approximate Calculations of the Eigenvalues and

Eigenfunctions of Boundary Value Problems in Partial Differential

Equations), 20 pages, November 1964. $2.30 @b(H)

STAN-CS-65-15 (AD611366), D. W. Grace (Thesis), @i(Computer Search for

Non-Isomorphic Convex Polyhedra), 137 pages, January 1965. $5.80 @b(H)

STAN-CS-65-16 (AD611427), G. E. Forsythe and G. H. Golub, @i(Maximizing a

Second Degree Polynomial on the Unit Sphere), 31 pages, February 1965. @b(*)

STAN-CS-65-17 (AD611434), G. E. Forsythe and N. Wirth, @i(Automatic

Grading Programs), 17 pages, February 1965. @b(*)

STAN-CS-65-18 (AD612478), V. Pereyra, @i(The Difference Correction Method

for Non- Linear Two-Point Boundary Value Problems), February 1965. @b(*)

STAN-CS-65-19 (TT-65-61839), M. I. Ageev and J. Maclaren, @i(English

Equivalents of Metalinguistic Terms of Russian ALGOL), March 1965. @b(*)

STAN-CS-65-20 (PB176755), N. Wirth and H. Weber, @i(EULER: A

Generalition of ALGOL and its Formal Definition), 115 pages, April 1965. @b(*)

STAN-CS-65-21 (PB176756), D. D. Fisher, J. von der Groeben and J. G.

Toole, @i(Vectorgardiographic Analysis by Digital Computer, Selected

Results), 104 pages, May 1965. @b(*)

STAN-CS-65-22 (AD616676), C. B. Moler (Thesis), @i(Finite Difference

Methods for the Eigenbales of Laplace's Operator), 142 pages, May 1965. @b(*)

STAN-CS-65-23 (AD618214), B. D. Rudin (Thesis), @i(Convex Polynomial

Approximation), 44 pages, June 1965. @b(*)

STAN-CS-65-24 (AD616611), V. V. Klyuyev and N. I. Kokovkin Shoherbak

(translated by G. J. Tee), @i(On the Minimization of the Number of

Arithmetic Operations for the Solution of Linear Algebraic Systems of

Equations), 24 pages, June 1965. @b(*)

STAN-CS-65-25 (AD618215), P. G. Hodge, @i(Yield-Point Load Determination

by Nonlinear Programming), 24 pages, June 1965. @b(*)

STAN-CS-65-26 (not at NTIS), G. E. Forsythe, @i(Stanford University's

Program in Computer Science), 15 pages, June 1965. @b(*)

STAN-CS-65-27 (AD618216), E. A. Volkov (translated by R. Bartels), @i(An

Analysis of One Algorithm of Heightened Precision of the Method of Nets

for the Solution of Poisson's Equation), 29 pages, July 1965. @b(*)

STAN-CS-65-28 (AD618217), J. Miller and G. Strang, @i(Matrix Theorems for

Partial Differential an Difference Equations), 33 pages, July 1965. @b(*)

STAN-CS-65-29 (AD624837), V. Pereyra, @i(On Improving an Approximate

Solution of a Functional Equation by Deferred Corrections), 32 pages,

August 1965. @b(*)

STAN-CS-65-30 (SS624-829), S. Marchuk (translated by G. J. Tee), @i(The

Automatic Construction of Computational Algorithms), 56 pages, September

1965. @b(*)

STAN-CS-65-31 (SS626-315), P. A. Raviart, @i(On the Approximation of Weak

Solutions of Linear Parabolic Equations by a Class of Multi-step

Difference Methods), 55 pages, December 1965. @b(*)

STAN-CS-65-32 (SS633-557), R. W. Hockney, @i(Minimum Multiplication

Fourier Analysis), 53 pages, December 1965. @b(*)

STAN-CS-65-33 (PB176763), N. Wirth, @i(A Programming Language for the 360

Computers), 23 pages, December 1965. @b(*)

STAN-CS-66-34 (SS630-998), J. M. Varah, @i(Eigenvectors of a Real Matrix

by Inverse Iteration), 24 pages, February 1966. @b(*)

STAN-CS-66-35 (PB176758), N. Wirth and C. Hoare, @i(A Contribution to the

Development of ALGOL), 64 pages, February 1966. @b(*)

STAN-CS-66-36 (PB176759), J. F. Traub, @i(The Calculation of Zeros of

Polyynomials and Analytic Functions), 26 pages, April 1966. @b(*)

STAN-CS-66-37 (PB176789), J. D. Reynolds, @i(Cogent 1.2 Operations

Manual), 33 pages, April 1966. $2.70 @b(H)

STAN-CS-66-38 (AIM-40, AD662880), J. McCarthy and J. Painter,

@i(Correctness of a Compiler for Arithmetic Expressions), 13 pages, April

1966. @b(*)

STAN-CS-66-39 (PB176760), G. E. Forsythe, @i(A University's Educational

Program in Computer Science), 26 pages, May 1966. @b(*)

STAN-CS-66-40 (AD639052), G. E. Forsythe, @i(How Do You Solve a Quadratic

Equation?), 19 pages, June 1966. @b(*)

STAN-CS-66-41 (SS638-976), W. Kahan, @i(Accurate Eigenvalues of a

Symmetric Tri-Diagonal Matrix), 53 pages, July 1966. @b(*)

STAN-CS-66-42 (SS638-797), W. Kahan, @i(When to Neglect Off-Diagonal

Elements of Symmetric Tri-Diagonal Matrices), 10 pages, July 1966. @b(*)

STAN-CS-66-43 (SS638-798), W. Kahan and J. Varah, @i(Two Working

Algorithms for the Eigenvalues of a Symmetric Tri-Diagonal Matrix), 28

pages, August 1966. @b(*)

STAN-CS-66-44 (SS638-818), W. Kahan, @i(Relaxation Methods for an

Eigenvalue Problem), 35 pages, August 1966. @b(*)

STAN-CS-66-45 (SS638-799), W. Kahan, @i(Relaxation Methods for Semi-

Definite Systems), 31 pages, August 1966. @b(*)

STAN-CS-66-46 (SS638-809), G. E. Forsythe, @i(Today's Computational

Methods of Linear Algebra), 47 pages, August 1966. @b(*)

STAN-CS-66-47 (PB173335), P. Abrams, @i(An Interpreter for 'Inverson

Notation' ), 61 pages, August 1966. @b(*)

STAN-CS-66-48 (SS639-166), W. M. McKeeman (Thesis), @i(An Approach to

Computer Language Design), 124 pages, August 1966. @b(*)

STAN-CS-66-49 (AIM-43, SS640-836), D. R. Reddy (Thesis), @i(An Approach to

Computer Speech Recognition by Direct Analysis of Speech Wave), 143

pages, September 1966. @b(*)

STAN-CS-66-50 (AIM-46, PB176761), S. Persson (Thesis), @i(Some Sequence

Extrapulating Programs: A Study of Representation and Modelling in

Inquiring Systems), 176 pages, September 1966. @b(*)

STAN-CS-66-51 (AD648394), S. Bergman, J. G. Herriot and T. G. Kurtz,

@i(Numerical Calculation of Transonic Flow Patterns), 35 pages, October

1966. $2.75 @b(H)

STAN-CS-66-52 (PB176762), A. C. Shaw, @i(Lecture Notes on a Course in

Systems Programming), 216 pages, December 1966. $8.45 @b(H)

STAN-CS-66-53 (PB176757), N. Wirth, @i(A Programming Language for the 360

Computers), 81 pages, December 1966. @b(*)

STAN-CS-67-54 (AD662882), G. Golub and T. N. Robertson, @i(A Generalized

Bairstow Algorithm), 10 pages, January 1967. @b(*)

STAN-CS-67-55 (AD647200), D. A. Adams, @i(A Stopping Criterion for

Polynomial Root Finding), 11 pages, February 1967. $2.05 @b(H)

STAN-CS-67-56 (PB176764), F. L. Bauer, @i(QD-Method with Newton Shift), 6

pages, March 1967. @b(*)

STAN-CS-67-57 (PB176765), D. Gries, @i(The Use of Transition Matrices in

Compiling), 60 pages, March 1967. @b(*)

STAN-CS-67-58 (PB176766), V. Tixier (Thesis), @i(Recursive Functions of

Regular Expressions in Language Analysis), 146 pages, March 1967. @b(*)

STAN-CS-67-59 (SS650-116), J. H. Wilkinson, @i(Almost Diagonal Matrices

with Multiple or Close Eigenvalues), 18 pages, April 1967. @b(*)

STAN-CS-67-60 (SS650-117), J. H. Wilkinson, @i(Two Algorithms Based on

Successive Linear Interpolation), 13 pages, April 1967. @b(*)

STAN-CS-67-61 (SS650-610), G. E. Forsythe, @i(On the Asymptotic

Directions of the S-Dimensional Optimum Gradient Method), 43 pages, April

1967. @b(*)

STAN-CS-67-62 (SS650-620), M. Tienari, @i(Varying Length Floating Point

Arithmetic: A Necessary Tool for the Numerical Analyst), 38 pages, April

1967. @b(*)

STAN-CS-67-63 (SS650-627), G. Polya, @i(Graeffe's Method for

Eigenvalues), 9 pages, April 1967. @b(*)

STAN-CS-67-64 (SS651-201), P. Richman, @i(Floating-Point Number

Representations: Base Choice Versus Exponent Range), 32 pages, April

1967. @b(*)

STAN-CS-67-65 (PB176767), N. Wirth, @i(On Certain Basic Concepts of

Programming Languages), 30 pages, May 1967. @b(*)

STAN-CS-67-66 (AD652921), J. M. Varah (Thesis), @i(The Computation of

Bounds for the Invariant Subspaces of a General Matrix Operator), 240

pages, May 1967. @b(*)

STAN-CS-67-67 (AD652992), R. H. Bartels and G. H. Golub,

@i(Computational Considerations Regarding the Calculation of Chebyshev

Solutions for Over-Determined Linear Equations Systems by the Exchange

Method), 63 pages, June 1967. @b(*)

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

1967. @b(*)

STAN-CS-67-69 (PB176769), J. Feldman and D. Gries, @i(Translator Writing

Systems), 127 pages, June 1967. @b(*)

STAN-CS-67-70 (AD655472), S. Bergman, J. G. Herriot and P. L. Richman,

@i(On Computation of Flow Patterns of Compressible Fluids in the Transonic

Region), 77 pages, July 1977. @b(*)

STAN-CS-67-71 (AD655230), M. A. Jenkins and J. F. Traub, @i(An

Algorithm for an Automatic General Polynomial Solver), 38 pages, July

1967. $2.85 @b(H)

STAN-CS-67-72 (PB175581), G. H. Golub and L. B. Smith, @i(Chebysev

Approximation of Continuous Functions by a Chebyshev Systems of

Functions), 54 pages, July 1967. $2.30 @b(H)

STAN-CS-67-73 (AD662883), P. Businger and G. H. Golub, @i(Least Squares,

Singular Values and Matrix Approximations (and) an ALGOL Procedure for

Computing the Singular Value Decomposition), 12 pages, July 1967. @b(*)

STAN-CS-67-74 (AD657639), G. E. Forsythe, @i(What is a Satisfactory

Quadratic Equation Solver?), 9 pages, August 1967. $2.00 @b(H)

STAN-CS-67-75 (PB175793), F. L. Bauer, @i(Theory of Norms), 136 pages,

August 1967. @b(*)

STAN-CS-67-76 (AD657450), P. M. Anselone, @i(Collectively Compact

Operator Approximations), 60 pages, April 1967. $3.50 @b(H)

STAN-CS-67-77 (PB176770), G. E. Forsythe, @i(What To Do Till The Computer

Scientist Comes), 13 pages, September 1967. @b(*)

STAN-CS-67-78 (PB176771), K. M. Colby and H. Enea, @i(Machine

Utilization of the Natural Language Word 'Good' ), 8 pages, September

1967. @b(*)

STAN-CS-67-79 (AD662884), R. W. Doran, @i(360 U.S. Fortran IV Free Field

Input/Output Subroutine Package), 21 pages, October 1967. @b(*)

STAN-CS-67-80 (AD662902), J. Friedman, @i(Directed Random Generation of

Sentences), 30 pages, October 1967. @b(*)

STAN-CS-67-81 (AD661217), G. H. Golub and J. H. Welsch, @i(Calculation of

Gauss Quadrature Rules), 28 pages, November 1967. $2.55 @b(H)

STAN-CS-67-82 (PB176775), L. Tesler, H. Enea and K. M. Colby, @i(A

Directed Graph Representation for Computer Simulation of Belief Systems),

31 pages, December 1967. @b(*)

STAN-CS-68-83 (AD664237), A. Bjorck and G. Golub, @i(Iterative

Refinements of Linear Squares Solutions by House-Holder Transformations),

28 pages, January 1968. @b(*)

STAN-CS-68-84 (AD692680), J. Friedman, @i(A Computer System for

Transformational Grammar), 31 pages, January 1968. @b(*)

STAN-CS-68-85 (PB177426), K. M. Colby, @i(Computer-Aided Language

Development in Nonspeaking Mentally Disturbed Children), 35 pages,

December 1968. @b(*)

STAN-CS-68-86 (PB179162), H. R. Bauer, S. Becker and S. L. Graham,

@i(ALGOL With Programming), 90 pages, January 1968. @b(*)

STAN-CS-68-87 (PB178176), J. Ehrman, @i(CS 139 Lecture Notes Part 1,

Sections 1 thru Preliminary Version), 188 pages, 1968. @b(*)

STAN-CS-68-88 (AD665672), S. Schechter, @i(Relaxation Methods for Convex

Problems), 19 pages, February 1968. $2.60 @b(H)

STAN-CS-68-89 (PB180920), H. R. Bauer, S. Becker and S. L. Graham,

@i(ALGOL W (revised)), 42 pages, March 1968. @b(*)

STAN-CS-68-90 (PB178177), V. R. Lesser, @i(A Multi-Level Computer

Organization Designed to Separate Data Accessing from the Computation),

20 pages, March 1968. @b(*)

STAN-CS-68-91 (PB178114), N. Wirth, J. W. Wells, Jr. and E. H.

Satterthwaite, Jr., @i(The PL360 System), 89 pages, April 1968. @b(*)

STAN-CS-68-92 (PB178078), H. Enea, @i(MLISP), 18 pages, March 1968. @b(*)

STAN-CS-68-93 (PB178078), G. E. Forsythe, @i(Computer Science and

Education), 50 pages, March 1968. @b(*)

STAN-CS-68-94 (SLACR-84), A. C. Shaw (Thesis), @i(The Formal Description

and Parsing of Pictures), 205 pages, April 1968. @b(*)

STAN-CS-68-95 (not at NTIS), J. Friedman and R. W. Doran, @i(A Formal

Syntax for Transformational Grammar), 47 pages, March 1968. @b(*)

STAN-CS-68-96 (AD673673), L. B. Smith, @i(Interval Arithmetic Determinant

Evalation and its Use in Testing for a Chebyshev System), 26 pages, April

1968. @b(*)

STAN-CS-68-97 (not at NTIS), W. F. Miller, @i(Research in the Computer

Science Department at Stanford University), 49 pages, April 1968. @b(*)

STAN-CS-68-98 (PB179162), H. Bauer, S. Becker and S. Graham, @i(ALGOL With

Implementation), 147 pages, May 1968. @b(*)

STAN-CS-68-99 (PB179057), J. Friedman, @i(Lecture Notes on Foundations for

Computer Science), 212 pages, June 1968. @b(*)

STAN-CS-68-100 (PB178877), T. H. Bredt, @i(A Computer Model of

Information Processing in Children), 60 pages, June 1968. @b(*)

STAN-CS-68-101 (AIM-60, AD672923), D. M. Kaplan (Thesis), @i(The Formal

Theoretic Analysis of Stront Equivalence for Elemental Programs), 263

pages, June 1968. $9.60 @b(H)

STAN-CS-68-102 (AD677982), A. Pnueli, @i(Integer Programming Over a

Cone), 29 pages, July 1968. $2.60 @b(H)

STAN-CS-68-103 (AD692689), T. H. Bredt and J. Friedman, @i(Lexical

Insertion in Transformational Grammar), 47 pages, June 1968. @b(*)

STAN-CS-68-104 (AD673010), R. Bartels, @i(A Numerical Investigation of the

Simplex Method), 122 pages, July 1968. @b(*)

STAN-CS-68-105 (AD673674), P. Richman (Thesis), @i(Epsiolon-Calculus), 138

pages, August 1968. @b(*)

STAN-CS-68-106 (AIM-65, AD673971), B. Huberman (Thesis), @i(A Program to

Play Chess End Games), 168 pages, August 1968. @b(*)

STAN-CS-68-107 (AD668558), M. Jenkins, @i(A Three-Stage Variable-Shift

Iteration for Polynomial Zeros and its Relation to Generalized Rayleigh

Interation), 46 pages, August 1968. @b(*)

STAN-CS-68-108 (AD692681), J. Friedman (editor), @i(Computer Experiments

in Transformational Grammar), 36 pages, August 1968. @b(*)

STAN-CS-68-109 (AD692690), J. Friedman, @i(A Computer System for Writing

and Testing Transformational Grammars - Final Report), 14 pages,

September 1968. @b(*)

STAN-CS-68-110 (PB180920), H. Bauer, S. Becker, S. Graham and E.

Satterthwaite, @i(ALGOL W (revised)), 103 pages, October 1968. @b(*)

STAN-CS-68-111 (AD692691), J. Friedman and T. Martner, @i(Analysis in

Transformational Grammar), 18 pages, August 1968. @b(*)

STAN-CS-68-112 (AD692687), J. Friedman and B. Pollack, @i(A Control

Language for Transformational Grammar), 51 pages, August 1968. @b(*)

STAN-CS-68-113 (PB188705), W. J. Hansen, @i(The Impact of Storage

Management on Plex Processing Language Implementation), 253 pages, July

1968. @b(*)

STAN-CS-68-114 (PB182156), J. George, @i(Calgen, An Interactive Picture

Calculus Generation System), 75 pages, December 1968, @b(*)

STAN-CS-68-115 (AD692686), J. Friedman, T. Bredt, R. Doran, T. Martner

and B. Pollack, @i(Programmer's Manual for a Computer System for

Transformational Grammar), 199 pages, August 1968. @b(*)

STAN-CS-68-116 (AIM-72, AD680036), D. Pieper (Thesis), @i(The Kinematics

of Manipulators Under Computer Control), 157 pages, October 1968. @b(*)

STAN-CS-68-117 (PB182151), D. Adams (Thesis), @i(A Computational Model with

Data Flow Sequencing), 130 pages, December 1968. @b(*)

STAN-CS-68-118 (AIM-74, AD681027), D. Waterman (Thesis), @i(Machine

Learning of Heuristics), 235 pages, December 1968. @b(*)

STAN-CS-68-119 (AD692681), G. Dantzig, et al., @i(Mathematical Programming

Language), 91 pages, May 1968. @b(*)

STAN-CS-68-120 (PB182166), E. Satterthwaite, @i(Mutant 0.5: An

Experimental Programming Language), 60 pages, February 1968. @b(*)

STAN-CS-69-121 (AD682978), C. B. Moler, @i(Accurate Bounds for the

Eigenvalues of the Laplacian and Applications to Rhombical Domains), 17

pages, February 1969. $2.20 @b(H)

STAN-CS-69-122 (AD687450), W. C. Mitchell and D. L. McCraith,

@i(Heuristic Analysis of Numerical Variants of the Gram-Schmidt

Orthonormalization Process), 21 pages, February 1969. @b(*)

STAN-CS-69-123 (AD696982), R. P. Brent, @i(Empirical Evidence for a

Proposed Distribution of Small Prime Gaps), 18 pages, February 1969. $2.60 @b(H)

STAN-CS-69-124 (AD687719), G. H. Golub, @i(Matrix Decompositions and

Statistical Calculations), 52 pages, March 1969. @b(*)

STAN-CS-69-125 (AIM-89, AD692390), J. Feldman, J. Horning, J. Gips and S.

Reder, @i(Grammatical Complexity and Inference), 100 pages, June 1969. $4.50 @b(H)

STAN-CS-69-126 (AD702898), G. Dantzig, @i(Complementary Spanning Trees),

10 pages, March 1969. $2.00 @b(H)

STAN-CS-69-127 (AIM-85, AD687720), P. Vicens (Thesis), @i(Aspects of

Speech Recognition by Computer), 210 pages, April 1969. @b(*)

STAN-CS-69-128 (AD687717), G. H. Golub, B. L. Buzbee and C. W. Nielson,

@i(The Method of Odd/Even Reduction and Factorization with Application to

Poisson's Equation), 39 pages, April 1969. @b(*)

STAN-CS-69-129 (not at NTIS), W. F. Miller, @i(Research in the Computer

Science Department), 82 pages, April 1969. $4.15 @b(H)

STAN-CS-69-130 (AIM-83, PB183907), R. C. Schank (Thesis), @i(A Conceptual

Dependency Representation for a Computer-Oriented Semantics), 201 pages,

March 1969. @b(*)

STAN-CS-69-131 (SLAC-96), L. B. Smith (Thesis), @i(The Use of Man- Machine

Interaction in Data-Fitting Problems), 287 pages, March 1969. $10.80 @b(H)

STAN-CS-69-132, Never Printed.

STAN-CS-69-133 (AD687718), G. H. Golub and C. Reinsch, @i(Handbook

Series Linear Algebra: Singular Value Decompositions and Least Sequares

Solutions), 38 pages, May 1969. @b(*)

STAN-CS-69-134 (AD700923), G. H. Golub and M. A. Saunders, @i(Linear Least

Squares and Quadratic Programming), 38 pages, May 1969. @b(*)

STAN-CS-69-135 (SLACR-102, not at NTIS), D. Gries, @i(Compiler

Implementation Language), 113 pages, May 1969. @b(*)

STAN-CS-69-136 (SLACR-104, not at NTIS), I. Pohl (Thesis), @i(Bi-

Directional and Heuristic Search in Path Problems), 157 pages, May 1969. @b(*)

STAN-CS-69-137 (AD698801), P. Henrici, @i(Fixed Points of Analytic

Functions), 7 pages, July 1969. $1.90 @b(H)

STAN-CS-69-138 (AIM-96, AD696394), C. C. Green (Thesis), @i(The

Application of Theorem Proving to Question-Answering Systems), 162 pages,

June 1969. $8.05 @b(H)

STAN-CS-69-139 (AIM-98, AD695401), J. J. Horning (Thesis), @i(A Study of

Grammatical Inference), 166 pages, August 1969. $6.35 @b(H)

STAN-CS-69-140 (AD698799), G. E. Forsythe, @i(Design - Then and Now), 15

pages, September 1969. @b(*)

STAN-CS-69-141 (PB188542), G. Dahlquist, S. C. Eisenstat and G. H.

Golub, @i(Bounds for the Error of Linear Systems of Equations Using the

Theory of Moments), 26 pages, October 1969. @b(*)

STAN-CS-69-142, G. H. Golub and R. Underwood, @i(Stationary Values of the

Ratio of Quadratic Forms Subject to Linear Constraints), 22 pages,

November 1969. @b(*)

STAN-CS-69-143 (AD694464), M. A. Jenkins (Thesis), @i(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. @b(*)

STAN-CS-69-144 (AD698800), G. E. Forsythe, @i(The Maximum and Minimum of a

Positive Definite Quadratic Polynomial on a Sphere are Convex Functions of

the Radius), 9 pages, July 1969. $2.30 @b(H)

STAN-CS-69-145 (AD698798), P. Henrici, @i(Methods of Search for Solving

Polynomial Equations), 25 pages, December 1969. $2.45 @b(H)

STAN-CS-70-146 (not at NTIS), G. O. Ramos (Thesis), @i(Roundoff Error

Analysis of the Fast Fourier Transform), February 1970. $2.50 @b(H)

STAN-CS-70-147 (AD699897), G. E. Forsythe, @i(Pitfalls in Computation, or

Why a Math Book Isn't Enough), 43 pages, January 1970. @b(*)

STAN-CS-70-148 (PB188749), D. E. Knuth and R. W. Floyd, @i(Notes on

Avoiding `GO TO' Statements), 15 pages, January 1970. @b(*)

STAN-CS-70-149 (PB188748), D. E. Knuth, @i(Optimum Binary Search Trees),

19 pages, January 1970. @b(*)

STAN-CS-70-150 (AD699898), J. H. Wilkinson, @i(Elementary Proof of the

Wielandt-Hoffman Theorem and of its Generalization), 8 pages, January

1970. $2.50 @b(H)

STAN-CS-70-151 (not at NTIS), E. A. Volkov (translated by G. E.

Forsythe), @i(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. $2.50 @b(H)

STAN-CS-70-152 (not at NTIS), S. Gustafson, @i(Rapid Computation of

Interpolation Formulae and Mechanical Quadrature Rules), 23 pages,

February 1970. $2.40 @b(H)

STAN-CS-70-153 (AD701358), S. Gustafson, @i(Error Propagation by Use of

Interpolation Formulae and Quadrature Rules which are Computed

Numerically), 17 pages, February 1970. $2.20 @b(H)

STAN-CS-70-154, H. S. Stone, @i(The Spectrum of Incorrectly Decoded Bursts

for Cyclic Error Codes), 24 pages, February 1970. $2.40 @b(H)

STAN-CS-70-155 (AD705508), B. L. Buzbee, G. H. Golub and C. W. Nielson,

@i(The Method of Odd/Even Reduction and Factorization with Application to

Poisson's Equation, Part II), 36 pages, March 1970. $2.80 @b(H)

STAN-CS-70-156 (AD713972), G. B. Dantzig, @i(On a Model for Computing

Roundoff Error of a Sum), October 1979. $1.85 @b(H)

STAN-CS-70-157 (AD705509), R. P. Brent, @i(Algorithms for Matrix

Multiplication), 54 pages, March 1970. @b(*)

STAN-CS-70-158, H. Stone, @i(Parallel Processing with the Perfect

Shuffle), 36 pages, March 1970. $2.80 @b(H)

STAN-CS-70-159 (AD708690), J. A. George, @i(The Use of Direct Methods for

the Solution of the Discrete Poisson Equation on Non-Rectangular

Regions), 2 pages, June 1970. @b(*)

STAN-CS-70-160 (CSL-TR-5, AD707762), T. H. Bredt and E. McCluskey, @i(A

Model for Parallel Computer Systems), 62 pages, April 1970. @b(*)

STAN-CS-70-161 (SLACR-117, not at NTIS), L. J. Hoffman (Thesis), @i(The

Formulary Model for Access Control and Privacy in Computer Systems), 81

pages, May 1970. $3.55 @b(H)

STAN-CS-70-162 (SLACP-760, AD709564), R. H. Bartels, G. H. Golub and M.

A. Saunders, @i(Numerical Techniques in Mathematical Programming), 61

pages, May 1970. @b(*)

STAN-CS-70-163 (AD708691), H. Malcolm, @i(An Algorithm for Floating- Point

Accumulation of Sums with Small Realative Error), 22 pages, June 1970. $2.35

@b(H)

STAN-CS-70-164 (AD708692), V. I. Gordonova (translated by L. Kaufman),

@i(Estimates of the Roundoff Error in the Solution of a System of

Conditional Equations, by V. I. Gordonova), 16 pages, June 1970. $2.20 @b(H)

STAN-CS-70-165, H. Bauer and H. Stone, @i(The Scheduling of N Tasks with M

Operations on Two Processors), 34 pages, July 1970. @b(*)

STAN-CS-70-166 (AIM-128, AD713841), E. J. Sandewall, @i(Representing

Natural-Language Information in Predicate Calculus), 27 pages, July 1970. @b(*)

STAN-CS-70-167 (AIM-129, AD712460), S. Igarashi, @i(Semantics of ALGOL-

Like Statements), 95 pages, June 1970. @b(*)

STAN-CS-70-168 (AIM-130, AD713252), M. Kelly (Thesis), @i(Visual

Identification of People by Computer), 138 pages, July 1970. @b(*)

STAN-CS-70-169 (AIM-126, AD711329), D. Knuth, @i(Examples of Formal

Semantics), 35 pages, August 1970. @b(*)

STAN-CS-70-170 (CSL-TR-6, AD711334), T. Bredt, @i(Analysis and Synthesis

of Concurrent Sequential Programs), 50 pages, May 1970. $3.20 @b(H)

STAN-CS-70-171 (CSL-TR-8, AD714202), T. Bredt, @i(A Survey of Models for

Parrallel Computing), 58 pages, August 1970. @b(*)

STAN-CS-70-172 (CSL-TR-7, AD714180), T. Bredt, @i(Analysis of Parallel

Systems), 59 pages, August 1970. @b(*)

STAN-CS-70-173 (CSL-TR-9, AD714181), T. Bredt, @i(The Mutual Exclusion

Problem), 68 pages, August 1970. @b(*)

STAN-CS-70-174 (AIM-127, AD711395), Z. Manna and R. Waldinger, @i(Towards

Automatic Program Synthesis), 55 pages, August 1970. $3.20 @b(H)

STAN-CS-70-175 (AD713842), M. Malcolm, @i(A Description and Subroutines for

Computing Euclidean Inner Products on the IBM 360), 14 pages, October

1970. $1.85 @b(H)

STAN-CS-70-176 (AIM-131, AD715128), E. A. Feigenbaum, B. C. Buchanan and

J. Lederberg, @i(On Generality and Problem Solving: A Case Study Using the

DENDRAL Program), 48 pages, September 1970. @b(*)

STAN-CS-70-177 (AD715511), R. W. Floyd and D. E. Knuth, @i(The Bose-

Nelson Sorting Problem), 16 pages, October 1970. $2.15 @b(H)

STAN-CS-70-178 (not at NTIS), G. Forsythe and W. F. Miller, @i(Research

Review), 186 pages, October 1970. $7.70 @b(H)

STAN-CS-70-179 (AIM-135, AD716566), D. C. Smith, @i(MLISP), 99 pages,

October 1970. $4.50 @b(H)

STAN-CS-70-180 (AIM-132, AD715665), G. Falk (Thesis), @i(Computer

Interpretation of Imperfect Line Data as a Three-Dimensional Scene), 187

ages, October 1970. @b(*)

STAN-CS-70-181 (AIM-133), A. C. Hearn, @i(Reduce 2 - User's Manual), 85

pages, October 1970. @b(*)

STAN-CS-70-182 (AIM-134, AD748565), J. Tenenbaum (Thesis), @i(Accomodation

in Computer Vision), 452 pages, Septmeber 1970. @b(*)

STAN-CS-70-183 (AIM-136, AD717600), G. M. White, @i(Machine Learning

Through Signature Trees...Application to Human Speech), 40 pages, October

1970. @b(*)

STAN-CS-70-184 (AD715512), M. Malcolm, @i(A Note on a Conjecture of J.

Mordell), 5 pages, October 1970. $1.85 @b(H)

STAN-CS-70-185 (TID22593), E. Nelson, @i(Graph Program Simulation), 175

pages, October 1970. @b(*)

STAN-CS-70-186 (AIM-137, AD715513), D. E. Knuth, @i(An Empirical Study of

Fortran Programs), 50 pages, November 1970. @b(*)

STAN-CS-70-187 (AD197154), G. Dantzig et al., @i(Mathematical Programming

Language (MPL) Specification Manual for Committee Review), 82 pages,

December 1970. @b(*)

STAN-CS-70-188 (AIM-138, PB197161), E. Ashcroft and Z. Manna, @i(The

Translation of `Go To' Programs to `While' Programs), 28 pages, December

1970. @b(*)

STAN-CS-70-189 (AIM-139, AD717601), Z. Manna, @i(Mathematical Theory of

Partial Correctness), 24 pages, December 1970. $2.40 @b(H)

STAN-CS-70-190 (AD719398), J. Hopcroft, @i(An N Log N Algorithm for

Minimizing States in a Finite Automaton), 12 pages, December 1970. @b(*)

STAN-CS-70-191 (SLACP-904, PB198494), V. Lesser, @i(An Introduction to the

Direct Emulation of Control Structures by a Parallel Micro- Computer), 26

pages, December 1970. @b(*)

STAN-CS-70-192 (AD719399), J. Hopcroft, @i(An N Log N Algorithm for

Isomorphism of Planar Triply Connected Graphs), 6 pages, December 1970. @b(*)

STAN-CS-70-193 (AIM-140, not at NTIS), R. Schank, @i(Intention, Memory and

Computer Understanding), 59 pages, December 1970. @b(*)

STAN-CS-70-194 (PB198495), D. E. Knuth, @i(The Art of Computer

Programming - Errata et Addenda), 28 pages, December 1970. @b(*)

STAN-CS-70-195 (723871), B. L. Buzbee, F. W. Dorr, A. George and G. H.

Golub, @i(The Direct Solution of the Discrete Poisson Equation on Irregular

Regions), 30 pages, December 1970. @b(*)

STAN-CS-70-196 (AD725167), C. B. Moler, @i(Matrix Computations with

Fortran and Paging), 13 pages, December 1970. $2.10 @b(H)

STAN-CS-71-197 (not at NTIS), D. E. Knuth and R. L. Sites, @i(Mix/360

User's Guide), 11 pages, January 1971. @b(*)

STAN-CS-71-198 (AD726170), R. Brent (Thesis), @i(Algorithms for Finding

Zeros and Extrema of Functions without Calculating Derivatives), 250

pages, February 1971. @b(*)

STAN-CS-71-199 (PB198415), Staff, @i(Bibliography of Stanford Computer

Science Reports 1963-1971), 28 pages, February 1971. @b(*)

STAN-CS-71-200 (PB198416), J. G. Herriot and C. H. Peinsch, @i(ALGOL 60

Procedures for the Calculation of Interpolating Natural Spline

Functions), 30 pages, February 1971. @b(*)

STAN-CS-71-201 (AD722434), J. Hopcroft and R. Tarjan, @i(Planarity Testing

in V Log V Steps: Extended Abstracts), 18 pages, February 1971. @b(*)

STAN-CS-71-202 (SLAC-117, not at NTIS), H. J. Saal and W. Riddle,

@i(Communicating Semaphores), 21 pages, February 1971. @b(*)

STAN-CS-71-203 (AIM-141, AD730506), B. Buchanan, E. Feigenbaum and J.

Lederberg, @i(The Heuristic DENDRAL Program for Explaining Empirical

Data), 20 pages, February 1971. @b(*)

STAN-CS-71-204 (PB198510), D. Ingalls, @i(FETE - a Fortran Execution Time

Estimator), 12 pages, February 1971. @b(*)

STAN-CS-71-205 (AIM-142, AD731383), Robin Milner, @i(An Algebraic

Definition of Simulation Between Programs), 20 pages, March 1971. $2.30 @b(H)

STAN-CS-71-206 (AD726158), D. E. Knuth, @i(Mathematical Analysis of

Algorithms), 26 pages, March 1971. @b(*)

STAN-CS-71-207 (AD726169), J. Hopcroft and R. Tarjan, @i(Efficient

Algorithms for Graph Manipulation), 19 pages, March 1971. @b(*)

STAN-CS-71-208 (AD726171), J. A. George (Thesis), @i(Computer

Implementation of the Finite Element Method), 220 pages, March 1971. @b(*)

STAN-CS-71-209 (AIM-143, AD724867), J. McCarthy and Staff, @i(Project

Technical Report), 80 pages, March 1971. @b(*)

STAN-CS-71-210 (PB201917), J. Gerry Purdy, @i(Access - a Program for the

Catalog and Access of Information), 28 pages, March 1971. $2.55 @b(H)

STAN-CS-71-211 (AD727104), M. Malcolm, @i(An Algorithm to Reveal

Properties of Floating-Point Arithmetic), 8 pages, March 1971. $2.30 @b(H)

STAN-CS-71-212 (AD727107), M. A. Morgana, @i(Time and Memory Requirements

for Solving Linear Systems), 7 pages, March 1971. $1.90 @b(H)

STAN-CS-71-213 (PB201629), R. Tarjan, @i(The Switchyard Problem: Sorting

Using Networks of Queues and Stacks), 13 pages, April 1971. $2.10 @b(H)

STAN-CS-71-214 (AD727108), R. L. Graham, D. E. Knuth and T. S. Motzkin,

@i(Complements and Transitive Closures), 6 pages, April 1971. $1.90 @b(H)

STAN-CS-71-215 (AD727115), M. Malcolm, @i(PL360 (Revised) - a Programming

Language for the IBM 360), 91 pages, May 1971. @b(*)

STAN-CS-71-216 (AIM-147, AD732457), R. E. Kling, @i(Reasoning by Analogy

with Applications to Heuristics Problem Solving: a Case Study), 180

pages, May 1971. @b(*)

STAN-CS-71-217 (AIM-148, AD731730), E. A. Ashcroft, Z. Manna and A.

Pnueli, @i(Decidable Properties of Monadic Functional Schemas), 9 pages,

May 1971. $2.00 @b(H)

STAN-CS-71-218 (AD731038), N. G. Debruijn, D. E. Knuth and S. O. Rice,

@i(The Average Height of Plane Trees), 7 pages, May 1971. $1.90 @b(H)

STAN-CS-71-219 (AIM-144, not at NTIS), Lynn Quam (Thesis), @i(Computer

Comparison of Pictures), 120 pages, May 1971. @b(*)

STAN-CS-71-220 (CSL-4, AD727116), Harold Stone, @i(Dynamic Memories with

Enhanced Data Access), 32 pages, February 1971. $2.65 @b(H)

STAN-CS-71-221 (AIM-145, AD731729), B. G. Buchanan, E. Feigenbaum and J.

Lederberg, @i(A Heuristic Programming Study of Theory Formation in

Science), 41 pages, June 1971. @b(*)

STAN-CS-71-222 (PB235417/AS), W. J. Meyers (Thesis), @i(Linear

Representation of Tree Structure (a Mathematical Theory of

Parenthesis-Free Notations)), 245 pages, June 1971. @b(M)

STAN-CS-71-223 (PB203429), Susan Graham (Thesis), @i(Precedence Languages

and Bounded Right Context Languages), 192 pages, July 1971. @b(*)

STAN-CS-71-224 (AIM-146, PB212183), A. Ershov, @i(Parallel Programming),

15 pages, July 1971. @b(*)

STAN-CS-71-225 (PB203344), Ake Bjorck and Gene Golub, @i(Numerical Methods

for Computing Angles Between Linear Subspaces), 30 pages, July 1971. @b(*)

STAN-CS-71-226 (SLAC-133), J. E. George, @i(SIMPLE - A Simple Precedence

Translator Writing System), 92 pages, July 1971. @b(*)

STAN-CS-71-227 (SLAC-134), J. E. George (Thesis), @i(GEMS - A Graphical

Experimental Meta System), 184 pages, July 1971. @b(*)

STAN-CS-71-228 (PB203343), Linda Kaufman, @i(Function Minimization and

Automatic Therapeutic Control), 30 pages, July 1971. $2.60 @b(H)

STAN-CS-71-229 (AD732766), E. H. Lee and G. E. Forsythe, @i(Variational

Study of Nonlinear Spline Curves), 22 pages, August 1971. $2.35 @b(H)

STAN-CS-71-230 (PB203601), R. L. Sites, @i(ALGOL With Reference Manual),

141 pages, August 1971. $5.65 @b(H)

STAN-CS-71-231 (AIM-149, AD732644), Rod Schmidt (Thesis), @i(A Study of the

Real-Time Control of a Computer Driven Vehicle), 180 pages, August 1971. @b(*)

STAN-CS-71-232 (AD733073), C. B. Moler and G. W. Steward, @i(An

Algorithm for the Generalized Matrix Eigenvalue Problem), 50 pages,

August 1971. @b(*)

STAN-CS-71-233 (not at NTIS), Wayne Wilner, @i(Declarative Semantic

Definition), 211 pages, August 1971. @b(*)

STAN-CS-71-234 (not at NTIS), Gene H. Golub, @i(Some Modified Eigenvalue

Problems), 38 pages, September 1971. @b(*)

STAN-CS-71-235 (AIM-150, not at NTIS), R. W. Floyd, @i(Toward Iterative

Design of Correct Programs), 12 pages, September 1971. @b(*)

STAN-CS-71-236 (AD737648), G. H. Golub and George Styan, @i(Numerical

Computation for Univeariate Linear Models), 35 pages, September 1971. @b(*)

STAN-CS-71-237 (CSL-TR-16, AD737270), D. C. Van Voorhis, @i(A

Generalization of the Divide-Sort-Merge Strategy for Sorting Networks),

67 pages, September 1971. @b(*)

STAN-CS-71-238 (CSL-TR-17, AD735901), D. C. Van Voorhis, @i(A Lower Bound

for Sorting Networks That Use the Divide-Sort-Merge Strategy), 13 pages,

September 1971. @b(*)

STAN-CS-71-239 (CSL-TR-18, AD736610), D. C. Van Voorhis, @i(Large [g.d.]

Sorting Networks), 84 pages, September 1971. @b(*)

STAN-CS-71-240 (AIM-151, AD738568), Ralph London, @i(Correctness of Two

Compilers for a LISP Subset), 42 pages, October 1971. @b(*)

STAN-CS-71-241 (AIM-152, AD732642), Alan Bierman, @i(On the Inference of

Turing Machines from Sample Computations), 31 pages, October 1971. @b(*)

STAN-CS-71-242 (AIM-153, AD738569), Patrick Hayes, @i(The Frame Problem and

Related Problems in AI), 24 pages, November 1971. @b(*)

STAN-CS-71-243 (AIM-154, AD738570), Z. Manna, S. Ness and J. Vuillemin,

@i(Inductive Methods for Proving Properties of Programs), 24 pages,

November 1971. @b(*)

STAN-CS-71-244 (AD738027), R. Tarjan (Thesis), @i(An Efficient Planarity

Algorithm), 154 pages, November 1971. @b(*)

STAN-CS-71-245 (AIM-155, not at NTIS), John Ryder (Thesis), @i(Heuristic

Analysis of Large Trees as Generated in the Game of Go), 350 pages,

November 1971. @b(*)

STAN-CS-71-246 (AIM-156, AD740141), Ken Colby, S. Weber, Frank Hilf and H.

Kraemer, @i(A Resemblance Test for the Validation of a Computer Simulation

of Paranoid Processing), 30 pages, November 1971. $2.50 @b(H)

STAN-CS-71-247 (AIM-157, not at NTIS), Yorick Wilks, @i(On Small Head --

Some Remarks on the Use of 'Model' in Linguistics), 16 pages, December

1971. @b(*)

STAN-CS-71-248 (AD739335), Michael Fredman and Donald Knuth, @i(Recurrence

Relations Based on Minimization), 35 pages, December 1971. @b(*)

STAN-CS-71-249 (not at NTIS), Bary Pollack, @i(An Annotated Bibliography on

the Construction of Compilers), 140 pages, December 1971. @b(*)

STAN-CS-71-250 (AIM-158, AD740127), Ashok Chandra and Zohar Manna,

@i(Program Schemas with Equality), 13 pages, December 1971. $2.05 @b(H)

STAN-CS-72-251 (CSL-TR-19, AD736814), Harold Stone, @i(An Efficient

Parallel Algorithm for the Solution of a Tridiagonal Linear System of

Equation), 24 pages, January 1972. @b(*)

STAN-CS-72-252 (SU326 P30 14), M. A. Saunders, @i(Large-Scale Linear

Programming Using the Cholesky Factorization), 40 pages, January 1972. @b(*)

STAN-CS-72-253 (AIM-159, not at NTIS), J. A. Feldman and P. C. Shields,

@i(Total Complexity and the Inference of Best Programs), January 1972. $2.85 @b(H)

STAN-CS-72-254 (AD740330), G. E. Forsythe, @i(Von Neumann's Comparison

Method for Random Sampling from the Normal and Other Distributions), 19

pages, January 1972. @b(*)

STAN-CS-72-255 (AIM-160, AD740140), J. A. Feldman, @i(Automatic

Programming), 20 pages, January 1972. @b(*)

STAN-CS-72-256 (AD740331), V. Chvatal, @i(Edmonds Polyhedra and Weakly

Hamiltonian Graphs), 22 pages, January 1972. $2.35 @b(H)

STAN-CS-72-257 (PB208519), N. Wirth, @i(On Pascal, Code Generation, and the

CDC 6000 Computer), 39 pages, February 1972. @b(*)

STAN-CS-72-258 (AD740332), Harold Brown, @i(Some Basic Machine Algorithms

for Integral Order Computations), 15 pages, February 1972. $2.15 @b(+)

STAN-CS-72-259 (PB208595), Clark A. Crane (Thesis), @i(Linear Lists and

Priority Queues as Balanced Binary Trees), 131 pages, February 1972. @b(M)

STAN-CS-72-260 (AD740110), Vaughan R. Pratt (Thesis), @i(Shellsort and

Sorting Networks), 59 pages, February 1972. @b(M)

STAN-CS-72-261 (SU326 P30 15), Gene H. Golub and Victor Pereyra, @i(The

Diffenentiation of Pseudoinverses and Nonlinear Least Squares Whose

Variables Separate), 35 pages, February 1972. @b(M)

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

1972. @b(M)

STAN-CS-72-263 (AD741189), David A. Klarner and Ronald Rivest, @i(A

Procedure for Improving the Upper Bound for the Number of n-Ominoes), 31

pages, February 1972. @b(M)

STAN-CS-72-264 (AIM-161, AD741189), Yorick Wilks, @i(Artificial

Intelligence Approach to Machine Translation), 42 pages, February 1972. @b(M)

STAN-CS-72-265 (AIM-162, AD744634), Neil Goldman, Roger Shank, Chuck

Rieger and Chris Riesbeck, @i(Primitive Concepts Underlying Verbs of

Thought), 80 pages, February 1972. @b(M)

STAN-CS-72-266 (AIM-163, not at NTIS), Jean Cadiou (Thesis), @i(Recursive

Definitions of Partial and Functions and Their Computation), 160 pages,

March 1972. @b(M)

STAN-CS-72-267 (PB209629), Pierre E. Bonzon, @i(MPL (An Appraisal Based on

Practical Experiment)), 26 pages, March 1972. $2.80 @b(+)

STAN-CS-72-268 (AD742348), V. Chvatal, @i(Degrees and Matchings), 16

pages, March 1972. @b(M)

STAN-CS-72-269 (AD742747), David Klarner and R. Rado, @i(Arithmetic

Properties of Certain Recursively Defined Sets), 30 pages, March 1972. @b(M)

STAN-CS-72-270 (PB209616), G. Golub, J. H. Wilkinson and R. Underwood,

@i(The Lanczos Algorithm for the Symmetric Ax = λ Bx Problem), 21 pages,

Marcy 1972. @b(M)

STAN-CS-72-271 (not at NTIS), William E. Riddle (Thesis), @i(The Modeling

and Analysis of Supervisory Systems), 174 pages, March 1972. @b(M)

STAN-CS-72-272 (AIM-164, AD742748), Zohar Manna and J. Vuillemin,

@i(Fixedpoint Approach to the Theory of Computation), 25 pages, March

1972. $2.50 @b(+)

STAN-CS-72-273 (PB209806), V. Chvatal and J. Sichler, @i(Chromatic

Automorphisms of Graphs), 12 pages, March 1972. $2.05 @b(+)

STAN-CS-72-274 (AD742749), D. Klarner and Richard Rado, @i(Linear

Combinations of Sets of Consecutive Integers), 12 pages, March 1972. $2.05 @b(+)

STAN-CS-72-275 (AD742750), David A. Klarner, @i(Sets Generated by

Iteration of a Linear Operation), 16 pages, March 1972. $2.20 @b(+)

STAN-CS-72-276 (AD745022), Linda Kaufman (Thesis), @i(A Generalized LR

Method to Solve Ax = Bx), 70 pages, April 1972. @b(M)

STAN-CS-72-277 (SLAC-149, not at NTIS), C. T. Zahn, @i(Region Boundaries

on a Triangular Grid), 40 pages, April 1972. $2.90 @b(+)

STAN-CS-72-278 (SU326 P30-17), Paul Concus and Gene H. Golub, @i(Use of

Fast Direct Methods for the Efficient Numerical Solution of Nonseparable

Elliptic Equations), April 1972. @b(*)

STAN-CS-72-279 (AD744313), Michael Osborne, @i(Topics in Optimization),

143 pages, April 1972. @b(*)

STAN-CS-72-280 (AIM-165, AD742751), D. A. Bochvar, @i(Two Papers on

Partial Predicate Calculus), April 1972. $3.20 @b(H)

STAN-CS-72-281 (AIM-166, AD743598), Lynn Quam, Sydney Liebes, Robert

Tucker, Marsha Jo Hanna and Botond Eross, @i(Computer Interactive Picture

Processing), 41 pages, April 1972. $2.85 @b(H)

STAN-CS-72-282 (AIM-167, AD747254), Ashok K. Chandra, @i(Efficient

Compilation of Linear Recursive Programs), 40 pages, April 1972. @b(*)

STAN-CS-72-283 (not at NTIS), David R. Stoutemyer (Thesis), @i(Numerical

Implemtation of the Schwarz Alternating Procedure for Elliptic Partial

Differential Equations), 131 pages, May 1972. @b(*)

STAN-CS-72-284 (O.R. 72-6, AD745778), V Chvatal, @i(Edmonds Polyhedra and a

Hierarchy of Combinatorial Problems), 49 pages, May 1972. @b(3.20) @b(H)

STAN-CS-72-285 (PB210910), Robert Floyd and Alan J. Smith, @i(A Linear Time

Two Tape Merge), 16 pages, May 1972. $2.20 @b(H)

STAN-CS-72-286 (PB211036), Ashok K. Chandra, @i(On the Solution of Moser's

Problem in 4 Dimensions, and Related Issues), 32 pages, May 1972. $2.70 @b(H)

STAN-CS-72-287 (AIM-168, AD746146), Shigaru Igarashi, @i(Admissibility of

Fixed-Point Induction in First-Order Logic of Typed Theories), 36 pages,

May 1972. $2.85 @b(H)

STAN-CS-72-288 (AIM-169, not at NTIS), Robin Milner, @i(Logic for

Computable Functions: Description of a Machine Implementation), 36

pages, May 1972. @b(*)

STAN-CS-72-289 (AIM-170, AD748607), Yorick Wilks, @i(Lakoff on Linquistics

and Natural Logic), 20 pages, June 1972. @b(*)

STAN-CS-72-290 (AIM-171, AD746147), Roger Schank, @i(Adverbs and Beliefs),

30 pages, June 1972. @b(*)

STAN-CS-72-291 (AD746189), Donald E. Knuth, @i(Some Combinatorial

Lemmas), 21 pages, June 1972. $2.35 @b(H)

STAN-CS-72-292 (AD746150), V. Chvatal, D. A. Klarner and D. E. Knuth,

@i(Selected Combinatorial Research Problems), 31 pages, June 1972. @b(*)

STAN-CS-72-293 (CSL-TN-32, PB212234), J. A. Lukes (Thesis),

@i(Combinatorial Solutions to Partitioning Problems), 130 pages, June

1972. $5.85 @b(H)

STAN-CS-72-294 (SLACP-1072), Harry J. Saal and Leonard J. Shustek,

@i(Microprogrammed Implementation of Computer Measurement Techniques), 20

pages, June 1972. $2.30 @b(H)

STAN-CS-72-295 (PB212130), C. C. Paige, @i(Bidiagonalization of Matrices

and Solution of Linear Equations), 27 pages, June 1972. @b(*)

STAN-CS-72-296 (AD748606), Michael L. Fredman (Thesis), @i(Growth

Properties of a Class of Recursively Defined Functions), 84 pages, June

1972. $4.25 @b(H)

STAN-CS-72-297 (PB212300), C. C. Paige, @i(An Error Analysis of a Method

for Solving Matrix Equations), 13 pages, June 1972. @b(*)

STAN-CS-72-298 (CSL-TR-25), P. M. Kogge and H. S. Stone, @i(A Parallel

Algorithm for the Efficient Solution of a General Class of Recurrence

Equations), 33 pages, July 1972. @b(*)

STAN-CS-72-299 (AIM-172, AD752801), Sylvia Weber Russell, @i(Semantic

Categories of Nominals for Conceptual Dependency Analysis of Natural

Language), 67 pages, July 1972. @b(*)

STAN-CS-72-300 (CSL-TN-17, AD749848), Marc T. Kaufman, @i(Counterexample

of a Conjecture of Fujii, Kasami and Ninomiya), 5 pages, July 1972. $1.85 @b(H)

STAN-CS-72-301 (SU326 P30-21), Michael A. Saunders, @i(Product Form of the

Cholesky Factorization for Large-Scale Linear Programming), 35 pages,

July 1972. @b(*)

STAN-CS-72-302 (SU326 P30-19), G. H. Golub, @i(Some Uses of the Lanczos

Algorithm in Numerical Linear Algebra), 23 pages, August 1972. @b(*)

STAN-CS-72-303 (AIM-174, PB212827), F. Lockwood Morris (Thesis),

@i(Correctness of Translations of Programming Languages - an Algebraic

Approach), 125 pages, August 1972. @b(*)

STAN-CS-72-304 (SU326 P30-20), R. S. Anderssen and G. H. Golub,

@i(Richardson's Non-Stationary Matrix Iterative Procedure), 76 pages,

August 1972. @b(*)

STAN-CS-72-305 (AIM-173, AD755139), Gerald Agin (Thesis), @i(Representation

and Description of Curved Objects), 125 pages, August 1972. @b(*)

STAN-CS-72-306 (SU326 P23-X-2), Bary W. Pollack, @i(A Bibliography on

Computer Graphics), 145 pages, August 1972. @b(*)

STAN-CS-72-307 (AIM-175, not at NTIS), Hozumi Tanaka, @i(Hadamard Transform

for Speech Wave Analysis), August 1972. $2.65 @b(H)

STAN-CS-72-308 (AIM-176, AD754109), J. A. Feldman, J. R. Low, R. H.

Taylor and D. C. Swinehart, @i(Recent Development in SAIL - an ALGOL Based

Language for Artificial Intelligence), 22 pages, August 1972. @b(*)

STAN-CS-72-309 (CSL-TR-157, not at NTIS), V. Lesser (Thesis), @i(Dynamic

Control Structures and Their Use in Emulation), 251 pages, August 1972. $8.75 @b(H)

STAN-CS-72-310 (CSL-TR-34, AD750671), Marc T. Kaufman, @i(Anomalies in

Scheduling Unit-Time Tasks), 22 pages, September 1972. $2.85 @b(H)

STAN-CS-72-311 (AIM-177, not at NTIS), Richard Paul (Thesis), @i(Modelling,

Trajectory Calculation and Servoing of a Computer Controlled Arm),

September 1972. @b(*)

STAN-CS-72-312 (AIM-178, AD754108), Ahron Gill, @i(Visual Feedback and

Related Problems in Computer Controlled Hand-Eye Coordination), 134

pages, September 1972. @b(*)

STAN-CS-72-313 (PB218353/1), Staff, @i(Bibliography of Computer Science

Reports), 42 pages, September 1972. @b(*)

STAN-CS-72-314 (CSL-TR-43, PB212893), Peter M. Kogge (Thesis, Part I),

@i(Parallel Algorithms for the Efficient Solution of Recurrence Problems),

74 pages, September 1972. $4.20 @b(H)

STAN-CS-72-315 (CSL-TR-44, PB212894), Peter M. Kogge (Thesis, Part II),

@i(The Numerical Stability of Parallel Algorithms for Solving Recurrence

Problems), 49 pages, September 1972. $3.50 @b(H)

STAN-CS-72-316 (CSL-TR-45, PB212828), Peter M. Kogge (Thesis, Part III),

@i(Minimal Paralellism in the Solution of Recurrence Problems), 45 pages,

September 1972. $3.35 @b(H)

STAN-CS-72-317 (CSL-TR-26, AD750672), S. H. Fuller and F. Baskett, @i(An

Analysis of Drum Storage Units), 69 pages, October 1972. $4.30 @b(H)

STAN-CS-72-318 (AD755140), H. Brown, L. Masinter and L. Hjelmeland,

@i(Constructive Graph Labeling Using Double Cosets), 50 pages, October

1972. $3.40 @b(H)

STAN-CS-72-319 (SU326 P30-22), Gene H. Golub and James M. Varah, @i(On a

Characterization of the Best 1 2 Scaling of a Matrix), 14 pages, October

1972. @b(*)

STAN-CS-72-320 (AIM-179), Bruce G. Baumgart, @i(Winged Edge Polyhedra

Representation), 46 pages, October 1972. @b(*)

STAN-CS-72-321 (AIM-180, AD759712), Ruzena Bajcsy (Thesis), @i(Computer

Identification of Textured Visual Scenes), 156 pages, October 1972. @b(*)

STAN-CS-72-322 (SU326 P30-23), P. E. Gill, G. H. Golub, W. Murray and M.

A. Saunders, @i(Methods for Modifying Matrix Factorizations), 62 pages,

November 1972. @b(*)

STAN-CS-72-323, Michael A. Malcolm and John Palmer, @i(A Fast Method for

Solving a Class of Tri-Diagonal Linear Systems) (also listed on the

abstract as @i(On the Lu Decomposition of Toeplitz Matrices)), 11 pages,

November 1972. @b(*)

STAN-CS-72-324 (CSL-TR-48, PB214612), Henry R. Bauer, III (Thesis),

@i(Subproblems of the m )x@i( n Sequencing Problem), 115 pages, November

1972. @b(*)

STAN-CS-72-325 (AIM-181), Bruce G. Buchanan, @i(Review of Hubert Dreyfus'

What Computers Can't Do: A Critique of Artificial Reason), 14 pages,

November 1972. @b(*)

STAN-CS-72-326 (AIM-182, AD754107), Kenneth Mark Colby and Franklin Dennis

Hilf, @i(Can Expert Judges, Using Transcripts of Teletyped Psychiatric

Interviews, Distinguish Human Paranoid Patients from a Computer Simulation

of Paranoid Processes?), 12 pages, December 1972. @b(*)

STAN-CS-72-327 (AD755138), David A. Klarner and Ronald L. Rivest,

@i(Asymptotic Bounds for the Number of Convex n-Ominoes), 15 pages,

December 1972. @b(*)

STAN-CS-72-328 (CSL-TR-31, PB218929), Harold Gabow, @i(An Efficient

Implementation of Edmonds' Maximum Matching Algorithm), 68 pages,

December 1972. @b(*)

STAN-CS-72-329 (PB218875), Isu Fang (Thesis), @i(Folds, A Declarative

Formal Language Definition System), 290 pages, December 1972. @b(*)

STAN-CS-73-330 (AIM-184, AD758651), Malcolm Newey, @i(Axioms and Theorems

for Integers, Lists and Finite Sets in LCF), 53 pages, January 1973. @b(*)

STAN-CS-73-331 (AIM-187, AD757364), George Collins, @i(The Computing Time

of the Eulidian Algorithm), 17 pages, January 1973. @b(*)

STAN-CS-73-332 (AIM-186, AD758645), Robin Milner, @i(Models of LCF), 17

pages, January 1973. @b(*)

STAN-CS-73-333 (AIM-185, AD757367), Zohar Manna and Ashok Chandra, @i(On

the Power of Programming Features), 29 pages, January 1973. @b(*)

STAN-CS-73-334 (AD757366), Michael A. Malcolm and Cleve B. Moler, @i(URAND,

A Universal Random Number Generator), 10 pages, January 1973. @b(*)

STAN-CS-73-335 (SU326 P30-24), G. Golub and E. Seneta, @i(Computation of

the Stationary Distribution of an Infinite Markov Matrix), 12 pages,

January 1973. $2.05 @b(H)

STAN-CS-73-336 (AIM-188, AD758646), Ashok K. Chandra (Thesis), @i(On the

Properties and Applications of Program Schemas), 225 pages, January 1973. @b(*)

STAN-CS-73-337 (AIM-189, PB218682), James Gips and George Stiny

@i(Aestehetics Systems), 22 pages, January 1973. @b(*)

STAN-CS-73-338 (AD759713), David A Klarner, @i(A Finite Basis Theorem

Revisited), 10 pages, February 1973. @b(*)

STAN-CS-73-339 (SU326 P30-25), Gene H. Golub and Warren Dent,

@i(Computation of the Limited Information Maximum Likelihood Estimator),

27 pages, February 1973. @b(*)

STAN-CS-73-340 (AIM-190, AD759714), Malcolm Newey, @i(Notes on a Problem

Involving Permutations as Subsequences), 20 pages, March 1973. $2.25 @b(H)

STAN-CS-73-341 (AIM-191, AD764272), Shmuel Katz and Zohar Manna, @i(A

Heuristic Approach to Program Verification), 40 pages, March 1973. @b(*)

STAN-CS-73-342 (AD759715), Donald Knuth, @i(Matroid Partitioning), 12

pages, March 1973. @b(*)

STAN-CS-73-343 (not at NTIS), David R. Levine (Thesis), @i(Computer- Based

Analytic Grading for German Grammar Instruction), 220 pages, March 1973. $8.30

STAN-CS-73-344 (AIM-183, AD759716), Roger C. Schank, @i(The Fourteen

Primitive Actions and Their Inferences), 71 pages, March 1973. @b(*)

STAN-CS-73-345 (AIM-192, not at NTIS), George Collins and Ellis Horowitz,

@i(The Minimum Root Separation of a Polynomial), 25 pages, April 1973. $2.05 @b(H)

STAN-CS-73-346 (AIM-193, AD759717), Kenneth Mark Colby, @i(The Rational for

Computer Based Treatment of Language Difficulties in Nonspeaking Autistic

Children), 8 pages, April 1973. @b(*)

STAN-CS-73-347 (AIM-194, PB221170/4), Kenneth M. Colby and Franklin Dennis

Hilf, @i(Multi Dimensional Analysis in Evaluating a Simulation of Paranoid

Thought Processes), 10 pages, April 1973. $2.00 @b(H)

STAN-CS-73-348 (SU326 P30-26, PB222513), V. Pereyra, @i(High Order Finite

Difference Solution of Differential Equations), 86 pages, April 1973. @b(*)

STAN-CS-73-349 (PB221115), Manuel Blum, Robert Floyd, Vaughn Pratt, Ronald

Rivest and Robert Tarjan, @i(Time Bounds for Selection), and Robert Floyd

and Ronald Rivest, @i(Expected Time Bounds for Selection), 51 pages, April

1973. @b(*)

STAN-CS-73-350 (CSL-TR-53, AD761177), Marc T. Kaufman, @i(An Almost-

Optimal Algorithm for the Assmbly Line Scheduling Problem), 21 pages,

April 1973. $2.35 @b(H)

STAN-CS-73-351 (CSL-TR-27, AD761175), Samuel H. Fuller, @i(Performance of

an I/O Channel with Multiple Paging Drums), 8 pages, April 1973. @b(*)

STAN-CS-73-352 (CSL-TR-28, AD761176), Samuel H. Fuller, @i(The Expected

Difference Between the SLTF and MTPT Drum Scheduling Disciplines), 6

pages, April 1973. $1.90 @b(H)

STAN-CS-73-353 (CSL-TR-29, AD761185), Samuel H. Fuller, @i(Random Arrivals

and MTPT Disc Scheduling Disciplines), 7 pages, April 1973. $1.90 @b(H)

STAN-CS-73-354 (PB221165/4), David A. Klarner, @i(The Number of SDR's in

Certain Regular Systems), 7 pages, April 1973. $1.90 @b(H)

STAN-CS-73-355 (CSL-TR-57, AD764598), Thomas G. Price, @i(An Analysis of

Central Processor Scheduling in Multiprogrammed Computer Systems), 8

pages, April 1973. @b(*)

STAN-CS-73-356 (AIM-195, PB222164), David Canfield Smith and Horace J.

Enea, @i(MLISP2), 92 pages, May 1973. @b(*)

STAN-CS-73-357 (AIM-196, AD762471), Neil M. Goldman and Christopher K.

Riesbeck, @i(A Conceptually Based Sentence Paraphraser), 88 pages, May

1973. @b(*)

STAN-CS-73-358 (AIM-197, AD762470), Roger C. Schank and Charles J.

Rieger III, @i(Inference and the Computer Understanding of Natural

Lanugage), 40 pages, May 1973. @b(*)

STAN-CS-73-359 (CSL-TN-25, PB222064), Harold Stone, @i(A Note on a

Combinatorial Problem of Burnett and Coffman), 8 pages, May 1973. $1.90 @b(H)

STAN-CS-73-360 (CSL-TR-33, AD764014), Richard R. Muntz and Forest

Baskett, @i(Open, Closed and Mixed Networks of Queues with Different

Classes of Customers), 40 pages, May 1973. $2.90 @b(H)

STAN-CS-73-361 (Serra, AD764273), Harold Brown and Larry Masinter, @i(An

Algorithm for the Construction of the Graphs of Organic Molecules), 25

pages, May 1973. $2.45 @b(H)

STAN-CS-73-362, appears in print as STAN-CS-73-398. @b(*)

STAN-CS-73-363 (Serra, PB222099), Linda C. Kaufman (Thesis), @i(The LZ

Algorithm to Solve the Generalized Eigenvalue Problem), 101 pages, May

1973. @b(*)

STAN-CS-73-364 (AIM-198, AD763611), R. B. Thosar, @i(Estimation of

Probability Density Using Signature Tables for Application to Pattern

Recognition), 36 pages, May 1973. $2.75 @b(H)

STAN-CS-73-365 (AIM-200, AD767331), Shigeru Igarashi, Ralph L. London and

David C. Luckham, @i(Automatic Program Verification I: Logical Basis and

its Implementation), 50 pages, May 1973. @b(*)

STAN-CS-73-366 (AIM-201, AD763673), Gunnar Rutger Grape (Thesis), @i(Model

Bases (Intermediate-Level) Computer Vision), 256 pages, May 1973. @b(*)

STAN-CS-73-367 (AD763601), Ole Amble and Donald E. Knuth, @i(Ordered Hash

Tables), 34 pages, May 1973. @b(*)

STAN-CS-73-368 (AIM-202, AD764396), Roger C. Schank and Yorick Wilks,

@i(The Goals of Linguistic Theory Revisited), 44 pages, May 1973. @b(*)

STAN-CS-73-369 (AIM-203, AD764274), Roger C. Schank, @i(The Development of

Conceptual Structures in Children), 26 pages, May 1973. @b(*)

STAN-CS-73-370 (AIM-205, AD764288), N.S. Sridharan, G. Gelernter, A.J.

Hart, W.F. Fowler and H.J. Shue, @i(A Heuristic Program to Discover

Syntheses for Complex Organic Molecules), 30 pages, June 1973. @b(*)

STAN-CS-73-371 (AD223572/AS), Donald E. Knuth, @i(A review of `Structured

Programming' ), 25 pages, June 1973. $2.45 @b(H)

STAN-CS-73-372 (AD767970), Michael A. Malcolm (Thesis, part II),

@i(Nonlinear Spline Functions), 60 pages, June 1973. @b(*)

STAN-CS-73-373 (AIM-204, AD765353/BWC), Kurt A. van Lehn (editor), @i(SAIL

User Manual), 200 pages, June 1973. @b(*)

STAN-CS-73-374 (AD764275), Michael A. Malcolm (Thesis excerpt), @i(A

Machine-Independent ALGOL Procedure for Accurate Floating-Point

Summation), 5 pages, June 1973. @b(*)

STAN-CS-73-375 (SU-326 P30-27), D. Fischer, G. Golub, O. Hald, C.

Levin and O. Widlund, @i(On Fourier-Toeplitz Methods for Separable

Elliptic Problems), 30 pages, June 1973. @b(*)

STAN-CS-73-376 (SU326 P30-28), Gunter Meinardus and G. D. Taylor, @i(Lower

Estimates for the Error of Best Uniform Approximation), 20 pages, June

1973. $2.30 @b(H)

STAN-CS-73-377 (AIM-206, AD764652), Yorick Wilks, @i(Preference

Semantics), 20 pages, June 1973. $2.25 @b(H)

STAN-CS-73-378 (AIM-207, AD767333), James Anderson Moorer, @i(The

`Optimum-Comb' Method of Pitch Period Analysis in Speech), 25 pages, June

1973. $2.40 @b(H)

STAN-CS-73-379 (AIM-208, AD767334), James Anderson Moorer, @i(The Hetrodyne

Filter as a Tool for Analysis of Transient Waveforms), 30 pages, June

1973. $2.40 @b(H)

STAN-CS-73-380 (AIM-209, AD767695/O WC), Yoram Yakimovsky (Thesis),

@i(Scene Analysis Using a Semantic Base for Region Growing), 120 pages,

June 1973. $6.00 @b(H)

STAN-CS-73-381 (AD767694), N. S. Sridharan, @i(Computer Generation of

Vertex-Graphs), 18 pages, July 1973. @b(*)

STAN-CS-73-382 (AIM-210, AD767335), Zohar Manna and Amir Pnueli,

@i(Axiomatic Approach to Total Correctness of Programs), 26 pages, July

1973. $2.40 @b(H)

STAN-CS-73-383 (AIM-211, AD769673), Yorick Wilks, @i(Natural Language

Inference), 47 pages, July 1973. @b(*)

STAN-CS-73-384 (AIM-212, AD769379), Annette Herskovits, @i(The Generation

of French from a Semantic Representation), 50 pages, August 1973. @b(*)

STAN-CS-73-385 (AIM-213, not at NTIS), R. B. Thosar, @i(Recognition of

Continuous Speech: Segmentation and Classification Using Signature Table

Adaptation), 37 pages, August 1973. $2.75 @b(H)

STAN-CS-73-386 (AIM-214, AD767332), W. A. Perkins and T. O. Binford, @i(A

Corner Finder for Visual Feed-Back), 59 pages, August 1973. @b(*)

STAN-CS-73-387 (AIM-215, AD769380), Bruce G. Buchanan and N. S.

Sridharan, @i(Analysis of Behavior of Chemical Molecules: Rule Formation

on Non-Homogeneous Classes of Objects), 15 pages, August 1973. @b(*)

STAN-CS-73-388 (CSL-TR-74, PB226044/AS), R. C. Swanson,

@i(Interconnections for Parallel Memories to Unscramble P-Ordered

Vectors), 52 pages, August 1973. $3.40 @b(H)

STAN-CS-73-389 (AIM-216, AD771299), L. Masinter, N. S. Sridharan, J.

Lederberg and D. H. Smith, @i(Applications of Artificial Intelligence for

Chemical Inference XII: Exhaustive Generation of Cyclic and Acyclic

Isomers), 60 pages, September 1973. @b(*)

STAN-CS-73-390 (not at NTIS), James Gips, @i(A Construction for the Inverse

of a Turing Machine), 8 pages, Septermber 1973. $1.90 @b(H)

STAN-CS-73-391 (AIM-217, AD770610), N. S. Sridharan, @i(Search Strategies

for the Task of Organic Chemical Synthesis), 32 pages, September 1973. @b(*)

STAN-CS-73-392, Donald E. Knuth, @i(Sorting and Searching - Errata and

Addenda), 31 pages, October 1973. $2.60 @b(H)

STAN-CS-73-393 (AIM-218, AD772063/4WC), Jean Etienne Vuillemin (Thesis),

@i(Proof Techniques for Recursive Programs), 97 pages, October 1973. @b(*)

STAN-CS-73-394 (AIM-219, AD769674), C. A. R. Hoare, @i(Parallel

Programming: An Axiomatic Approach), 33 pages, October 1973. @b(*)

STAN-CS-73-395, Staff, @i(Bibliography of Computer Science Reports), 48

pages, October 1973. @b(*)

STAN-CS-73-396 (AIM-220, AD772064), Robert Bolles and Richard Paul, @i(The

Use of Sensory Feedback in a Programmable Assembly System), 24 pages,

October 1973. @b(*)

STAN-CS-73-397 (SU326 P30-28A), Peter Henrici, @i(Computational Complex

Analysis), 14 pages, October 1973.@b(*)

STAN-CS-73-398 (AIM-199, AD771300), Bruce G. Baumgart, @i(Image Contouring

and Comparing), 52 pages, October 1973. @b(*)

STAN-CS-73-399 (SU326 P30-29), C. C. Paige and M. A. Saunders,

@i(Solution of Spase Indefinite Systems of Equations and Least Squares

Problems), 47 pages, October 1973. @b(*)

STAN-CS-73-400 (AIM-223, AD772509), C. A. R. Hoare, @i(Recursive Data

Structures), 32 pages, November 1973. @b(*)

STAN-CS-73-401 (PB226691/AS), C. A. R. Hoare, @i(Monitors: An Operating

System Structuring Concept), 25 pages, November 1973. @b(*)

STAN-CS-73-402 (PB229616/AS), J. G. Herriot and C. H. Reinsch, @i(ALGOL 60

Precedures for the Calculation of Interpolating Natural Quintic Spline

Functions), 40 pages, November 1973. @b(*)

STAN-CS-73-403 (AIM-224, AD773391), C. A. R. Hoare, @i(Hints on

Programming Language Design), 29 pages, December 1973. @b(*)

STAN-CS-74-404 (AD775452), N. S. Sridharan, @i(A Catalog of

Quadri/Trivalent Graphs), 48 pages, January 1974. @b(*)

STAN-CS-74-405 (not at NTIS), R. Davis and M. Wright, @i(Stanford

Computer Science Department: Research Report), 38 pages, January 1974. @b(*)

STAN-CS-74-406 (AIM-225, AD775645), W. A. Perkins, @i(Memory Model for a

Robot), January 1974. @b(*)

STAN-CS-74-407 (AIM-226, AD778310), F. Wright, @i(FAIL Manual), 50 pages,

February 1974. @b(*)

STAN-CS-74-408 (AIM-227, AD-A003 483), Arthur Thomas and Thomas Binford,

@i(Information Processing Analysis of Visual Perception: a review), 40

pages, February 1974. @b(*)

STAN-CS-74-409 (AIM-228, AD776233), John McCarthy and Staff, @i(Final

Report: Ten Years of Research in Artificial Intelligence. An Overview),

February 1974. @b(*)

STAN-CS-74-410 (CSL-TR-46, PB231926/AS), James L. Peterson (Thesis),

@i(Modelling of Parallel Systems), 241 pages, February 1974. @b(*)

STAN-CS-74-411 (AIM-229), D. B. Anderson, T. O. Binford, A. J. Thomas,

R. W. Weyhrauch and Y. A. Wilks, @i(After Leibniz...: Discussions on

Philosophy and Artificial Intelligence), 50 pages, March 1974. @b(*)

STAN-CS-74-412 (AIM-230, AD786721), Daniel C. Swinehart (Thesis),

@i(COPILOT: A Multiple Process Approach to Interactive Programming

Systems), March 1974. @b(*)

STAN-CS-74-413 (AIM-231, AD-A001 814), James Gips (Thesis), @i(Shape

Grammars and Their Uses), 243 pages, March 1974. @b(*)

STAN-CS-74-414 (AIM-232, AD780452), Bruce G. Baumgart, @i(GEOMED: A

Geometric Editor), April 1974. @b(*)

STAN-CS-74-415 (PB233065/AS), Ronald L. Rivest (Thesis), @i(Analysis of

Associative Retrieval Algorithms), 109 pages, April 1974. @b(*)

STAN-CS-74-416 (PB233507/AS), Donald E. Knuth, @i(Structured Programming

with )Go To@i( Statements), 100 pages, April 1974. @b(*)

STAN-CS-74-417 (PB234102/AS), Richard L. Sites, @i(Some Thoughts on Proving

That Programs Terminate Cleanly), 68 pages, May 1974. @b(*)

STAN-CS-74-418 (PB233045/AS), Richard L. Sites (Thesis), @i(Proving That

Computer Programs Terminate Cleanly), 143 pages, May 1974. @b(*)

STAN-CS-74-419 (AIM-233, AD-A000 086), Charles Rieger III (Thesis),

@i(Conceptual Memory: A Theory and Computer Program for Processing the

Meaning Content of Natural Language Utterances), 393 pages, May 1974. @b(*)

STAN-CS-74-420 (CSL-TR-50, PB232543/AS), John Wakerly, @i(Partially

Self-Checking Circuits and Their Use in Performing Logical Operations),

46 pages, May 1974. @b(*)

STAN-CS-74-421 (CSL-TR-51, PB232356/AS), John Wakerly (Thesis), @i(Low-

Cost Error Detection Techniques for Small Computers), 232 pages, May

1974. @b(*)

STAN-CS-74-422 (CSL-TR-79, NASA-TM-62,370), Harold Stone, @i(Parallel

Tri-Diagonal Equation Solvers), 42 pages, May 1974. @b(*)

STAN-CS-74-423 (CSL-TN-41, PB232860/AS), Gururaj S. Rao, @i(Asymptotic

Representation of the Average Number of Active Modules in an N-Way

Interleaved Memory), 16 pages, May 1974. @b(*)

STAN-CS-74-424 (CSL-TR-80, PB232602/AS), Maurice Schlumberger (Thesis,

chapter 1), @i(Logorithmic Communications Networks), 38 pages, May 1974. @b(*)

STAN-CS-74-425 (CSL-TR-81, PB232598/AS), Maurice Schlumberger (Thesis,

chapter 2), @i(Vulnerability of deBruijn Communications Networks), 68

pages, May 1974. @b(*)

STAN-CS-74-426 (CSL-TR-82, PB232597), Maurice Schlumberger, (Thesis,

chapter 3), @i(Queueing Equal Length Messages in a Logorithmic Network),

75 pages, May 1974. @b(*)

STAN-CS-74-427 (CSL-TN-36, PB232624/AS), Tomas Lang (Thesis excerpt),

@i(Performing the Perfect Schuffle in an Array Computer), 18 pages, May

1974. @b(*)

STAN-CS-74-428 (CSL-TR-76, PB232633/AS), Tomas Lang (Thesis excerpt),

@i(Interconnections Between Precessors and Memory Modules Using the

Schuffle-Exchange Network), 32 pages, May 1974. @b(*)

STAN-CS-74-429 (CSL-TR-70, PB232623/AS), Samuel E. Orcutt (Thesis

excerpt), @i(Efficient Data Routing Schemes for ILLIAC IV-Type Computers),

31 pages, May 1974. @b(*)

STAN-CS-74-430 (CSL-TR-71, PB234513/AS), Samuel E. Orcutt (Thesis

excerpt), @i(A Novel Parallel Computer Architecture and Some

Applications), 44 pages, May 1974. @b(*)

STAN-CS-74-431 (AIM-234, not at NTIS), Kenneth Mark Colby and Roger C.

Parkison, @i(Pattern Matching Rules for the Recognition of Natural Language

Dialogue Expressions), 23 pages, May 1974. @b(*)

STAN-CS-74-432 (AIM-235, AD-A006 898), Richard Weyhrauch and Arthur

Thomas, @i(FOL: A Proof Checker for First-Order Logic), 60 pages, May

1974. $3.30 @b(H)

STAN-CS-74-433 (AIM-236, AD784513), Jack R. Buchanan and David C.

Luckham, @i(On Automating the Construction of Programs), 65 pages, May

1974. @b(*)

STAN-CS-74-434 (SU326 P30-31), Axel Ruhe and Per Ake Wedin, @i(Algorithms

for Separable Nonlinear Least Squares Problems), 50 pages, June 1974. $3.50 @b(H)

STAN-CS-74-435 (CSL-TR-88, A001-071), Thomas G. Price, @i(Balanced

Computer Systems), 56 pages, June 1974. @b(*)

STAN-CS-74-436 (AIM-237, AD-A012 477), Yorick Wilks, @i(Natural Language

Understanding Systems Within the A.I. Paradigm -- A Survey and Some

Comparisons), 25 pages, July 1974. $2.85 @b(H)

STAN-CS-74-437 (AIM-238, AD-A005 040), C. K. Riesbeck (Thesis),

@i(Computational Understanding: Analysis of Sentences and Context), 245

pages, July 1974. @b(*)

STAN-CS-74-438 (AIM-239, AD786720), Marsha Jo Hanna (Thesis), @i(Computer

Matching of Areas in Stereo Images), 99 pages, July 1974. @b(*)

STAN-CS-74-439 (OR-74-7, SU326 P30-32), Richard W. Cottle, Gene H. Golub

and R. S. Sacher, @i(On the Solution of Large, Structured Linear

Complementarity Problems: III), 87 pages, July 1974. @b(*)

STAN-CS-74-440 (PB237360/AS), James H. Morris, Jr., Vaughn R. Pratt and

Donald E. Knuth, @i(Fast Pattern Matching in Strings), 32 pages, July

1974. @b(*)

STAN-CS-74-441 (AD-A000 284), Donald E. Knuth and Ronald W. Moore, @i(An

Analysis of Alpha-Beta Pruning), 64 pages, July 1974. @b(*)

STAN-CS-74-442 (AD-A004 208), Donald E. Knuth, @i(Estimating the

Efficiency of Backtrack Programs), 30 pages, July 1974. @b(*)

STAN-CS-74-443 (PB-236 471/AS), Douglas K. Brotz (Thesis), @i(Embedding

Heuristic Problem Solving Methods in a Mechanical Theorem Prover), 107

pages, July 1974. @b(*)

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, @i(Progress Report on Program-Understanding Systems), 50 pages,

July 1974. $3.10 @b(H)

STAN-CS-74-445 (SLACP-1448), J. H. Friedman, F. Baskett and L. J.

Shustek, @i(A Relatively Efficient Algorithm for Finding Nearest

Neighbors), 21 pages, September 1974. @b(*)

STAN-CS-74-446 (AIM-241, AD786723), L. Aiello and R. W. Weyhrauch,

@i(LCFsmall: An Implementation of LCF), 45 pages, September 1974. $2.95 @b(H)

STAN-CS-74-447 (AIM-221, AD787631), L. Aiello, M. Aiello and R. W.

Weyhrauch, @i(Semantics of Pascal in LCF), 78 pages, September 1974. @b(*)

STAN-CS-74-448 (SU326 P30-33), D. Goldfarb, @i(Matrix Factorizations in

Optimization of Nonlinear Functions Subject to Linear Constraints), 45

pages, September 1974. $3.30 @b(H)

STAN-CS-74-449 (CSL-TR-89, AD785027), A. Smith (Thesis), @i(Performance

Analysis of Computer Systems Components), 323 pages, September 1974. @b(*)

STAN-CS-74-450 (CSL-TR-90, AD787008), F. Baskett and A. J. Smith

(Thesis, chapter 3), @i(Interference in Multiprocessor Computer Systems

with Interleaved Memory), 45 pages, September 1974. @b(*)

STAN-CS-74-451 (CSL-TR-91, AD786999), A. Smith (Thesis, chapter 5), @i(A

Modified Working Set Paging Algorithm), 40 pages, October 1974. @b(*)

STAN-CS-74-452 (AIM-242, AD-A000 500), J. R. Low (Thesis), @i(Automatic

Coding: Choice of Data Structures), 110 pages, September 1974. @b(*)

STAN-CS-74-453 (AD-A000 034), Donald E. Knuth, @i(Random Matroids), 30

pages, September 1974. $2.60 @b(H)

STAN-CS-74-454 (SU326 P30-35), L. S. Jennings, @i(A Computational

Approach to Simultaneous Estimation), 15 pages, September 1974. $2.15 @b(H)

STAN-CS-74-455 (AD-A000 083), Robert E. Tarjan, @i(Edge-Disjoint Spanning

Trees, Dominators, and Depth-First Search), 40 pages, September 1974. $2.90 @b(H)

STAN-CS-74-456 (AIM-243, AD-A003 815), R. Finkel, R. Taylor, R. Bolles,

R. Paul and J. Feldman, @i(AL, A Programming System for Automation:

Preliminary Report), 117 pages, October 1974. @b(*)

STAN-CS-74-457 (AIM-244, not at NTIS), K. M. Colby, @i(Ten Criticisms of

Parry), 7 pages, October 1974. @b(*)

STAN-CS-74-458 (AIM-245, AD784816), J. Buchanan (Thesis), @i(A Study in

Automatic Programming), 146 pages, October 1974. @b(*)

STAN-CS-74-459 (AIM-246, AD-A000 085), Terry Winograd, @i(Five Lectures on

Artificial Intelligence), 95 pages, October 1974. $2.60 @b(H)

STAN-CS-74-460 (PB238148/AS), T. Porter and I. Simon, @i(Random Insertion

into a Priority Queue Structure), 25 pages, October 1974. $2.45 @b(H)

STAN-CS-74-461 (AIM-247, AD-A005 041), N. M. Goldman (Thesis),

@i(Computer Generation of Natural Language from a Deep Conceptual Base),

316 pages, October 1974. @b(*)

STAN-CS-74-462 (AIM-248), K. Pingle and A. J. Thomas, @i(A Fast,

Feature-Driven Stereo Depth Program), 15 pages, October 1974. $2.15 @b(H)

STAN-CS-74-463 (AIM-249, AD-A002 261), Bruce Baumgart (Thesis),

@i(Geometric Modeling for Computer Vision), 141 pages, November 1974. @b(*)

STAN-CS-74-464 (AIM-250, AD-A003 488), Ramakant Nevatia (Thesis),

@i(Structured Descriptions of Complex Curved Objects for Recognition and

Visual Memory), 125 pages, November 1974. @b(*)

STAN-CS-74-465 (AIM-251, AD-A001 373), E. H. Shortliffe (Thesis),

@i(MYCIN: A Rule-Based Computer Program for Advising Physicians Regarding

Antimicrobial Therapy Selection), 409 pages, November 1974. @b(*)

STAN-CS-74-466 (AIM-252, AD-A002 246), Lester Earnest (editor), @i(Recent

Research in Artificial Intelligence, Heuristic Programming, and Network

Protocols), 79 pages, November 1974. $3.80 @b(H)

STAN-CS-74-467 (AIM-222, AD-A007 562), M. Aiello and R. Weyhrauch,

@i(Checking Proofs in the Meta-Mathematics of First Order Logic), 55

pages, November 1974. $3.25 @b(H)

STAN-CS-74-468 (AD-A003 832), S. Krogdahl, @i(A Combinatorial Base for Some

Optimal Matroid Intersection Algorithms), 25 pages, November 1974. $2.45 @b(H)

STAN-CS-74-469, H. Brown, @i(Molecular Structure Elucidation III), 38

pages, December 1974. $2.80 @b(H)

STAN-CS-74-470, L. Trabb Prado, @i(Stable Sorting and Merging with Optimal

Time and Space Bounds), 75 pages, December 1974. @b(*)

STAN-CS-74-471 (AIM-253, AD-A003 487), B. Faught, K. M. Colby and R. C.

Parkison, @i(The Interaction of Inferences, Affects, and Intentions in a

Model of Paranoia), 38 pages, December 1974. $2.75 @b(H)

STAN-CS-74-472 (AIM-254, AD-A005 407), L. H. Quam and M. J. Hannah,

@i(Stanford Automatic Photogrammetry Research), 15 pages, December 1974. $2.15 @b(H)

STAN-CS-74-473 (AIM-255, AD-A005 412), N. Suzuki, @i(Automatic Program

Verification II: Verifying Programs by Algebraic and Logical Reduction),

28 pages, December 1974. @b(*)

STAN-CS-74-474 (AIM-256, AD-A007 563), F. W. von Henke and D. C.

Luckham, @i(A Methodology for Verifying Programs), 45 pages, December

1974. $3.30 @b(H)

STAN-CS-75-475 (AIM-257, AD-A005 413), M. C. Newey (Thesis), @i(Formal

Semantics of LISP with Applications to Program Correctness), 184 pages,

January 1975. @b(*)

STAN-CS-75-476 (AIM-258, AD-A006 294), Cordell Green and David Barstow,

@i(A Hypothetical Dialogue Exhibiting a Knowledge Base for a

Program-Understanding System), 45 pages, January 1975. @b(*)

STAN-CS-75-477 (not at NTIS), V. Chvatal and D. Sankoff, @i(Longest Common

Subsequences of Two Random Sequences), 18 pages, January 1975. $2.20 @b(H)

STAN-CS-75-478 (SU326 P30-36), G. H. Golub and J. H. Wilkinson, @i(Ill-

Conditioned Eigensystems and the Computation of the Jordan Canonical

Form), 66 pages, February 1975. @b(*)

STAN-CS-75-479 (SU326 P30-38), F. Chatelin and J. Lemordant, @i(Error

Bounds in the Approximation of Eigenvalues of Differential and Integral

Operators), 24 pages, February 1975. $2.40 @b(H)

STAN-CS-75-480 (A008804), Donald E. Knuth, @i(Notes on Generalized

Dedekind Sums), 45 pages, February 1975. $3.35 @b(H)

STAN-CS-75-481 (SU326 P30-39), J. Oliger, @i(Difference Methods for the

Initial-Boundary Value Problem for Hyperbolic Equations), 31 pages,

February 1975. $2.90 @b(H)

STAN-CS-75-482 (SLACP-1549, not at NTIS), J. A. Friedman, J. L. Bentley

and R. A. Finkel, @i(An Algorithm for Finding Best Matches in Logarithmic

Time), 31 pages, March 1975. @b(*)

STAN-CS-75-483 (AD-A011 835), P. Erdos and R. L. Graham, @i(On Packing

Squares with Equal Squares), 8 pages, March 1975. $1.90 @b(H)

STAN-CS-75-484 (AD-A011 832), R. L. Graham and E. Szemeredi, @i(On

Subgraph Number Independence in Trees), 18 pages, March 1975. $2.20 @b(H)

STAN-CS-75-485 (AD-A011 834), P. Erdos and E. Szemeredi, @i(On

Multiplicative Representations of Integers), 18 pages, March 1975. $2.20 @b(H)

STAN-CS-75-486 (SU326 P30-37), A. Bjorck and G. H. Golub,

@i(Eigenproblems for Matrices Associated with Periodic Boundary

Conditions), 19 pages, March 1975. $2.30 @b(H)

STAN-CS-75-487 (SLACP-1573), J. H. Friedman, @i(A Variable Metric

Decision Rule for Non-Parametric Classification), 34 pages, April 1975. $2.70 @b(H)

STAN-CS-75-488 (AD-A011 445), B. Bollobas, P. Erdos and E. Szemeredi, @i(On

Complete Subgraphs of r-Chromatic Graphs), 16 pages, April 1975. $2.20 @b(H)

STAN-CS-75-489 (AD-A011 833), E. Szemeredi, @i(Regular Partitions of

Graphs), 8 pages, April 1975. $1.90 @b(H)

STAN-CS-75-490 (AD-A014 429), R. William Gosper, @i(Numerical Experiments

with the Spectral Test), 31 pages, May 1975. $2.60 @b(H)

STAN-CS-75-491, G. D. Knott (Thesis), @i(Deletion in Binary Storage

Trees), 93 pages, May 1975. @b(*)

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

1975. @b(*)

STAN-CS-75-493 (PB244421/AS), R. Kurki-Suonio, @i(Describing Automata in

Terms of Languages Associated with Their Peripheral Devices), 37 pages,

May 1975. $2.80 @b(H)

STAN-CS-75-494, E. H. Satterthwaite, Jr. (Thesis), @i(Source Language

Debugging Tools), 345 pages, May 1975. @b(*)

STAN-CS-75-495 (AD-A014 424), S. Krogdahl, @i(The Dependence Graph for

Bases in Matroids), 29 pages, May 1975. $2.60 @b(H)

STAN-CS-75-496 (SU326 P30-41), R. Underwood (Thesis), @i(An Iterative Block

Lanczos Method for the Solution of Large Sparse Symmetric Eigenproblems),

133 pages, May 1975. @b(*)

STAN-CS-75-497 (AD-A016 825), R. L. Graham and L. Lovasz, @i(Distance

Matrices of Trees), 48 pages, August 1975. $3.10 @b(H)

STAN-CS-75-498 (AIM-259, AD-A017 025), H. Samet (Thesis), @i(Automatically

Proving the Correctness of Translations Involving Optimized Code), 214

pages, August 1975. @b(*)

STAN-CS-75-499 (AIM-260), D. C. Smith (Thesis), @i(PYGMALION: A Creative

Programming Environment), 193 pages, August 1975. @b(*)

STAN-CS-75-500 (PB246708/AS), R. Kurki-Suonio, @i(Towards Better

Definitions of Programming Languages), 29 pages, August 1975. @b(*)

STAN-CS-75-501 (AIM-261, AD-A016 810), O. Pettersen, @i(Procedural Events

as Software Interrupts), 8 pages, August 1975. $1.95 @b(H)

STAN-CS-75-502 (AIM-262, AD-A016 808), O. Pettersen, @i(Synchronization of

Concurrent Processes), 14 pages, August 1975. $2.10 @b(H)

STAN-CS-75-503 (AIM-263, AD-A016 807), O. Pettersen, @i(The Macro-

Processing System STAGE2), 20 pages, August 1975. $2.25 @b(H)

STAN-CS-75-504 (AD-A017 370), P. Erdos, R. L. Graham and E. Szemeredi,

@i(On Sparse Graphs with Dense Long Paths), 14 pages, August 1975. $1.85 @b(H)

STAN-CS-75-505 (AD-A017 053), V. Chvatal, @i(Some Linear Programming

Aspects of Combinatorics), 30 pages, August 1975. $2.60 @b(H)

STAN-CS-75-506 (AIM-264, AD-A017 176), M. Gordon, @i(Operational Reasoning

and Denotational Semantics), 30 pages, August 1975. $2.65 @b(H)

STAN-CS-75-507 (AIM-265), M. Gordon, @i(Towards a Semantic Theory of

Dynamic Binding), 25 pages, August 1975. $2.50 @b(H)

STAN-CS-75-508, James Eve, @i(On Computing the Transitive Closure of a

Relation), 14 pages, August 1975. @b(*)

STAN-CS-75-509 (AD-A017 331), M. Overton and A. Proskurowski, @i(Finding

the Maximal Incidence Matrix of a Large Graph), 72 pages, August 1975. $3.90 @b(H)

STAN-CS-75-510 (AD-A017 054), A. C. Yao and D. E. Knuth, @i(Analysis of the

Subtractive Algorithm for Greatest Common Divisors), 10 pages, August

1975. $2.00 @b(H)

STAN-CS-75-511 (AD-A017 294), P. Dubost and J. M. Trousse, @i(Software

Implementation of a New Method of Combinatorial Hashing), 35 pages,

August 1975. $2.75 @b(H)

STAN-CS-75-512 (PB247895/AS), Robert E. Tarjan, @i(Applications of Path

Compression on Balanced Trees), 53 pages, October 1975. @b(*)

STAN-CS-75-513 (SLACR-186), J. L Bentley, @i(A Survey of Techniques for

Fixed Radius Near Neighbor Searching), 30 pages, October 1975. $2.60 @b(H)

STAN-CS-75-514 (PB247561/AS), N. Tokura, @i(A Microprogram Control Unit

Based on a Tree Memory), 39 pages, October 1975. @b(*)

STAN-CS-75-515, R. P. Brent, @i(Fast Multiple-Precision Evaluation of

Elementary Functions), 22 pages, October 1975. $2.35 @b(H)

STAN-CS-75-516 (SU326 P30-42), J. Stoer, @i(On the Relation Between

Quadratic Termination and Convergence Properties of Minimization

Algorithms), 103 pages, October 1975. @b(*)

STAN-CS-75-517, V. Chvatal and C. Thomassen, @i(Distances in Orientations

of Graphs), 24 pages, October 1975. @b(*)

STAN-CS-75-518 (AD-A018 461), V. Chvatal and P. L. Hammer,

@i(Aggregation of Inequalities in Integer Programming), 27 pages, October

1975. $2.60 @b(H)

STAN-CS-75-519 (AIM-266, AD-A019 641), R. Davis, B. Buchanan and E.

Shortliffe, @i(Production Rules as a Representation for a Knowledge- Based

Consultation Program), 37 pages, November 1975. $2.75 @b(H)

STAN-CS-75-520 (AIM-267, AD-A019 664), F. W. von Henke, @i(On the

Representation of Data Structures in LCF with Applications to Program

Generation), 41 pages, November 1975. $2.85 @b(H)

STAN-CS-75-521 (AIM-268), C. Thompson, @i(Depth Perception in Stereo

Computer Vision), 16 pages, November. $2.15 @b(H)

STAN-CS-75-522 (AIM-269, AD-A019 569), D. C. Luckham and N. Suzuki,

@i(Automatic Program Verification IV: Proof of Termination Within a Weak

Logic of Programs), 39 pages, November 1975. $2.50 @b(H)

STAN-CS-75-523 (AIM-270, AD-A019 467), J. F. Reiser, @i(BAIL -- A Debugger

for SAIL), 26 pages, November 1975. @b(*)

STAN-CS-75-524 (AIM-271, AD-A019 702), R. Davis and J. King, @i(An

Overview of Production Systems), 40 pages, November 1975. $2.85 @b(H)

STAN-CS-75-525 (AIM-272), S. Ganapathy (Thesis), @i(Reconstruction of

Secnes Containing Polyhedra from Stereo Pair of Views), 204 pages,

November 1975. @b(*)

STAN-CS-75-526 (AD-A020 848), Robert E. Tarjan, @i(Graph Theory and

Gaussian Elimination), 23 pages, November 1975. @b(*)

STAN-CS-75-527 (CSL-TR-100, not at NTIS), E. McCluskey, J. Wakerley and R.

Ogus, @i(Center for Reliable Computing), 100 pages, November 1975. @b(*)

STAN-CS-75-528 (AD-A020 597), Robert E. Tarjan, @i(Solving Path Problems

on Directed Graphs), 45 pages, November 1975. @b(*)

STAN-CS-75-529 (SLACP-1665), J. L. Bentley and J. H. Friedman, @i(Fast

Algorithms for Constructing Minimal Spanning Trees in Coordinate Spaces),

29 pages, November 1975. $2.60 @b(H)

STAN-CS-75-530 (SU326 P30-40), M. Lentini and V. Pereyra, @i(An Adaptive

Finite Difference Solver for Nonlinear Two Point Boundary Problems with

Mild Boundary Layers), 42 pages, November 1975. $3.00 @b(H)

STAN-CS-75-531 (AD-A020 847), D. J. Rose and R. E. Tarjan,

@i(Algorithmic Aspects of Vertex Elimination on Directed Graphs), 45

pages, November 1975. @b(*)

STAN-CS-75-532, Pat E. Jacobs (staff), @i(Bibliography of Computer Science

Reports), 77 pages, November 1975. @b(*)

STAN-CS-76-533 (LBL-4604, SU326 P30-44), P. Concus, G. H. Golub and D.

P. O'Leary, @i(A Generalized Conjugate Gradient Method for the Numerical

Solution of Elliptic Partial Differential Equations), 24 pages, January

1976. @b(*)

STAN-CS-76-534 (AIM-273), Linda G. Hemphill (Thesis), @i(A Conceptual

Approach to Automatic Language Understanding and Belief Structures: With

Disambiguation of the Word `For' ), 254 pages, January 1976. @b(*)

STAN-CS-76-535, P. Concus and G. H. Golub, @i(A Generalized Conjugate

Gradient Method for Non-Selmmetric Systems of Linear Equations), 12

pages, January 1976. @b(*)

STAN-CS-76-536 (AIM-274, AD-A020 942/9WC), David Grossman and Russell

Taylor, @i(Interactive Generation of Object Models with a Manipulator), 32

pages, January 1976. $2.60 @b(H)

STAN-CS-76-537 (AIM-275, AD-A020 943/7WC), Robert C. Bolles,

@i(Verification Vision Within a Programmable Assembly System: An

Introductory Discussion), 82 pages, January 1976. $4.00 @b(H)

STAN-CS-76-538 (AD-A024 416), Donald E. Knuth and L. Trabb Pardo,

@i(Analysis of a Simple Factorization Algorithm), 43 pages, January 1976. $3.00 @b(H)

STAN-CS-76-539 (AIM-276, AD-A021 055/9WC), Zohar Manna and Adi Shamir, @i(A

New Approach to Recursive Programs), 26 pages, January 1976. $2.40 @b(H)

STAN-CS-76-540 (AD-A021 587), R. L. Graham, A. C. Yao and F. F. Yao,

@i(Addition Chains with Multiplicative Cost), 7 pages, January 1976. $1.90 @b(H)

STAN-CS-76-541, Donald E. Knuth, @i(Mathematics and Computer Science:

Coping with Finiteness), 30 pages, March 1976. @b(*)

STAN-CS-76-542 (AIM-277, AD-A027 454), Zohar Manna and Adi Shamir, @i(The

Theoretical Aspects of the Optimal Fixedpoint), 24 pages, March 1976. @b(*)

STAN-CS-76-543, D. A. Zave, @i(Optimal Polyphase Sorting), 75 pages,

March 1976. @b(*)

STAN-CS-76-544, B. Mont-Reynaud, @i(Removing Trivial Assignments from

Programs), 28 pages, March 1976. @b(*)

STAN-CS-76-545, W. J. Paul, R. E. Tarjan and J. R. Celoni, @i(Space

Bounds for a Game on Graphs), 21 pages, March 1976. $2.35 @b(H)

STAN-CS-76-546 (SLACP-1715), F. Baskett and L. Sustek, @i(The Design of a

Low Cost Video Graphics Terminal), 25 pages, March 1976. $2.45 @b(H)

STAN-CS-76-547, Robert E. Tarjan, @i(Iterative Algorithms for Global Flow

Analysis), 31 pages, March 1976. $2.60 @b(H)

STAN-CS-76-548, D. Prost O'Leary (Thesis), @i(Hybrid Conjugate Gradient

Algorithms), 120 pages, March 1976. @b(*)

STAN-CS-76-549 (AIM-278, AD-A027 455), David Luckham and Norihisa Suzuki,

@i(Automatic Program Verification V: Verification-Oriented Proof Rules or

Arrays, Records and Pointers), 48 pages, March 1976. $3.05 @b(H)

STAN-CS-76-550, R. E. jan and A. E. Trojanowski, @i(Finding a

Maximum Independent Set), 22 pages, June 1976. $2.35 @b(H)

STAN-CS-76-551 (AD-A032 347), Donald E. Knuth, @i(The State of the Art of

Computer Programming), 57 pages, June 1976. @b(*)

STAN-CS-76-552 (AIM-279), Norihsa Suzuki (Thesis), @i(Automatic

Verification of Programs with Complex Data Structures), 194 pages,

February 1976. @b(*)

STAN-CS-76-553 (AD-A032 772), R. E. Tarjan, @i(Complexity of Monotone

Networks for Computing Conjunctions), 21 pages, June 1976. $2.35 @b(H)

STAN-CS-76-554, F. S. Yu (Thesis), @i(Modeling the Write Behavior of

Computer Programs), 185 pages, June 1976. $7.26 @b(H)

STAN-CS-76-555 (AIM-280), David D. Grossman, @i(Monte Carlo Simulation of

Tolerancing in Discrete Parts Manufacturing and Assembly), 25 pages, May

1976. $2.40 @b(H)

STAN-CS-76-556, L. J. Guibas (Thesis), @i(The Analysis of Hashing

Algorithms), 136 pages, August 1976. $5.55 @b(+)

STAN-CS-76-557 (AD-A032 122), M. S. Paterson, @i(An Introduction to

Boolean Function Complexity), 19 pages, August 1976. $2.25 @b(+)

STAN-CS-76-558 (AIM-281.1, AD-A042 507), Zohar Manna and Richard

Waldinger, @i(Is `sometime' sometimes better than `always'? Intermittent

assertions in proving program correctness), 41 pages, June 1976, revised

March 1977. $2.85 @b(H)

STAN-CS-76-559 (AD-A032 348), Gene Golub, V. Klema and G. W. Stewart,

Bi(Rank Degeneracy and Least Squares Problems), 38 pages, August 1976. @b(M)

BARA-CS-76-560 (AIM-282), Russell Taylor (Thesis), @i(Synthesis of

Manipulator Control Programs from Task-level Specifications), 229 pages,

July 1976. $8.10 @b(H)

STAN-CS-76-561, D. R. Woods, @i(Mathematical Programming Language:

User's Guide), 139 pages, August 1976. $6.10 @b(+)

STAN-CS-76-562 (AD-A032 123), Donald E. Knuth and L. Trabb Prado, @i(The

Early Development of Programming Languages), 109 pages, August 1976. $3.50 @b(+)

STAN-CS-76-563, D. L. Russell (Thesis), @i(State Restoration Among

Communicating Processes), 173 pages, August 1976. @b(*)

STAN-CS-76-564 (AIM-283, HPP-76-7), Randall Davis (Thesis), @i(Applications

of Meta Level Knowledge to the Construction, Maintenance and Use of Large

Knowledge Bases), 304 pages, July 1976. @b(*)

STAN-CS-76-565 (AD-A032 802), J. C. Strikwerda (Thesis), @i(Initial

Boundary Value Problems for Incompletely Parabolic Systems), 107 pages,

November 1976. @b(M)

STAN-CS-76-566, Margaret Wright (Thesis), @i(Numerical Methods for

Nonlinearly Constrained Optimization), 262 pages, November 1976. @b(M)

STAN-CS-76-567 (AIM-284), Rafael Finkel (Thesis), @i(Constructing and

Debugging Manipulator Programs), 171 pages pages, August 1976. $7.15 @b(H)

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, @i(Exploratory Study of Computer Integrated

Assembly Systems)@b(Progress Report 3), 336 pages, August 1976. @b(*)

@b(AND)(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, @i(Exploratory Study of Computer Integrated

Assembly Systems)@b(Progress Report 4), 255 pages, June 1977. $11.80 @b(H)

STAN-CS-76-569 (PB-261 814/AS), John G. Herriot, @i(Calculation of

interpolating Natural Spline Functions Using De Boor's Package for

Calculating with B-Splines), 46 pages, November 1976. $3.10 @b(+)

STAN-CS-76-570 (AIM-286), Douglas Lenat (Thesis), @i(AM: An Artificial

Intelligence Approach to Discovery in Mathematics as Heuristic Search),

350 pages, July 1976. @b(*)

STAN-CS-76-571 (AIM-287), Michael Roderick (Thesis), @i(Discrete Control of

a Robot Arm), 98 pages, August 1976. $4.45 @b(H)

STAN-CS-76-572 (AIM-288), Robert Filman and Richard Weyhrauch, @i(An FOL

Primer), 36 pages, September 1976. @b(*)

STAN-CS-76-573 (AD-A032 945), Arne Jonassen, @i(The Stationary P-Tree

Forest), 90 pages, November 1976. $4.40 @b(+)

STAN-CS-76-574 (AIM-289), John Reiser (editor), @i(SAIL Manual), 178

pages, August 1976. @b(*)

STAN-CS-76-575 (AIM-290, AD-A042 494), Nancy W. Smith, @i(SAIL Tutorial),

54 pages, November 1976. @b(*)

STAN-CS-76-576 (AD-A035 350), Colin McDiarmid, @i(Determining the Chromatic

Number of a Graph), 61 pages, December 1976.$3.35 @b(+)

STAN-CS-76-577 (AIM-291, AO44 713), Bruce Buchanan, Joshua Lederberg and

John McCarthy, @i(Three Reviews of J. Weizenbaum's Computer Power and Human

Reason), 28 pages, November 1976. @b(M)

STAN-CS-76-578 (AD-A035 219), Joseph Oliger and Arne Sundstrom,

@i(Theoretical and Practical Aspects of Some Initial-Boundary Value

Problems in Fluid Dynamics), 62 pages, December 1976. @b(M)

STAN-CS-76-579 (SLACP-1826), Forest Basket and Abbas Rafii, @i(The A0

Inversion Model of Program Paging Behavior), 30 pages, December 1976. $2.60 @b(+)

STAN-CS-76-580 (AIM-292), Terry Winograd, @i(Towards a Procedural

Understanding of Semantics), 30 pages, October 1976. @b(M)

STAN-CS-76-581 (AIM-293, AD-A042 508), Daniel Bobrow and Terry Winograd,

@i(An Overview of KRL), 40 pages, November 1976. @b(M)

STAN-CS-76-582 (AD-A038 863), V. Chvatal, M. R. Garey, and D. S.

Johnson, @i(Two Results Concerning Multicoloring), 9 pages, December 1976. @b(M)

STAN-CS-77-583 (AD-A038 864), V. Chvatal, @i(Determining the Stability

Number of a Graph), 39 pages, February 1977. @b(M)

STAN-CS-77-584 (AD-A038 865), Donald E. Knuth, @i(Deletions That Preserve

Randomness), 32 pages, February 1977. @b(M)

STAN-CS-77-585, P. Concus, G. H. Golub and D. O'Leary, @i(Numerical

Solution of Nonlinear Elliptic Partial Differential Equations by a

Generalized Conjugate Gradient Method), 43 pages, February 1977. @b(M)

STAN-CS-77-586 (AIM-294, AD-A042 516), Nachum Dershowitz and Zohar Manna,

@i(The Evolution of Programs: A System for Automatic Program

Modification), 45 pages, February 1977. @b(M)

STAN-CS-77-587 (AD-A038 867), M. R. Garey, R. L. Graham, D. S.

Johnson, and D. E. Knuth, @i(Complexity Results for Bandwidth

Minimization), 36 pages, February 1977. @b(M)

STAN-CS-77-588 (PB-266 381/AS), Tony Fan C. Chan, @i(On Computing the

Singular Value Decomposition), 57 pages, February 1977. @b(M)

STAN-CS-77-589 (HPP-77-2, AD-A038 866), Robert S. Engelmore and H. P.

Nii, @i(A Knowledge-Based System for the Interpretation of Protein X- Ray

Crystallographic Data), 36 pages, February 1977. @b(*)

STAN-CS-77-590 (AD-A038 868), Donald E. Knuth and Michael S. Paterson,

@i(Identities from Partition Involutions), 22 pages, February 1977. @b(M)

STAN-CS-77-591 (AIM-295), Robert C. Bolles (Thesis), @i(Verification Vision

Within a Programmable Assembly System), 245 pages, February 1977. $8.55 @b(H)

STAN-CS-77-592 (AIM-296), Robert Cartwright, Jr. (Thesis), @i(A Practical

Formal Semantic Definition and Verification Systems for Typed LISP), 158

pages, Fegruary 1977. @b(M)

STAN-CS-77-593 (HPP-77-1), A. C. Scott, W. J. Clancey, R. Davis, and E.

H. Shortliffe, @i(Explanation Capabilities of Production-Based

Consultation Systems), 30 pages, April 1977. @b(*)

STAN-CS-77-594 (SLAC-200), Edwin P. Stritter (Thesis), @i(File

Migration), 112 pages, April 1977. @b(*)

STAN-CS-77-595, John Gregg Lewis (Thesis), @i(Algorithms for Sparse Matrix

Eigenvalue Problems), 212 pages, April 1977. @b(M)

STAN-CS-77-596 (HPP-77-5), Mark J. Stefik and Nancy Martin, @i(A Review of

Knowledge Based Problem Solving as a Basis for a Genetics Experiment

Designing System), 97 pages, April 1977. @b(M)

STAN-CS-77-597 (HPP-77-6), Bruce G. Buchanan and Tom M. Mitchell,

@i(Model-Directed Learning of Production Rules), 21 pages, April 1977. @b(M)

STAN-CS-77-598 (AD-A040 486), Arne T. Jonassen and Donald E. Knuth, @i(A

Trivial Algorithm Whose Analysis Isn't), 32 pages, April 1977. @b(M)

STAN-CS-77-599 (AD-A040 441), Donald E. Knuth and Arnold Schonhage, @i(The

Expected Linearity of a Simple Equivalence Algorithm), 56 pages, April

1977. @b(M)

STAN-CS-77-600 (AD-A040 538), Mark R. Brown (Thesis), @i(The Analysis of a

Practical and Nearly Optimal Priority Queue), 102 pages, April 1977. @b(*)

STAN-CS-77-601 (AD-A045 652), John F. Reiser (Thesis), @i(Analysis of

Additive Random Number Generators), 34 pages, April 1977. @b(M)

STAN-CS-77-602, C. DeBoor and G. H. Golub, @i(The Numerically Stable

Reconstruction of a Jacobi Matrix from Spectral Data), 21 pages, April

1977. @b(M)

STAN-CS-77-603 (AD-A041 292), Robert E. Tarjan, @i(Reference Machines

Require Non-Linear Time to Maintain Disjoint Sets), 45 pages, April 1977. $2.95

@b(H)

STAN-CS-77-604 (AD-A040 399), Tony F. C. Chan and Joseph Oliger,

@i(Control of the Dissipativity of Lax-Wendroff Type Methods for First

Order Systems of Hyperbolic Equations), 45 pages, April 1977. @b(*)

STAN-CS-77-605 (HPP-77-14, AD-A042 834), R. G. Smith, T. M. Mitchell, R.

A. Chestek and B. Buchanan, @i(A Model for Learning Systems), 22 pages,

June 1977. @b(M)

STAN-CS-77-606, Michael J. Clancy and Donald E. Knuth, @i(A Programming and

Problem-Solving Seminar), 104 pages, June 1977. @b(M)

STAN-CS-77-607 (CSL-TR-133), Susan Owicki, @i(Specifications and Proofs for

Abstract Data Types in Concurrent Programs), 26 pages, June 1977. @b(M)

STAN-CS-77-608, Istvan Simon (Thesis), @i(On Some Subrecursive

Reducibilities), 102 pages, June 1977. @b(M)

STAN-CS-77-609 (AD-A043 362), Robert E. Tarjan, @i(Complexity of

Combinatorial Algorithms), 97 pages, June 1977. @b(M)

STAN-CS-77-610 (AIM-297), Terry Winograd, @i(A Framework for Understanding

Discourse), 24 pages, June 1977. @b(M)

STAN-CS-77-611 (AIM-298, AD-A046 703), Zohar Manna, Richard Waldinger,

@i(The Logic of Computer Programming), 90 pages, June 1977. $4.25 @b(+)

STAN-CS-77-612 (HPP-77-7, AD-A042 756), H. Penny Nii and Edward A.

Feigenbaum, @i(Rule-Based Understanding of Signals), 23 pages, June 1977. @b(M)

STAN-CS-77-613, E. Spedicato, @i(On Some Classes of Quasi-Newton Methods

for Systms of Nonlinear Algebraic Equations), 31 pages, June 1977. $2.60 @b(+)

STAN-CS-77-614 (AIM-299), Zohar Manna, Adi Shamir, @i(The Convergence of

Functions to Fixedpoints of Recursive Definitions), 45 pages, June 1977. $2.95

@b(+)

STAN-CS-77-615, R. Glowinski and O. Pironneau, @i(Numerical Methods for the

First Biharmonic Equation and for the Two- Dimensional Stokes Problem),

86 pages, June 1977. @b(M)

STAN-CS-77-616 (AD-A046 311), Heinz-Otto Kreiss and Joseph Oliger,

@i(Stability of the Fourier Method), 25 pages, September 1977. @b(M)

STAN-CS-77-617 (AIM-300), Terry Winograd, @i(On some Contested Suppositions

of Generative Linguistics about the Scientific Study of Language), 25

pages, September 1977. @b(M)

STAN-CS-77-618 (HPP-77-28, AD-A045 948), Nils J. Nilsson, @i(A Production

System for Automatic Deduction), 42 pages, September 1977. @b(M)

STAN-CS-77-619 (AD-A046 481), W. J. Paul and R. E. Tarjan, @i(Time- Space

Trade-Offs in a Pebble Game), 8 pages, September 1977. @b(M)

STAN-CS-77-620, J. Bolstad and J. Oliger, @i(Adaptation of the Fourier

Method to the Nonperiodic Initial Boundary Value Problem), 80 pages,

September 1977. @b(*)

STAN-CS-77-621 (HPP-77-25, AD-A046 289), E. A. Feigenbaum, @i(The Art of

Artificial Intelligence: I. Themes and Case Studies of Knowledge

Engineering), 18 pages, September 1977. @b(M)

STAN-CS-77-622, G. H. Golub, M. Heath and G. Wahba, @i(Generalized

Cross-Validation as a Method for Choosing a Good Ridge Parameter), 25

pages, September 1977. @b(M)

STAN-CS-77-623, D. Boley and G. H. Golub, @i(Inverse Eigenvalue Problems

for Band Matrices), 75 pages, September 1977. @b(M)

STAN-CS-77-624 (AIM-301, AD-A044 231), Lester Earnest, et. al., @i(Recent

Research in Computer Science), 118 pages, September 1977. @b(*)

STAN-CS-77-625 (AD-A046 090), Mark R. Brown and Robert E. Tarjan, @i(A

Fast Merging Algorithm), 42 pages, September 1977. $2.90 @b(+)

STAN-CS-77-626, Andrew C. Yao, @i(On the Loop Switching Addressing

Problem), 21 pages, October 1977. $2.30 @b(+)

STAN-CS-77-627 (AD-A048 786), Richard J. Lipton and Robert E. Tarjan, @i(A

Separator Theorem for Planar Graphs), 31 pages, October 1977. $2.60 @b(+)

STAN-CS-77-628 (AD-A048 787), Richard J. Lipton and Robert E. Tarjan,

@i(Applications of a Planar Separator Theorem), 34 pages, October 1977. $2.65

@b(+)

STAN-CS-77-629, Andrew C. Yao, @i(The Complexity of Pattern Matching for a

Random String), 43 pages, October 1977. $2.90 @b(+)

STAN-CS-77-630 (AIM-302, AD-AO49 761), Zohar Manna and Richard Waldinger

@i(Synthesis: Dreams => Programs), 119 pages, October 1977. $5.05 @b(+)

STAN-CS-77-631 (AIM-303, AD-A050 806), Nachum Dershowitz and Zohar Manna,

@i(Inference Rules for Program Annotation), 46 pages, October 1977. @b(M)

STAN-CS-77-632 (AIM-304, AD-A048 684), Todd Jeffery Wagner (Thesis),

@i(Hardware Verification), 102 pages, October 1977. @b(*)

STAN-CS-77-633 (AIM-305, AD-A048 660), William Faught (Thesis),

@i(Motivation and Intensionality in a Computer Simulation Model), 104

pages, October 1977. @b(M)

STAN-CS-77-634, W. Hoffmann and B. N. Parlett, @i(A New Proof of Global

Convergence for the Tridiagonal QL Algorithm), 18 pages, October 1977. @b(*)

STAN-CS-77-635, G. H. Golub, F. T. Luk and M. L. Overton, @i(A Block

Lanczos Method to Computer the Singular Value and Corresponding Singular

Vectrs of a Matrix), 80 pages, October 1977. @b(M)

STAN-CS-77-636 (AD-A048 788), Kenneth P. Bube, @i(C^m Convergence of

Trigonometric Interpolants), 25 pages, October 1977. @b(M)

STAN-CS-77-637, Lyle Ramshaw, @i(On the Gap Structure of Sequences of

Points on a Circle), 26 pages, September 1977. $2.45 @b(+)

STAN-CS-77-638 (SU326 P30-57), Dianne Prost O'Leary, @i(A Generalized

Conjugate Gradient Algorithm for Solving a Class of Quadratic Programming

Problems), 49 pages, October 1977. @b(M)

STAN-CS-77-639 (AIM-306, AD-A053 175), Cordell Green and David Barstow,

@i(On Program Synthesis Knowledge), 63 pages, November 1977. @b(*)

STAN-CS-77-640 (AIM-307, AD-A053 176), Zohar Manna and Richard Waldinger,

@i(Structured Programming Without Recursion), 10 pages, December 1977. @b(M)

STAN-CS-77-641 (AIM-308, AD-A053 184), David Barstow (Thesis), @i(Automatic

Construction of Algorithms), 220 pages, December 1977. @b(M)

STAN-CS-77-642, Andrew C. Yao, @i(On Constructing Minimum Spanning Trees in

k-Dimensional Spaces and Related Problems), 37 pages, November 1977. @b(M)

STAN-CS-77-643, Kunio Tanabe, @i(A Geometric Method in Nonlinear

Programming), 53 pages, December 1977. @b(M)

STAN-CS-77-644, Bernard Mont-Reynaud (Thesis), @i(Hierarchical Properties

of Flows and the Determination of Inner Loops), 164 pages, December 1977. $6.30

@b(+)

STAN-CS-77-645, Richard J. Lipton, Donald J. Rose, and Robert Endre

Tarjan, @i(Generalized Nested Dissection), 32 pages, December 1977. $2.60 @b(+)

STAN-CS-77-646 (AIM-309), C. G. Nelson and Derek C. Oppen, @i(Efficient

Decision Procedures Based on Congruence Closure), 5 pages, December 1977. @b(M)

STAN-CS-78-647, Andrew C. Yao, @i(A Lower Bound to Palindrome Recognition

by Probabilistic Turing Machines), 20 pages, January 1978. @b(M)

STAN-CS-78-648 (AD-A054 143), Donald E. Knuth, @i(Mathematical

Typography), 68 pages, January 1978. @b(*)

STAN-CS-78-649 (HPP-78-1), Bruce G. Buchanan and Edward A. Feigenbaum,

@i(DENDRAL and Meta-DENDRAL: Their Applications Dimension), 25 pages,

January 1978. $2.40 @b(+)

STAN-CS-78-650 (AD-A054 144), Thomas Lengaue and Robert E. Tarjan, @i(A

Fast Algorithm for Finding Dominators in a Flow Graph), 40 pages,

February 1978. @b(*)

STAN-CS-78-651 (AIM-310, AD-A058 601), Nachum Dershowitz and Zohar Manna,

@i(Proving Termination with Multiset Orderings), 30 pages, March 1978. $2.50

@b(+)

STAN-CS-78-652 (AIM-311), Greg Nelson and Derek C. Oppen, @i(A Simplifier

Based on Efficient Decision Algorithms), 20 pages, March 1978. $2.26 @b(+)

STAN-CS-78-653, Yossi Shiloach, @i(Multi-Terminal 0-1 Flow), 18 pages,

January 1978. $2.20 @b(+)

STAN-CS-78-654 (PB288520/AS), Yossi Shiloach, @i(The Two Paths Problem is

Polynomial), 23 pages, September 1977. $2.40 @b(+)

STAN-CS-78-655, Germund Dahlquist, @i(On Accuracy and Unconditional

Stability of Linear Multistep Methods for Second Order Differential

Equations), 8 pages, March 1978. $1.90 @b(+)

STAN-CS-78-656, Michael T. Heath, @i(Numerical Algorithms for Nonlinearly

Constrained Optimization), 142 pages, March 1978. $5.70 @b(+)

STAN-CS-78-657 (AIM-312), John McCarthy, Masahiko Sato, Takeshi Hayashi,

and Shigeru Igarashi, @i(On the Model Theory of Knowledge), 12 pages,

April 1978. @b(M)

STAN-CS-78-658 (SLAC-205), Leonard J. Shustek (Thesis), @i(Analysis and

Performance of Computer Instruction Sets), 177 pages, March 1978. @b(*)

STAN-CS-78-659 (SLAC-206), John E. Zolnowsky (Thesis), @i(Topics in

Computational Geometry), 63 pages, March 1978. $3.45 @b(+)

STAN-CS-78-660 (AIM-313), Bruce E. Shimano (Thesis), @i(The Kinematic

Design and Force Control of Computer Controlled Manipulators), 135 pages,

March 1978. @b(*)

STAN-CS-78-661 (AD-A060 794), John R. Gilbert and Robert E. Tarjan,

@i(Variations of a Pebble Game on Graphs), 23 pages, April 1978. $2.35 @b(+)

STAN-CS-78-662, Andrew Chi-Chih Yao, @i(New Algorithms in Bin Packing), 50

pages, May 1978. $3.10 @b(+)

STAN-CS-78-663 (AD-A060 793), Eric Grosse, @i(Software Restyling in

Graphics and Programming Languages), 30 pages, May 1978. $2.55 @b(+)

STAN-CS-78-664, Peter Bjorstad and Jorge Nocedal, @i(Analysis of a New

Algorithm for One-Dimensional Minimization), 18 pages, May 1978. $2.20 @b(+)

STAN-CS-78-665 (CSL-TR-152), T. M. McWilliams and L. C. Widdoes, Jr.,

@i(SCALD: Structured Computer-Aided Logic Design), 39 pages, March 1978. @b(M)

STAN-CS-78-666 (CSL-TR-153), T. M. McWilliams and L. C. Widdoes, Jr.,

@i(The SCALD Physical Design Subsystem), 28 pages, March 1978. @b(M)

STAN-CS-78-667 (HPP-78-7, AD-A060 795), Reid G. Smith and Randall Davis,

@i(Distributed Problem Solving: The Contract Net Approach), 27 pages,

June 1978. $2.50 @b(+)

STAN-CS-78-668 (HPP-78-10), Alain Bonnet, @i(BAOBAB, A Parser for a

Rule-Based System Using a Semantic Grammar), 41 pages, June 1978. $2.85 @b(+)

STAN-CS-78-669, avail[bibStockmeyer and F. Frances Yao, @i(On the

Optimality of Linear Merge), 11 pages, June 1978. $2.05 @b(+)

STAN-CS-78-670, Ronald L. Graham, Andrew C. Yao, and F. Frances Yao,

@i(Information Bounds are Weak in the Shortest Distance Problem), 39

pages, June 1978. $2.80 @b(+)

STAN-CS-78-671 (AIM-316), Jerrold Ginsparg (Thesis), @i(Natural Language

Processing in an Automatic Programming Domain), 172 pages, June 1978. @b(M)

STAN-CS-78-672, Tony F. C. Chan (Thesis), @i(Comparison of Numerical

Methods for Initial Value Problems), 195 pages, June 1978. @b(M)

STAN-CS-78-673 (SU36 P30-59), Tony F. Chan, William M. Coughran, Jr., Eric

H. Grosse and Michael T. Heath, @i(A Numerical Library and its Support),

22 pages, July 1978. @b(M)

STAN-CS-78-674 (SU326 P30-60), Tony F. Chan and Roland Glowinski,

@i(Finite Element Appoximation and Iterative Solution of a Class of Mildly

Non-Linear Elliptic Equations), 76 pages, November 1978. $3.85 @b(+)

STAN-CS-78-675 (AIM-317), Donald E. Knuth, @i(Tau Epsilon Chi, a system for

technical text), 200 pages, November 1978. @b(*)

STAN-CS-78-676 (SLACR-213), John Phineas Banning (Thesis), @i(A Method for

Determining the Side Effects of Procedure Calls), 283 pages, November

1978. @b(M)

STAN-CS-78-677, Frank M. Liang (editor), @i(Comprehensive Examinations in

Computer Science, 1972-1978), 238 pages, November 1978. $8.40 @b(+)

STAN-CS-78-678 (AIM-314), Derek C. Oppen, @i(Reasoning About Recursively

Defined Data Structures), 15 pages, November 1978. @b(M)

STAN-CS-78-679, Walter Murray and Michael L. Overton, @i(Steplength

Algorithms for Minimizing a Class of Nondifferentiable Functions), 57

pages, November 1978. $3.30 @b(+)

STAN-CS-78-680, Connie J. Stanley (editor), @i(Bibliography of Stanford

Computer Science Reports, 1963-1978), 100 pages, November 1978. @b(*)

STAN-CS-78-681 (AD-A065 283), Louis Trabb Pardo (Thesis), @i(Set

Representation and Set Intersection), 85 pages, December 1978. @b(M)

STAN-CS-78-682 (AD-A065 265), Jacobo Valdes (Thesis), @i(Parsing Flowcharts

and Series-Parallel Graphs), 233 pages, December 1978. @b(M)

STAN-CS-78-683 (AD-A065 284), Robert Endre Tarjan, @i(Storing a Sparse

Table), 23 pages, December 1978. @b(M)

STAN-CS-78-684 (SU326 P30-63), D. L. Boley and G. H. Golub, @i(The Matrix

Inverse Eigenvalue Problem for Periodic Jacobi Matrices), 18 pages,

December 1978. @b(M)

STAN-CS-78-685 (AD-A065 285), Franklin Tai-cheung Luk (Thesis), @i(Sparse

and Parallel Matrix Computations), 168 pages, December 1978. @b(M)

STAN-CS-78-686, Richard J. Lipton, Arnold L. Rosenberg and Andrew C. Yao,

@i(External Hashing Schemes for Collections of Data Structures), 33 pages,

December 1978. @b(M)

STAN-CS-78-687 (AIM-315, AD-A065 698), Richard Weyhrauch, @i(Prolegomena to

a Theory of Formal Reasoning), 41 pages, December 1978. $2.85 @b(+)

STAN-CS-78-688 (AIM-318), Zohar Manna, @i(Six Lectures on the Logic of

Computer Programming), 54 pages, December 1978. $3.25 @b(+)

STAN-CS-78-689 (AIM-319), Charles G. Nelson, @i(An n∩[log n] Algorithm for

the Two-Variable-Per-Constraint Linear Programming Satisfiability

Problem), 20 pages, December 1978. $2.30 @b(+)

STAN-CS-78-690 (AIM-320, AD-A065 558), Zohar Manna and Richard Waldinger,

@i(A Deductive Approach to Program Synthesis), 30 pages, December 1978. $2.55

@b(+)

STAN-CS-78-691 (AD-A066 058), Kenneth P. Bube (Thesis), @i(The

Construction of Initial Data for Hyperbolic Systems from Nonstandard

Data), 119 pages, November 1978. $5.05 @b(+)

STAN-CS-78-692 (HPP-77-39, AD-A066 147), Bruce G. Buchanan, Tom M.

Mitchell, Reid G. Smith and C. Richard Johnson Jr., @i(Models of Learning

Systems), 38 pages, November 1978. @b(*)

STAN-CS-78-693 (AD-A066 099), Douglas B. West, @i(A Class of Solutions to

the Gossip Problem), 61 pages, November 1978. $3.45 @b(+)

STAN-CS-78-694, Jonathan King (editor), @i(Computer Science at Stanford

1977-1978), 27 pages, November 1978. @b(*)

STAN-CS-78-695 (AIM-321, AD-A066 562), John McCarthy et al., @i(Recent

Research in Artificial Intelligence and Foundations of Programming), 94

pages, November 1978. @b(*)

STAN-CS-78-696 (HPP-78-22, AD-A068 538), Reid G. Smith and Tom M.

Mitchell, @i(Considerations for Microprocessor-Based Terminal Design), 14

pages, November 1978. @b(*)

STAN-CS-78-697, Walter Gander, @i(On the Linear Least Squares Problem with

a Quadratic Constraint), 120 pages, November 1978. $5.40 @b(H)

STAN-CS-78-698, Richard E. Sweet (Thesis), @i(Empirical Estimates of

Program Entropy), 167 pages, November 1978. @b(*)

STAN-CS-78-699 (HPP-78-23, AD-A068 539), James Bennett, Lewis Creary,

Robert Englemore and Robert Melosh, @i(SACON: A Knowledge-Based Consultant

for Structural Analysis), 65 pages, September 1978. @b(*)

STAN-CS-78-700 (HPP-78-28, AD-A068 230), Reid Garfield Smith (Thesis), @i(A

Framework for Problem Solving in a Distributed Processing Environment),

150 pages, December 1978. $5.90 @b(+)

STAN-CS-79-701, Mitch L Model (Thesis), @i(Monitoring System Behavior in a

Complex Computational Environment), 189 pages, January 1979. $7.00 @b(+)

STAN-CS-79-702, Yossi Shiloach, @i(An O(n )*@i( Ilog^2I) Maximum-Flow

Algorithm), 33 pages, January 1979. $2.65 @b(+)

STAN-CS-79-703 (AD-A068 228), Bengt Aspval and Yossi Shiloach, @i(A

Polynomial Time Algorithm for Solving Systems of Linear Inequalities With

Two Variables Per Inequality), 25 pages, January 1979. $2.40 @b(+)

STAN-CS-79-704 (AD-A068 232), Roland A. Sweet, @i(A Survey of the State of

Software for Partial Differential Equations), 31 pages, January 1979. $2.60 @b(+)

STAN-CS-79-705, Robert Lewis (Scot) Drysdale, III (Thesis), @i(Generalized

Voronoi Diagrams and Geometric Searching), 196 pages, January 1979. $7.20 @b(+)

STAN-CS-79-706, F. Francis Yao, @i(Graph 2-Isomorphism is NP-Complete), 12

pages, January 1979. @b(M)

STAN-CS-79-707, Chris Van Wyk and Donald E. Knuth, @i(A Programming and

Problem-Solving Seminar), 83 pages, January 1979. $4.05 @b(+)

STAN-CS-79-708, Andrew C. Yao, @i(An Analysis of a Memory Allocation Scheme

for Implementing Stacks), 18 pages, January 1979. $2.20 @b(+)

STAN-CS-78-709 (AD-A068 231), Mark R. Brown and Robert E. Tarjan, @i(Design

and Analysis of a Data Structure for Representing Sorted Lines), 50

pages, December 1978. $3.10 @b(+)

STAN-CS-79-710 (AD-A068 210), Lloyd Trefethen, @i(Numerical Computation of

the Schwarz-Christoffel Transformation), 42 pages, 1979. $2.90 @b(+)

STAN-CS-78-711, Tom Michael Mitchell (Thesis), @i(Version Spaces: An

Approach to Concept Learning), 216 pages, December 1978. @b(*)

STAN-CS-79-712 (AD-A068 393), Donald E. Knuth, @i(The Errata of Computer

Programming), 58 pages, January 1979. @b(M)

STAN-CS-79-713, Gene Golub, Stephen Nash and Charles Van Loan, @i(A

Hessenberg-Schur Method for the Problem AX + XB = C), 50 pages, January

1979. $3.10 @b(+)

STAN-CS-79-714 (CSL-TN-160), Fernando Castaneda, Frederick Chow, Peter

Nye, Dan Sleator and Gio Wiederhold, @i(PCFORT: A Fortran-to- Pcode

Translator), January 1979. @b(*)

STAN-CS-79-715 (CSL-TN-161), Brent T. Hailpern and Bruce L. Hitson, @i(S-1

Architecture Manual), January 1979. @b(*)

STAN-CS-79-716 (AIM-322), Michael Georgeff, @i(A Framework for Control in

Production Systems), 35 pages, January 1979. $2.70 @b(+)

STAN-CS-79-717 (AIM-324), Robert Cartwright and John McCarthy, @i(Recursive

Programs as Functions in a First Order Theory), 32 pages, March 1979. @b(M)

STAN-CS-79-718 (AIM-323), Shahid Mujtaba and Ron Goldman, @i(AL Users'

Manual), 136 pages, January 1979. $5.55 @b(+)

STAN-CS-79-719, Petter Bjorstad, Germund Dahlquist and Eric Grosse,

@i(Extrapolation of Asymptotic Expansions by a Modified Aitken

)d@i(^2-Formula), 54 pages, February 1979. $3.25 @b(+)

STAN-CS-79-720, R. Glowinski, @i(On Grid Optimization for Boundary Value

Problems), 22 pages, February 1979. @b(*)

STAN-CS-79-721, Andrew C. Yao and F. Frances Yao, @i(On Fault-Tolerant

Networks for Sorting), 20 pages, February 1979. @b(M)

STAN-CS-79-722 (AD-A074 077), Gio Wiederhold and Ramez El-Masri, @i(A

Structural Model for Database Systems) 57 pages, March 1979. @b(M)

STAN-CS-79-723 (AD-A074 076), Edward H. Shortliffe, Bruce G. Buchanan and

Edward A. Feigenbaum, @i(Knowledge Engineering for Medical Decision Making:

a review of computer-based clinical decision aids), 52 pages, February

1979. @b(M)

STAN-CS-79-724 (AIM-325), John McCarthy, @i(First Order Theories of

Individual Concepts and Propositions), 19 pages, March 1979. @b(M)

STAN-CS-79-725 (AIM-326, AD-A071 423), John McCarthy, @i(Ascribing Mental

Qualities to Machines), 25 pages, March 1979. @b(M)

STAN-CS-79-726, Andrew Chi-Chih Yao, @i(An Analysis of (h,k,l)-

Shellsort), 55 pages, March 1979. @b(M)

STAN-CS-79-727 (AIM-327), Robert Elliot Filman (Thesis), @i(The Interaction

of Observation and Inference), 235 pages, March 1979. $8.20 @b(+)

STAN-CS-79-728, Yossi Shiloach, @i(Union-Member Algorithms for Non-

Disjoint Sets), 12 pages, January 1979. $2.05 @b(+)

STAN-CS-79-729 (AD-A068 229), Robert Endre Tarjan, @i(A Unified Approach to

Path Problems), 43 pages, April 1979. $2.90 @b(+)

STAN-CS-79-730, Frank M. Liang, @i(Qualifying Examinations in Computer

Science, 1965-1978), 238 pages. $8.40 @b(+)

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,

@i(Stanford PASCAL Verifier User Manual), April 1979. $4.95 @b(+)

STAN-CS-79-732, Donald R. Woods, @i(Notes on Introductory Combinatorics),

120 pages, April 1979. @b(M)

STAN-CS-79-733, Andrew Chi-Chih Yao, @i(A Lower Bound to Finding Convex

Hulls), 22 pages, April 1979. $2.35 @b(+)

STAN-CS-79-734 (AD-A074 079), Robert Endre Tarjan, @i(Fast Algorithms for

Solving Path Problems), 49 pages, April 1979. @b(M)

STAN-CS-79-735, J. H. Wilkinson, @i(Kronecker's Canonical Form and the QZ

Algorithm), 23 pages, April 1979. @b(M)

STAN-CS-79-736, J. H. Wilkinson, @i(Note on the Practical Significance of

the Drazin Inverse), 20 pages, April 1979. @b(M)

STAN-CS-79-737, Andrew C. Yao and F. Frances Yao, @i(On the Average- case

Complexity of Selecting the k-th Best), 45 pages, April 1979. $3.00 @b(+)

STAN-CS-79-738 (SU326 P30-65), Randall LeVeque, Germund Dahlquist and Dan

Andree, @i(Computations Related to G-Stability of Linear Multistep

Methods), 27 pages, May 1979. @b(M)

STAN-CS-79-739 (HPP-79-14, AD-A074 075), J. R. Quinlan, @i(Induction Over

Large Data Bases), 19 pages, May 1979. $2.25 @b(+)

STAN-CS-79-740 (PVG-12), R. S. Cartwright and D. C. Oppen, @i(The Logic of

Aliasing), 24 pages, May 1979. $2.40 @b(+)

STAN-CS-79-741, Lyle Harold Ramshaw (Thesis), @i(Formalizing the Analysis

of Algorithms), 123 pages, June 1979. $5.15 @b(+)

STAN-CS-79-742 (HPP-79-12, AD-A074 078), Anne Gardner, @i(Handbook of

Artificial Intelligence: Search), 100 pages, June l979. @b(*)

STAN-CS-79-743 (AIM-328), Juan Bulnes-Rozas (Thesis), @i(GOAL: A Goal

Oriented Command Language for Interactive Proof Construction), 175 pages,

June 1979. $6.70 @b(+)

STAN-CS-79-744 (CSL-TR-172, AD-A075 268), Hector Garcia-Molina (Thesis),

@i(Performance of Update Algorithms for Replicated Data in a Distributed

Database), 320 pages, June 1979. $6.20 @b(+)

STAN-CS-79-745 (AD-A076 264), Thomas Lengauer (Thesis), @i(Upper and Lower

Bounds on Time-Space Tradeoffs in a Pebble Game), 82 pages, July 1979.

$4.05 @b(+)

STAN-CS-79-746, Alan Borning (Thesis), @i(ThingLab -- A Constraint-

Oriented Simulation Laboratory), 109 pages, July 1979. @b(*)

STAN-CS-79-747 (AIM-329, AD-A076 872), David E. Wilkins (Thesis), @i(Using

Patterns and Plans to Solve Problems and Control Search), 264 pages, June

1979. $9.10 @b(+)

STAN-CS-79-748 (AD-A075 376), David Y. Y. Yun and Fred G. Gustavson,

@i(Fast Algorithms for Solving Toeplitz System of Equations and Finding

Rational Interpolants), 9 pages, July 1979. @b(M)

STAN-CS-79-749 (HPP-79-17), William Clancey, James Bennett and Paul Cohen,

@i(Applications-Oriented AI Research: Education), 60 pages, July 1979. @b(M)

STAN-CS-79-750 (AD-A075 171), Peter Gacs and Laszlo Lovasz, @i(Khachian's

Algorithm for Linear Programming), 12 pages, July 1979. $2.10 @b(+)

STAN-CS-79-751 (AIM-330), Zohar Manna and Amir Pnueli, @i(The Modal Logic

of Programs), 36 pages, September 1979. $2.75 @b(+)

STAN-CS-79-752, Michael Lockhart Overton (Thesis), @i(Projected Lagrangian

Algorithms for Nonlinear Minimax and )l@i(↓1 Optimization), 164 pages,

July 1979. $6.30 @b(+)

STAN-CS-79-753, Andrew Chi-Chih Yao, @i(Should Tables Be Sorted?), 36

pages, July 1979. $2.75 @b(+)

STAN-CS-79-754 (HPP-79-21, AD-A076 873), Anne Gardner, James Davidson and

Terry Winograd, @i(Natural Language Understanding), 100 pages, July 1979.

@b(M)

STAN-CS-79-755 (AIM-331), Elaine Kant (Thesis), @i(Efficiency

Considerations in Program Synthesis: A Knowledge-Based Approach), 160

pages, July 1979. @b(M)

STAN-CS-79-756 (HPP-79-22, AD-A076 875), James S. Bennett, Bruce G.

Buchanan, Paul R. Cohen and Fritz Fisher, @i(Applications-Oriented AI

Research: Science and Mathematics), 110 pages, July 1979. @b(M)

STAN-CS-79-757 (HPP-79-23, AD-A075 402), Victor B. Clesielski, James S.

Bennett and Paul R. Cohen, @i(Applications-Oriented AI Research:

Medicine), 40 pages, July 1979. @b(M)

STAN-CS-79-758 (HPP-79-24, AD-A076 874), Robert Elschlager and Jorge

Phillips, @i(Automatic Programming), 100 pages, July 1979. @b(M)

STAN-CS-79-759 (HPP-79-25), Alain Bonnet, @i(Schema-Shift Strategies for

Understanding Structured Texts in Natural Language), 40 pages, July 1979. @b(M)

STAN-CS-79-760, R. L. Graham, A. C. Yao and F. F. Yao, @i(Some

Monotonicity Properties of Partial Orders), 21 pages, September 1979. @b(M)

STAN-CS-79-761 (AD-A084 021), Douglas B. West, @i(Gossiping Without

Duplicate Transmissions), 7 pages, September 1979. $1.90 @b(+)

STAN-CS-79-762 (AIM-332, AD-A083 229), Donald E. Knuth, @i(METAFONT, a

system for alphabet design), 110 pages, September 1979. @b(M)

STAN-CS-79-763 (AD-A076 876), Douglas B. West, @i(A Symmetric Chain

Decomposition of L(4,n)), 15 pages, September 1979. $2.20 @b(+)

STAN-CS-79-764, Andrew Chi-Chih Yao, @i(On the Time-Space Tradeoff for

Sorting with Linear Queries), 33 pages, September 1979. $2.65 @b(+)

STAN-CS-79-765 (AD-A083 192), Peter Gacs, @i(Relation Between the

Complexity and the Probability of Large Numbers), 8 pages, September

1979. $1.95 @b(+)

STAN-CS-79-766 (SU326 P30-69), J. Kautsky and N. K. Nichols,

@i(Equidistributing Meshes with Constraints), 27 pages, September 1979. $2.45

@b(+)

STAN-CS-79-767, Charles Van Loan, @i(On Stewart's Singular Value

Decomposition for Partitioned Orthogonal Matrices), 17 pages, September

1979. @b(M)

STAN-CS-80-768, Peter Gacs and Leonid A. Levin, @i(Causal Networks on What

Is a Deterministic Computation?), 20 pages, October 1980. $2.40 @b(+)

STAN-CS-79-769 (AD-A083 432), William John Clancey (Thesis), @i(Transfer of

Rule- Based Expertise Through a Tutorial Dialogue), 462 pages, September

1979. @b(M)

STAN-CS-79-770 (PVG-13), Derek C. Oppen, @i(Pretty Printing), 20 pages,

October 1979. @b(M)

STAN-CS-79-771 (HPP-79-29), Peter E. Friedland (Thesis), @i(Knowldge- Based

Experiment Design in Molecular Genetics), 137 pages, August 1979. @b(*)

STAN-CS-79-772 (AIM-333, AD-A086 504), Brian P. McCune (Thesis),

@i(Building Program Models Incrementally from Informal Descriptions), 146

pages, October 1979. $5.70 @b(+)

STAN-CS-79-773 (AD-A083 170), Tony F. Chan, Gene H. Golub and Randal J.

LeVeque, @i(Updating Formulae and a Pairwise Algorithm for Computing Sample

Variances), 19 pages, November 1979. $2.25 @b(+)

STAN-CS-79-774 (AD-A083 193), Gene H. Golub and Robert J. Plemmons,

@i(Large Scale Geodetic Least Squares Adjustment by Dissection and

Orthogonal Decomposition), 33 pages, November 1979. $2.65 @b(+)

STAN-CS-79-775 (AD-A083 288), Persi Diaconis and Ronald Graham, @i(The

Analysis of Sequential Experiments with Feedback to Subjects), 48 pages,

November 1979. $3.05 @b(+)

STAN-CS-79-776 (This paper supersedes STAN-CS-79-750 by Lovas and Gacs),

Bengt Aspvall and Richard E. Stone, @i(Khachiyan's Linear Programming

Algorithm), 13 pages, November 1979. $2.10 @b(+)

STAN-CS-79-777 (AD-A083 176), R.L. Graham and N.J.A. Sloane, @i(On

Constant Weight Codes and Harmonious Graphs), 17 pages, December 1979. $2.20

@b(+)

STAN-CS-79-778 (AD-A083 573), David Elliot Shaw, @i(A Hierarchical

Associative Architecture for the Parallel Evaluation of Relational

Algebraic Database Primitives), 56 pages, October 1979. $3.30 @b(+)

STAN-CS-80-779, Zohar Manna and Richard Waldinger, @i(Problematic Features

of Programming Languages: A Situational - Calculus Approach), 70 pages. $3.70

@b(+)

STAN-CS-80-780 (AD-A086 359), Donald E. Knuth, @i(The Computer Modern

Family of Typefaces), 406 pages, January 1980. $7.60 @b(+)

STAN-CS-79-781 (HPP-79-30, AD-A0789 900), Jonathan J. King, @i(Exploring the Use of

Domain Knowledge for Query Processing Efficiency), 21 pages, December

1979. $2.30 @b(+)

STAN-CS-79-782, Zohar Manna and Amir Pnueli, @i(Synchronous Schemes and

Their Decision Problems), 36 pages. @b(M)

STAN-CS-79-783 (PVG-14), Richard Alan Karp (Thesis), @i(Proving Concurrent

Systems Correct), 151 pages, November 1979. @b(M)

STAN-CS-80-784 (HPP-80-2), Mark Jeffrey Stefik (Thesis), @i(Planning with

Constraints), 230 pages, January 1980. @b(M)

STAN-CS-80-785 (PVG-15), Gerard Huet and Derek C. ppen, @i(Equations and

Rewrite Rules), 52 pages, January 1980. @b(M)

STAN-CS-80-786 (AD-A089 912), Donald E. Knuth, @i(Algorithms in Modern Mathematics and

Computer Science), 25 pages, January 1980. @b(M)

STAN-CS-80-787, H.J. Symm and J.H. Wilkinson, @i(Realistic Error Bounds for

a Simple Eigenvalue and its Associated Eigenvector), 22 pages, January

1980. @b(M)

STAN-CS-80-788 (AIM-334, AD-A086 574), John McCarthy, @i(Circumscription -

A Form of Non-Monotonic Reasoning), 15 pages, February 1980. @b(M)

STAN-CS-80-789,

D. C. Luckham and W. Polak,

@i(ADA Exceptions: Specification and Proof Techniques),

19 pages, February 1980. @b(M)

STAN-CS-80-790,

Gio Wiedherhold,

@i(Databases in Healthcare),

77 pages, Maach 1980. $4.30 @b(H)

STAN-CS-80-791,

C. R. Wilcox, M.L. Dageforde, and G. A. Jirak,

@i(Mainsail Language Manual),

247 pages, Maach 1980. @b(M)

STAN-CS-80-792,

C. R. Wilcox, M.L. Dageforde, and G. A. Jirak,

@i(Mainsaal Implementation Overview),

70 pages, March 1980. $4.15 @b(H)

STAN-CS-80-793,

Avron Barr and James Davidson,

@i(Representation of Knowledge),

82 pages, March 1980. @b(M)

STAN-CS-80-794,

Robert E. Tarjan,

@i(Recent Developments in the Complexity of Combinatorial Algorithms),

29 pages, March 1980. @b(M)

STAN-CS-80-795,

Donald E. Knuth,

@i(The Letter S),

34 pages, April 1980. @b(M)

STAN-CS-80-796,

Arthur Samuel,

@i(Essential E),

33 pages, March 1980. @b(M)

STAN-CS-80-797,

Hector Garcia Molina and Gio Wiederhold,

@i(Read-Only Transactions in a Distributed Database),

25 pages, April 1980. $2.60 @b(H)

STAN-CS-80-798,

Robert Floydand Jeffrey D. Ullman,

@i(The Compilation of Regular Expressions into Integrated Circuits),

29 pages, April 1980. @b(*)

STAN-CS-80-799,

Jerome Friedman, Eric Grosse, and Werner Stuetzle,

@i(Multidimensional Additive Spline Approximation),

22 pages, May 1980. $2.60 @b(H)

STAN-CS-80-800, Donald E. Knuth, @i(Deciphering a Linear Congruential

Encryption), 10 pages, April 1980. @b(*)

STAN-CS-80-801 (AD-A091 384), Ramez Aziz El-Masri (Thesis), @i(On the Design, Use, and

Integration of Data Models), 228 pages, May 1980. @b(M)

STAN-CS-80-802 (PVG-17), Wolfgang Heinz Polak (Thesis), @i(Theory of

Compiler Specification and Verification), 288 pages, May 1980. @b(*)

STAN-CS-80-803, Christopher John Van Wyk (Thesis), @i(A Language for

Typesetting Graphics), 59 pages, May 1980. @b(*)

STAN-CS-80-804 (AIM-336), Martin Brooks (Thesis), @i(Determining

Correctness by Testing), 135 pages, May 1980. @b(M)

STAN-CS-80-805 (AIM-339, AD-A091 081), Donald B. Gennery (Thesis), @i(Modelling the Environment of

an Exploring Vehicle by Means of Stereo Vision), 151 pages, June 1980. $5.00

@b(+)

STAN-CS-80-806, by William M. Coughran, Jr. (Thesis), @i(On the Approximate

Solution of Hyperbolic Initial-Boundary Value Problems), 177 pages, June

1980. @b(*)

STAN-CS-80-807 (AD-A091 123), David W. Matula and Danny Dolev, @i(Path-Regular Graphs),

39 pages, June 1980. $3.00 @b(+)

STAN-CS-80-808 (AIM-337, AD-A091 183),

John McCarthy (Principal Investigator), Thomas Binford, David Luckham,

Zohar Manna, Richard Weyhrauch (Associate Investigators),

@i(Basic Research in Artificial Intelligence and Foundations of Programming),

(75 pages, May 1980). @b(M)

STAN-CS-80-809 (AIM-338), Morgan S. Ohwovoriole (Thesis), @i(An Extention

of Screw Theory and its Application to the Automation of Industrial

Assemblies), 186 pages, April 1980. $4.50 @b(+)

STAN-CS-80-810 (AD-A091 124), J. Michael Steele and Andrew C. Yao, @i(Lower Bounds for

algebraic Decision Trees), 12 pages, July 1980. @b(*)

STAN-CS-80-811 (PVG-18, AD-A091 313), Steven M. German, @i(An Extended Semantic

Definition of Pascal for Proving the Absence of Common Runtime Errors),

57 pages, June 1980. @b(*)

STAN-CS-80-812 (HPP-80-14), Edward A. Feigenbaum, @i(Knowledge Engineering:

The Applied Side of Artificial Intelligence), 14 pages, September 1980.

@b(M)

STAN-CS-80-813 (AIM-340), Hans Peter Moravec (Thesis), @i(Obstacle

Avoidance and Navigation in the Real World by a Seeing Robot Rover), 174

pages, September 1980. $4.35 @b(+)

STAN-CS-80-814 (HPP-80-17, AD-A091 177), Janice S. Aikins (Thesis), @i(Prototypes and

Production Rules: A Knowledge Representation for Computer Consultations),

204 pages, August 1980. @b(*)

STAN-CS-80-815 (HPP-80-16), Edward H. Shortliffe, M.D., Ph.D., @i(Two

Papers on Medical Computing -- (1) Medical Cybernetics: The Chalenges of

Clinical Computing, (2) Consultation Systems for Physicians: The Role of

Artificial Intelligence Techniques), 56 pages, July 1980. @b(*)

STAN-CS-79-816, Robert L. Blum, M.D., @i(Automating the Study of Clinical

Hypotheses on a Time-Oriented Data Base: The RX Project), 12 pages,

November 1979. @b(*)

STAN-CS-79-817, Jeffrey Scott Vitter (Thesis), @i(Analysis of Coalesced

Hashing), 111 pages, August 1980. @b(*)

STAN-CS-80-818 (AIM-341, AD-A091 187), William Louis Scherlis (Thesis), @i(Expression

Procedures and Program Derivation), 178 pages, August 1980. @b(*)

STAN-CS-80-819 (AD-A091 180), Christopher Alan Goad (Thesis)

@i(Computational Uses of the Manipulation of Formal Proofs),

130 pages, August 1980. $5.60 @b(+)

STAN-CS-80-820 (HPP-80-22), William van Melle (Thesis),

@i(A Domain-Independent System That Aids in Constructiong Knowledge-Based

Consultation Programs), 192 pages, June 1980. @b(*)

STAN-CS-80-821,

Doublas B. West and Craig A. Tovey,

@i(Semiantichains and Unichain Coverings in Direct Products of Partial Orders),

20 pages, September 1980. @b(*)

STAN-CS-80-822,

Bengt Aspvall (Thesis),

@i(Efficient Algorithms for certain Satisfiability and Linear Programming

Problems), ? pages, September 1980. @b(*)

STAN-CS-80-823,

David Elliot Shaw (Thesis),

@i(Knowledge-Based Retrieval on a Relational Database Machine),

280 pages, August 1980. $3.80 @b(+)

STAN-CS-80-824,

Tung Yun Mei,

@i(LCCD, A Language for Chinese Character Design),

63 pages, October 1980. @b(M)

STAN-CS-80-825,

C. P. Schnorr,

@i(Refined Analysis and Improvements on Some Factoring Algorithms),

30 pages, November 1980. $2.60 @b(+)

STAN-CS-80-826,

Gio Wiederhold, Anne Beetem, and Garrett Short,

@i(Database Approach to Communication in VLSI Design),

11 pages, October 1980. @b(M)

STAN-CS-80-827,

Andrew Chi-Chih Yao,

@i(On the Parallel Computation for the Knapsack Problem),

11 pages, November 1980. $2.05 @b(+)

STAN-CS-80-828,

Donald E. Knuth and Michael F. Plass,

@i(Breaking Paragraphs Into Lines),

66 pages, November 1980. @b(M)

STAN-CS-80-829,

Bengt Aspvall and Frank Liang,

@i(The Dinner Table Problem),

13 pages, December 1980. @b(*)

STAN-CS-80-830,

David Matula, Yossi Shiloach and Robert Tarjan,

@i(Two Linear-Time Algorithms for Five-Coloring a Planar Graph),

23 pages, December 1980. $2.40 @b(+)

STAN-CS-80-831,

Daniel D. K. Sleator (Thesis),

@i(An O(nmlogn) Algorithm for Maximum Network Flow),

81 pages, December l980. $4.45 @b(+)

STAN-CS-80-832,

Danny Dolev,

@i(Scheduling Wide Graphs),

43 pages, December 1980. $3.30 @b(+)

STAN-CS-80-833,

John Russell Gilbert (Thesis),

@i(Graph Separator Theorems and Sparse Gaussian Elimination),

104 pages, December 1980. $5.15 @b(+)

STAN-CS-80-834,

Petter E. Bjorstad (Thesis),

@i(Numerical Solution of the Biharmonic Equation),

139 pages, December 1980. @b(*)

STAN-CS-80-835,

Eric H. Grosse (Thesis),

@i(Approximation and Optimization of Electron Density Maps),

118 pages, December 1980. @b(*)

STAN-CS-81-836,

Zohar Manna and Amir Pnueli,

@i(Temporal Verification of Concurrent Programs, Part I: The Temporal Framework

for Concurrent Programs),

70 pages, January 1981. $4.10 @b(+)

STAN-CS-81-837,

Bruce G. Buchanan,

@i(Research on Expert Systems),

38 pages, February 1981. $3.15 @b(+)

STAN-CS-81-838,

Peter Brown,

@i(Dynamic Program Building),

13 pages, February 1981. @b(M)

STAN-CS-81-839,

Arthur L. Samuel,

@i(Short Waits),

37 pages, February 1981. @b(*)

STAN-CS-81-840,

Donald E. Knuth,

@i(Verification of Link-Level Protocols),

6 pages, January 1981. @b(*)

STAN-CS-81-841,

Donald E. Knuth,

@i(Huffman's Algorithm via Algebra),

6 pages, March 1981. @b(*)

STAN-CS-81-842,

Michael R. Genesereth,

@i(The Role of Plans In Intelligent Teaching Systems),

19 pages, November 1980. @b(*)

STAN-CS-81-843,

Zohar Manna and Amir Pnueli,

@i(Temporal Verification of Concurrent Programs, Part II: Proving Invariances),

30 pages, March 1981 @b(*)

STAN-CS-81-844,

NEVER PRINTED.

STAN-CS-81-845,

NEVER PRINTED.

STAN-CS-81-846,

Danny Dolev,

@i(The Byzantine Generals Strike Again),

26 pages, March 1981 $2.80 @b(+)

STAN-CS-81-847,

Henry F. Korth,

@i(The Optimal Locking Problem in a Directed Acyclic Graph),

6 pages, March 1981 $2.20 @b(+)

STAN-CS-81-848,

Chih-sung Tang,

@i(On the Problem of Inputting Chinese Characters),

9 pages, April 1981 $2.30 @b(+)

STAN-CS-81-849,

Tohru Nishigaki,

@i(Experiments on the Knee Criterion in a Multiprogrammed Computer System),

28 pages, March 1981 $2.85 @b(+)

STAN-CS-80-850,

Alfred Z. Spector,

@i(Performing Remote Operations Efficiently on a Local Computer Network),

23 pages, December 1980 @b(M)

STAN-CS-81-851,

Gio Wiederhold,

@i(Binding in Information Processing),

41 pages, May 1981 @b(M)

STAN-CS-81-852,

Jeffrey D. Ullman,

@i(A View of Directions in Relational Database Theory),

9 pages, May 1981 @b(M)

STAN-CS-81-853,

David Maier and Jeffrey D. Ullman,

@i(Connections in Acyclic Hypergraphs),

10 pages, May 1981 $2.30 @b(+)

STAN-CS-81-854,

D. Dolev and A. C. Yao,

@i(On the Security of Public Key Protocols),

22 pages, May 1981 @b(M)

STAN-CS-81-855,

Zohar Manna & Richard Waldinger,

@i(Deductive Synthesis of the Unification Algorithm),

51 pages, June 1981. @b(M)

STAN-CS-81-856,

Richard Paul Gabriel, (Thesis)

@i(An Organization for Programs in Fluid Domains),

190 pages, June 1981. @b(*)

STAN-CS-81-857,

Jonathan Jay King, (Thesis)

@i(Query Optimization by Semantic Reasoning),

128 pages, June 1981 $5.85 @b(+)

STAN-CS-81-858,

V.Ya. Pan,

@i(The Bit Operation Complexity of Approximate Evaluation of Matrix

and Polynomial Products Using Arithmetic),

6 pages, June 1981. $2.20 @b(+)

STAN-CS-81-859,

V. Ya. Pan,

@i(The Additive and Logical Complexities of Linear and Bilinear

Arithmetic Algorithms),

21 pages, June 1981. $2.65 @b(+)

STAN-CS-81-860,

Daniel Boley,

@i(Computing the Controllability/Observability Decomposition of a

Linear Time-Invariant Dynamic System, A Numerical Approach),

81 pages, June 1981. $4.45 @b(+)

STAN-CS-81-861,

Rodney A. Brooks, (Thesis)

@i(Symbolic Reasoning Among 3-D Models and 2-D Images),

181 pages, June 1981. $7.45 @b(H)

STAN-CS-81-862,

V. Ya. Pan

@i(The Lower Bounds on the Additive Complexity of Bilinear Problems

in Terms of Some Algebraic Quantities),

4 pages, June 1981. $2.10 @b(+)

STAN-CS-81-863,

Donald E. Knuth and Allan A. Miller,

@i(A Programming and Problem-Solving Seminar),

84 pages, June 1981. @b(*)

STAN-CS-81-864,

Jon Doyle,

@i(Three Short Essays on Decisions, Reasons, and Logics),

19 pages, June 1981. $2.60 @b(+)

STAN-CS-81-865,

Chih-sung Tang,

@i(Toward a Unified Logical Basis for Programming Languages),

21 pages, June 1981. @b(*)

STAN-CS-81-866,

Steven M. German,

@i(Verifying the Absence of Common Runtime Errors in Computer

Programs),

179 pages, June 1981. $7.40 @b(+)

STAN-CS-81-867,

Luckham, Larsen, Stevenson and von Henke,

@i(ADAM - An Ada based Language for Multi-processing),

71 pages, June 1981. $4.15 @b(+)

STAN-CS-81-868,

Donald E. Knuth,

@i(The Last Whole Errate Catalog),

42 pages, July 1981. @b(*)

STAN-CS-81-869,

Carolyn E. Tajnai,

@i(Stanford Computer Science Comprehensive Examination),

225 pages, July 1981. $15.00 @b(H)

STAN-CS-81-870,

Michael F. Plass,

@i(Optimal Pagination Techniques for Automatic Typesetting Systems),

77 pages, June 1981. @b(*)

STAN-CS-81-871,

Howard W. Trickey,

@i(Good Layouts for Pattern Recognizers),

15 pages, August 1981. @b(*)

STAN-CS-81-872,

Zohar Manna ad Pierre Wolper,

@i(Synthesis of Communicating Processes from Temporal Logic Specifications),

28 pages, September 1981. @b(M)

STAN-CS-81-873,

Richard William Carr,

@i(Virtual Memory Management),

238 pages, December 1981. @b(M)

STAN-CS-81-874,

Alfred Z. Spector,

@i(Multiprocessing Architectures for Local Computer Networks),

125 pages, August 1981. @b(M)

STAN-CS-81-875,

T. C. Hu and M. T. Shing,

@i(Computation of Matrix Chain Products, Part I, Part II),

124 pages, September 1981. $5.70 @b(+)

STAN-CS-81-876,

Danny Dolev and Howard Trickey,

@i(On Linear Area Embedding of Planar Graphs),

21 pages, September 1981. $2.65 @b(+)

STAN-CS-81-877,

Zohar Manna,

@i(Verification of Sequential Programs: Temporal Axiomatization),

45 pages, September 1981. @b(M)

STAN-CS-81-878,

David Maier and Jeffrey D. Ullman,

@i(Maximal Objects and the Semantics of Universal Relation Databases),

10 pages, October 1981. $2.30 @b(+)

STAN-CS-81-879,

Larry M. Masinter,

@i(Interlisp-VAX: A Report)

12 pages, October 1981. @b(*)

STAN-CS-81-880,

Ernst W. Mayr,

@i(Well Structured Parallel Programs Are Not Easier to Schedule),

17 pages, October 1981. $2.50 @b(+)

STAN-CS-81-881,

Jeffrey D. Ullman,

@i(The U.R. Strikes Back),

15 pages, October 1981. $2.45 @b(+)

STAN-CS-81-882,

V. Pan,

@i(Fast Matrix Multiplication Without APP Algorithms),

30 pages, October 1981. $2.95 @b(+)

STAN-CS-81-883,

P. Pepper,

@i(On Program Transformations for Abstract Data Types and Concurrency),

37 pages, October 1981. $3.15 @b(+)

STAN-CS-81-884,

Stefano Ceri, Shamkant Navathe, Gio Wiederhold,

@i(Optimal Design of Distributed Databases),

48 pages, December 1981. $3.45 @b(+)

STAN-CS-81-885,

van Melle, Scott, Bennett, Peairs,

@i(The EMYCIN Manual),

143 pages, October 1981. $6.30 @b(+)

STAN-CS-81-886,

Donald E. Knuth,

@i(The Concept of a Meta-Font),

12 pages, October 1981. $2.35 @b(+)

STAN-CS-81-887,

Ronald Grapham and Frances Yao,

@i(Finding the Convex Hull of Simple Polygon),

9 pages, November 1981. $2.25 @b(+)

STAN-CS-81-888,

William D. Gropp,

@i(Numerial Solution of Transport Equations),

108 pages, December 1981. @b(*)

STAN-CS-81-889,

Shahid mujtaba, Ron Goldman,

@i(AL Users Manual),

168 pages, December 1981. $7.05 @b(+)

STAN-CS-81-890,

Robert L. Higdon,

@i(Bounday Conditions for Hyperbolic Systems of Partial Differential

Equations Having Multiple Time Scales)

136 pages, August 1981. @b(*)

STAN-CS-81-891,

T.G. Dietterich and B. G. Buchanan,

@i(The Role of the Critic in Learning Systems),

23 pages, December 1981. $2.70 @b(+)

STAN-CS-82-892,

Gabriel M. Kuper,

@i(An Algorithm for Reducing Acyclis Hypergraphs),

9 pages, January 1982. $2.25 @b(+)

STAN-CS-82-893,

Lawrence Paulson,

@i(A Compiler Generator for Semantic Grammars),

166 pages, December 1981. @b(M)

STAN-CS-82-894,

William J. Clancey,

@i(Methodology for Building an Intelligent Tutoring System),

55 pages, October 1981. $3.65 @b(+)

STAN-CS-82-895,

Gordon S. Novak, Jr.,

@i(GLISP Users Manual),

38 pages, January 1982. $3.15 @b(+)

STAN-CS-82-896,

William J. Clancey,

@i(The Epistemology of a Rule-Based Expert System: A Framework for Explanation),

61 pages, November 1981. $3.85 @b(+)

STAN-CS-82-897,

Christopher Goad,

@i(Automatic Construction of Special Purpose Programs),

15 pages, January 1982. $2.45 @b(+)

STAN-CS-82-898,

Whang, Wiederhold, Sagalowicz,

@i(Separability as a Physica Database Design Methodology),

62 pages, October 1981. $3.85 @b(+)

STAN-CS-82-899,

NEVER PRINTED.

STAN-CS-82-900,

Robert L. Blum,

@i(Discovery and Representatin of Causal Relationships from a Large

Time-Oriented Clinical Database: The RX Project),

264 pages, January 1982. $9.90 @b(+)

STAN-CS-82-901,

David R. Fuchs and Donald E. Knuth,

@i(Optimal Font Caching),

19 pages, March 1982. $2.60 @b(+)

STAN-CS-82-902,

Zohar Manna and Richard Waldinger,

@i(Special Relations in Program-Synthetic Deduction),

75 pages, March 1982. $4.25 @b(+)

STAN-CS-82-903,

John McCarthy,

@i(Coloring Maps and the Kowalski Doctrine),

8 pages, April 1982. $2.25 @b(H)

STAN-CS-82-904,

Randall John LeVeque,

@i(Time-Split Methods for Partial Differential Equations),

102 pages, April 1982. $5.05 @b(+)

STAN-CS-82-905,

Lloyd N. Trefethen,

@i(Wave Propagation and Stability for Finite Difference Schemes),

207 pages, April 1982. $8.20 @b(+)

STAN-CS-82-906,

Stephen G. Nash,

@i(Truncated-Newton Methods),

120 pages, May 1982. $5.60 @b(+)

STAN-CS-82-907,

Ernst W. Mayr,

@i(Combinatorial Algorithms I),

83 pages, May 1982. $4.50 @b(+)

STAN-CS-82-908,

William J. Clancey and Reed Letsinger,

@i(Neomycin-Reconfiguring A Rule-Based Expert System for Application to Teaching),

12 pages, May 1982. $2.40 @b(+)

STAN-CS-82-909,

Bob London and Willam J. Clancey,

@i(Plan Recognition Strategies in Student Modeling: Prediction and

Description),

13 pages, May 1982. $2.40 @b(+)

STAN-CS-82-910,

William J. Clancey and Bruce G. Buchanan,

@i(Exploration of Teaching and Problem - Solving Strategies, 1979-1982),

17 pages, May 1982. $2.50 @b(+)

STAN-CS-82-911,

Barbara J. Roberts and Irris Marashian,

@i(Bibliography of Stanford Computer Science Reports 1963-1982),

59 pages, May 1982. $4.00 @b(+)

@end(enumerate)