COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "setup.csr[bib,csr]" source file
C00016 ENDMK
C⊗;
.require "setup.csr[bib,csr]" source file;
.once center
F pointer operationsf 

			Update to Computer Science Bibliography of Reports

STAN-CS-80-789 (PVG-16, AD-A086 577), D. C. Luckham and W. Polak, %2Ada
Exceptions:  Specification and Proof Techniques%1, 19 pages, February
1980.

STAN-CS-80-790 (AD-A086 838), Gio Wiederhold, %2Databases in Healthcare%1,
76 pages, March 1980.

STAN-CS-80-791 (CSL TR-166), Clark R. Wilcox, Mary L. Dageforde, and
Gregory A. Jirak, %2MAINSAIL Language Manual%1, 247 pages, March 1980.

STAN-CS-80-792 (CSL TR-167), Clark R. Wilcox, Mary L. Dageforde, and
Gregory A. Jirak, %2MAINSAIL Implementation Overview%1, 70 pages, March
1980.

STAN-CS-80-793 (HPP-80-3, AD-A089 073), Avron Barr and James Davidson, %2Representation
of Knowledge%1, 90 pages, March 1980.

STAN-CS-80-794 (AD-A091 122), Robert Endre Tarjan, %2Recent Developments in the
Complexity of Combinatorial Algorithms%1, 28 pages, June 1980.

STAN-CS-80-795, Donald E. Knuth, %2The Letter S%1, 33 pages, April 1980.

STAN-CS-80-796 (AIM-335), Arthur Samuel, %2Essential E%1, 33 pages, March
1980.

STAN-CS-80-797 (Princeton TR-267, AD-A089 913), Hector Garcia-Molina and Gio
Wiederhold, %2Read-Only Transactions in a Distributed Database%1, 25
pages, April 1980.

STAN-CS-80-798, Robert W. Floyd and Jeffrey D. Ullman, %2The Compilation
of Regular Expressions into Integrated Circuits%1, 28 pages, April 1980.

STAN-CS-80-799 (SLAC-PUB-2504), Jerome H. Friedman, Eric Grosse, and
Werner Stuetzle, %2Multidimensional Additive Spline Approximation%1, 22
pages, May 1980.

STAN-CS-80-800, Donald E. Knuth, %2Deciphering a Linear Congruential
Encryption%1, 10 pages, April 1980.

STAN-CS-80-801 (AD-A091 384), Ramez Aziz El-Masri (Thesis), %2On the Design, Use, and
Integration of Data Models%1, 228 pages, May 1980.

STAN-CS-80-802 (PVG-17), Wolfgang Heinz Polak (Thesis), %2Theory of
Compiler Specification and Verification%1, 288 pages, May 1980.

STAN-CS-80-803, Christopher John Van Wyk (Thesis), %2A Language for
Typesetting Graphics%1, 59 pages, May 1980.

STAN-CS-80-804 (AIM-336), Martin Brooks (Thesis), %2Determining
Correctness by Testing%1, 135 pages, May 1980.

STAN-CS-80-805 (AIM-339, AD-A091 081), Donald B. Gennery (Thesis), %2Modelling the Environment of
an Exploring Vehicle by Means of Stereo Vision%1, 151 pages, June 1980.

STAN-CS-80-806, by William M. Coughran, Jr. (Thesis), %2On the Approximate
Solution of Hyperbolic Initial-Boundary Value Problems%1, 177 pages, June
1980.

STAN-CS-80-807 (AD-A091 123), David W. Matula and Danny Dolev, %2Path-Regular Graphs%1,
39 pages, June 1980.

STAN-CS-80-808 (AIM-337, AD-A091 183),
John McCarthy (Principal Investigator), Thomas Binford, David Luckham,
Zohar Manna, Richard Weyhrauch (Associate Investigators),
%2Basic Research in Artificial Intelligence and Foundations of Programming%1,
(75 pages, May 1980).

STAN-CS-80-809 (AIM-338), Morgan S. Ohwovoriole (Thesis), %2An Extention
of Screw Theory and its Application to the Automation of Industrial
Assemblies%1, 186 pages, April 1980.

STAN-CS-80-810 (AD-A091 124), J. Michael Steele and Andrew C. Yao, %2Lower Bounds for
algebraic Decision Trees%1, 12 pages, July 1980.

STAN-CS-80-811 (PVG-18, AD-A091 313), Steven M. German, %2An Extended Semantic
Definition of Pascal for Proving the Absence of Common Runtime Errors%1,
57 pages, June 1980.

STAN-CS-80-812 (HPP-80-14), Edward A. Feigenbaum, %2Knowledge Engineering:
The Applied Side of Artificial Intelligence%1, 14 pages, September 1980.

STAN-CS-80-813 (AIM-340), Hans Peter Moravec (Thesis), %2Obstacle
Avoidance and Navigation in the Real World by a Seeing Robot Rover%1, 174
pages, September 1980.

STAN-CS-80-814 (HPP-80-17, AD-A091 177), Janice S. Aikins (Thesis), %2Prototypes and
Production Rules: A Knowledge Representation for Computer Consultations%1,
204 pages, August 1980.

STAN-CS-80-815 (HPP-80-16), Edward H. Shortliffe, M.D., Ph.D., %2Two
Papers on Medical Computing -- (1) Medical Cybernetics: The Chalenges of
Clinical Computing, (2) Consultation Systems for Physicians: The Role of
Artificial Intelligence Techniques%1, 56 pages, July 1980.

STAN-CS-79-816, Robert L. Blum, M.D., %2Automating the Study of Clinical
Hypotheses on a Time-Oriented Data Base:  The RX Project%1, 12 pages,
November 1979.

STAN-CS-79-817, Jeffrey Scott Vitter (Thesis), %2Analysis of Coalesced
Hashing%1, 111 pages, August 1980.

STAN-CS-80-818 (AIM-341, AD-A091 187), William Louis Scherlis (Thesis), %2Expression
Procedures and Program Derivation%1, 178 pages, August 1980.

STAN-CS-80-819 (AD-A091 180), Christopher Alan Goad (Thesis)
%2Computational Uses of the Manipulation of Formal Proofs%1,
130 pages, August 1980.

STAN-CS-80-820 (HPP-80-22), William van Melle (Thesis),
%2A Domain-Independent System That Aids in Constructiong Knowledge-Based
Consultation Programs%1, 192 pages, June 1980.

STAN-CS-80-821,
Doublas B. West and Craig A. Tovey,
%2Semiantichains and Unichain Coverings in Direct Products of Partial Orders%1,
20 pages, September 1980.

STAN-CS-80-822,
Bengt Aspvall (Thesis),
%2Efficient Algorithms for certain Satisfiability and Linear Programming
Problems%1, ? pages, September 1980.

STAN-CS-80-823,
David Elliot Shaw (Thesis),
%2Knowledge-Based Retrieval on a Relational Database Machine%1,
280 pages, August 1980.

STAN-CS-80-824,
Tung Yun Mei,
%2LCCD, A Language for Chinese Character Design%1,
63 pages, October 1980.

STAN-CS-80-825,
C. P. Schnorr,
%2Refined Analysis and Improvements on Some Factoring Algorithms%1,
30 pages, November 1980.

STAN-CS-80-826,
Gio Wiederhold, Anne Beetem, and Garrett Short,
%2Database Approach to Communication in VLSI Design%1,
11 pages, October 1980.

STAN-CS-80-827,
Andrew Chi-Chih Yao,
%2On the Parallel Computation for the Knapsack Problem%1,
11 pages, November 1980.

STAN-CS-80-828,
Donald E. Knuth and Michael F. Plass,
%2Breaking Paragraphs Into Lines%1,
66 pages, November 1980.

STAN-CS-80-829,
Bengt Aspvall and Frank Liang,
%2The Dinner Table Problem%1,
13 pages, December 1980.

STAN-CS-80-830,
David Matula, Yossi Shiloach and Robert Tarjan,
%2Two Linear-Time Algorithms for Five-Coloring a Planar Graph%1,
23 pages, December 1980.

STAN-CS-80-831,
Daniel D. K. Sleator (Thesis),
%2An O(nmlogn) Algorithm for Maximum Network Flow%1,
81 pages, December l980.

STAN-CS-80-832,
Danny Dolev,
%2Scheduling Wide Graphs%1,
43 pages, December 1980.

STAN-CS-80-833,
John Russell Gilbert (Thesis),
%2Graph Separator Theorems and  Sparse Gaussian Elimination%1,
104 pages, December 1980.

STAN-CS-80-834,
Petter E. Bjorstad (Thesis),
%2Numerical Solution of the Biharmonic Equation%1,
139 pages, December 1980.

STAN-CS-80-835,
Eric H. Grosse (Thesis),
%2Approximation and Optimization of Electron Density Maps%1,
118 pages, December 1980.

STAN-CS-81-836,
Zohar Manna and Amir Pnueli,
%2Temporal Verification of Concurrent Programs, Part I: The Temporal Framework
for Concurrent Programs%1,
70 pages, January 1981.

STAN-CS-81-837,
Bruce G. Buchanan,
%2Research on Expert Systems%1,
38 pages, February 1981.

STAN-CS-81-838,
Peter Brown,
%2Dynamic Program Building%1,
13 pages, February 1981.

STAN-CS-81-839,
Arthur L. Samuel,
%2Short Waits%1,
37 pages, February 1981.

STAN-CS-81-840,
Donald E. Knuth,
%2Verification of Link-Level Protocols%1,
6 pages, January 1981.

STAN-CS-81-841,
Donald E. Knuth,
%2Huffman's Algorithm via Algebra%1,
6 pages, March 1981.

STAN-CS-81-842,
Michael R. Genesereth,
%2The Role of Plans In Intelligent Teaching Systems%1,
19 pages, November 1980.


STAN-CS-81-843,
Zohar Manna and Amir Pnueli,
%2Temporal Verification of Concurrent Programs, Part II: Proving Invariances%1,
30 pages, March 1981

STAN-CS-81-844,
Zohar Manna and Amir Pnueli,
%2Temporal Verification of Concurrent Programs, Part III:  Proving Eventualities%1,
35 pages, March 1981

STAN-CS-81-845,
Zohar Manna and Amir Pnueli,
%2Temporal Verification of Concurrent Programs, Part IV:  The Non-temporal 
Alternative%1,
45 pages, March 1981