perm filename THESIS.PUB[BIB,CSR]3 blob sn#522787 filedate 1980-07-18 generic text, type C, neo UTF8

COMMENT ā VALID 00003 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 .require "setup.csr[bib,csr]" source file C00003 00003 .once center C00052 ENDMK Cā; .require "setup.csr[bib,csr]" source file; .font A "coron"; .once center %3Stanford Computer Science Theses%1 Adams, D., STAN-CS-68-117 (PB182151), %2A Computational Model with Data Flow Sequencing%1, 130 pages, December 1968. Agin, Gerald, STAN-CS-72-305 (AIM-173, AD755139), %2Representation and Description of Curved Objects%1, 125 pages, August 1972. Bajcsy, Ruzena, STAN-CS-72-321 (AIM-180, AD759712), %2Computer Identification of Textured Visual Scenes%1, 156 pages, October 1972. Banning, John Phineas, STAN-CS-78-676 (SLACR-213), %2A Method for Determining the Side Effects of Procedure Calls%1, 283 pages, November 1978. Barstow, David, STAN-CS-77-641 (AIM-308, AD-A053 184), %2Automatic Construction of Algorithms%1, 220 pages, December 1977. Bauer, Henry R., III, STAN-CS-72-324 (CSL-TR-48, PB214612), %2Subproblems of the m %4x%2 n Sequencing Problem%1, 115 pages, November 1972. Baumgart, Bruce, STAN-CS-74-463 (AIM-249, AD-A002 261), %2Geometric Modeling for Computer Vision%1, 141 pages, November 1974. Bolles, Robert C., STAN-CS-77-591 (AIM-295), %2Verification Vision Within a Programmable Assembly System%1, 245 pages, February 1977. Borning, Alan, STAN-CS-79-746, %2ThingLab -- A Constraint- Oriented Simulation Laboratory%1, 109 pages, July 1979. Brent, R., STAN-CS-71-198 (AD726170), %2Algorithms for Finding Zeros and Extrema of Functions without Calculating Derivatives%1, 250 pages, February 1971. Brooks, Martin, STAN-CS-80-804 (AIM-336), %2Determining Correctness by Testing%1, 135 pages, May 1980. Brotz, Douglas K., STAN-CS-74-443 (PB-236 471/AS), %2Embedding Heuristic Problem Solving Methods in a Mechanical Theorem Prover%1, 107 pages, July 1974. Brown, Mark R., STAN-CS-77-600 (AD-A040 538), %2The Analysis of a Practical and Nearly Optimal Priority Queue%1, 102 pages, April 1977. Bube, Kenneth P., STAN-CS-78-691 (AD-A066 058), %2The Construction of Initial Data for Hyperbolic Systems from Nonstandard Data%1, 119 pages, November 1978. Buchanan, J. STAN-CS-74-458 (AIM-245, AD784816), %2A Study in Automatic Programming%1, 146 pages, October 1974. Bulnes-Rozas, Juan, STAN-CS-79-743 (AIM-328), %2GOAL: A Goal Oriented Command Language for Interactive Proof Construction%1, 175 pages, June 1979. Cadiou, Jean, STAN-CS-72-266 (AIM-163, not at NTIS), %2Recursive Definitions of Partial and Functions and Their Computation%1, 160 pages, March 1972. Cartwright, Robert, Jr., STAN-CS-77-592 (AIM-296), %2A Practical Formal Semantic Definition and Verification Systems for Typed LISP%1, 158 pages, Fegruary 1977. Causey, R.L., STAN-CS-64-10 (AD603163), %2On Closest Normal Matrices%1, 131 pages, June 1964. Chan, Tony F.C., STAN-CS-78-672, %2Comparison of Numerical Methods for Initial Value Problems%1, 195 pages, June 1978. Chandra, Ashok K., STAN-CS-73-336 (AIM-188, AD758646), %2On the Properties and Applications of Program Schemas%1, 225 pages, January 1973. Clancey, William John, STAN-CS-79-769 (AD-A083 432), %2Transfer of Rule- Based Expertise Through a Tutorial Dialogue%1, 462 pages, September 1979. Coughran, William M., Jr., STAN-CS-80-806, %2On the Approximate Solution of Hyperbolic Initial-Boundary Value Problems%1, 177 pages, June 1980. Crane, Clark A., STAN-CS-72-259 (PB208595), %2Linear Lists and Priority Queues as Balanced Binary Trees%1, 131 pages, February 1972. Davis, Randall, STAN-CS-76-564 (AIM-283, HPP-76-7), %2Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases%1, 304 pages, July 1976. Drysdale, Robert Lewis (Scot), III, STAN-CS-79-705, %2Generalized Voronoi Diagrams and Geometric Searching%1, 196 pages, January 1979. El-Masri, Ramez Aziz, STAN-CS-80-801, %2On the Design, Use, and Integration of Data Models%1, 228 pages, May 1980. Falk, G., STAN-CS-70-180 (AIM-132, AD715665), %2Computer Interpretation of Imperfect Line Data as a Three-Dimensional Scene%1, 187 pages, October 1970. Fang, Isu, STAN-CS-72-329 (PB218875), %2Folds, A Declarative Formal Language Definition System%1, 290 pages, December 1972. Faught, William, STAN-CS-77-633 (AIM-305, AD-A048 660), %2Motivation and Intensionality in a Computer Simulation Model%1, 104 pages, October 1977. Filman, Robert Elliot, STAN-CS-79-727 (AIM-327), %2The Interaction of Observation and Inference%1, 235 pages, March 1979. Finkel, Rafael, STAN-CS-76-567 (AIM-284), %2Constructing and Debugging Manipulator Programs%1, 171 pages pages, August 1976. Fredman, Michael L., STAN-CS-72-296 (AD748606), %2Growth Properties of a Class of Recursively Defined Functions%1, 84 pages, June 1972. Friedland, Peter E., STAN-CS-79-771 (HPP-79-29), %2Knowldge-Based Experiment Design in Molecular Genetics%1, 137 pages, August 1979. Ganapathy, S., STAN-CS-75-525 (AIM-272), %2Reconstruction of Secnes Containing Polyhedra from Stereo Pair of Views%1, 204 pages, November 1975. Garcia-Molina, Hector, STAN-CS-79-744 (CSL-TR-172, AD-A075 268), %2Performance of Update Algorithms for Replicated Data in a Distributed Database%1, 320 pages, June 1979. Gennery, Donald B. STAN-CS-80-805, %2Modelling the Environment of an Exploring Vehicle by Means of Stereo Vision%1, 151 pages, June 1980. George, J.A., STAN-CS-71-208 (AD726171), %2Computer Implementation of the Finite Element Method%1, 220 pages, March 1971. George, J.E., STAN-CS-71-227 (SLAC-134), %2GEMS - A Graphical Experimental Meta System%1, 184 pages, July 1971. Gieger, Charles, III, STAN-CS-74-419 (AIM-233, AD-A000 086), %2Conceptual Memory: A Theory and Computer Program for Processing the Meaning Content of Natural Language Utterances%1, 393 pages, May 1974. Ginsparg, Jerrold, STAN-CS-78-671 (AIM-316), %2Natural Language Processing in an Automatic Programming Domain%1, 172 pages, June 1978. Gips, James, STAN-CS-74-413 (AIM-231, AD-A001 814), %2 Shape Grammars and Their Uses%1, 243 pages, March 1974. Goldman, N.M., STAN-CS-74-461 (AIM-247, AD-A005 041), %2Computer Generation of Natural Language from a Deep Conceptual Base%1, 316 pages, October 1974. Grace, D.W., STAN-CS-65-15 (AD611366), %2Computer Search for Non-Isomorphic Convex Polyhedra%1, 137 pages, January 1965. Graham, Susan, STAN-CS-71-223 (PB203429), %2Precedence Languages and Bounded Right Context Languages%1, 192 pages, July 1971. Grape, Gunnar Rutger, STAN-CS-73-366 (AIM-201, AD763673), %2Model Bases (Intermediate-Level) Computer Vision%1, 256 pages, May 1973. Green, C.C., STAN-CS-69-138 (AIM-96, AD696394), %2The Application of Theorem Proving to Question-Answering Systems%1, 162 pages, June 1969. Guibas, L.J., STAN-CS-76-556, %2The Analysis of Hashing Algorithms%1, 136 pages, August 1976. Hanna, Marsha Jo, STAN-CS-74-438 (AIM-239, AD786720), %2Computer Matching of Areas in Stereo Images%1, 99 pages, July 1974. Hemphill, Linda G., STAN-CS-76-534 (AIM-273), %2A Conceptual Approach to Automatic Language Understanding and Belief Structures: With Disambiguation of the Word `For' %1, 254 pages, January 1976. Hoffman, L.J., STAN-CS-70-161 (SLACR-117, not at NTIS), %2The Formulary Model for Access Control and Privacy in Computer Systems%1, 81 pages, May 1970. Horning, J.J., STAN-CS-69-139 (AIM-98, AD695401), %2A Study of Grammatical Inference%1, 166 pages, August 1969. Huberman, B., STAN-CS-68-106 (AIM-65, AD673971), %2A Program to Play Chess End Games%1, 168 pages, August 1968. Jenkins, M.A. STAN-CS-69-143 (AD694464), %2Three-Stage Variable-Shift for the Solution of Polynomial Equations with a Posteriori Error Bounds for the Zeros%1 (has also been printed incorrectly as STAN-CS-69-138), 199 pages, August 1969. Kant, Elaine, STAN-CS-79-755 (AIM-331), %2Efficiency Considerations in Program Synthesis: A Knowledge-Based Approach%1, 160 pages, July 1979. Kaplan, D.M., STAN-CS-68-101 (AIM-60, AD672923), %2The Formal Theoretic Analysis of Stront Equivalence for Elemental Programs%1, 263 pages, June 1968. Karp, Richard Alan, STAN-CS-79-783 (PVG-14), %2Proving Concurrent Systems Correct%1, 151 pages, November 1979. Kaufman, Linda, STAN-CS-72-276 (AD745022), %2A Generalized LR Method to Solve Ax = Bx%1, 70 pages, April 1972. Kaufman, Linda C., STAN-CS-73-363 (Serra, PB222099), %2The LZ Algorithm to Solve the Generalized Eigenvalue Problem%1, 101 pages, May 1973. Kelly, M., STAN-CS-70-168 (AIM-130, AD713252), %2Visual Identification of People by Computer%1, 138 pages, July 1970. Knott, G.D., STAN-CS-75-491, %2Deletion in Binary Storage Trees%1, 93 pages, May 1975. Kogge, Peter M., STAN-CS-72-314 (CSL-TR-43, PB212893), %2Parallel Algorithms for the Efficient Solution of Recurrence Problems%1 (Part I), 74 pages, September 1972. Kogge, Peter M., STAN-CS-72-315 (CSL-TR-44, PB212894), %2The Numerical Stability of Parallel Algorithms for Solving Recurrence Problems%1 (Part II), 49 pages, September 1972. Kogge, Peter M., STAN-CS-72-316 (CSL-TR-45, PB212828), %2Minimal Paralellism in the Solution of Recurrence Problems%1 (Part III), 45 pages, September 1972. Lang, Tomas, STAN-CS-74-427 (CSL-TN-36, PB232624/AS), %2Performing the Perfect Schuffle in an Array Computer%1 (excerpt), 18 pages, May 1974. Lang, Tomas, STAN-CS-74-428 (CSL-TR-76, PB232633/AS), %2Interconnections Between Precessors and Memory Modules Using the Schuffle-Exchange Network%1 (excerpt), 32 pages, May 1974. Lenat, Douglas, STAN-CS-76-570 (AIM-286), %2AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search%1, 350 pages, July 1976. Lengauer, Thomas, STAN-CS-79-745 (AD-A076 264), %2Upper and Lower Bounds on Time-Space Tradeoffs in a Pebble Game%1, 82 pages, July 1979. Lesser, V., STAN-CS-72-309 (CSL-TR-157, not at NTIS), %2Dynamic Control Structures and Their Use in Emulation%1, 251 pages, August 1972. Levine, David R., STAN-CS-73-343 (not at NTIS), %2Computer-Based Analytic Grading for German Grammar Instruction%1, 220 pages, March 1973. Lewis, John Gregg, STAN-CS-77-595, %2Algorithms for Sparse Matrix Eigenvalue Problems%1, 212 pages, April 1977. Low, J.R., STAN-CS-74-452 (AIM-242, AD-A000 500), %2Automatic Coding: Choice of Data Structures%1, 110 pages, September 1974. Luk, Franklin Tai-cheung, STAN-CS-78-685 (AD-A065 285), %2Sparse and Parallel Matrix Computations%1, 168 pages, December 1978. Lukes, J.A., STAN-CS-72-293 (CSL-TN-32, PB212234), %2Combinatorial Solutions to Partitioning Problems%1, 130 pages, June 1972. Malcolm, Michael A., STAN-CS-73-372 (AD767970), %2Nonlinear Spline Functions%1 (Part II), 60 pages, June 1973. Malcolm, Michael A., STAN-CS-73-374 (AD764275), %2A Machine-Independent ALGOL Procedure for Accurate Floating-Point Summation%1 (excerpt), 5 pages, June 1973. McCune, Brian P., STAN-CS-79-772 (AIM-333), %2Building Program Models Incrementally from Informal Descriptions%1, 146 pages, October 1979. McKeeman, W.M., STAN-CS-66-48 (SS639-166), %2An Approach to Computer Language Design%1, 124 pages, August 1966. Meyers, W.J., STAN-CS-71-222 (PB235417/AS), %2Linear Representation of Tree Structure (a Mathematical Theory of Parenthesis-Free Notations)%1, 245 pages, June 1971. Mitchell, Tom Michael, STAN-CS-78-711, %2Version Spaces: An Approach to Concept Learning%1, 216 pages, December 1978. Model, Mitch L, STAN-CS-79-701, %2Monitoring System Behavior in a Complex Computational Environment%1, 189 pages, January 1979. Moler, C.B., STAN-CS-65-22 (AD616676), %2Finite Difference Methods for the Eigenbales of Laplace's Operator%1, 142 pages, May 1965. Mont-Reynaud, Bernard, STAN-CS-77-644, %2Hierarchical Properties of Flows and the Determination of Inner Loops%1, 164 pages, December 1977. Morris, F. Lockwood, STAN-CS-72-303 (AIM-174, PB212827), %2Correctness of Translations of Programming Languages - an Algebraic Approach%1, 125 pages, August 1972. Nevatia, Ramkant, STAN-CS-74-464 (AIM-250, AD-A003 488), %2Structured Descriptions of Complex Curved Objects for Recognition and Visual Memory%1, 125 pages, November 1974. Newey, M.C., STAN-CS-75-475 (AIM-257, AD-A005 413), %2Formal Semantics of LISP with Applications to Program Correctness%1, 184 pages, January 1975. Ohwovoriole, Jorgan S., STAN-CS-80-809 (AIM-338), %2An Extention of Screw Theory and its Application to the Automation of Industrial Assemblies%1, 186 pages, April 1980. O'Leary, D. Prost, STAN-CS-76-548, %2Hybrid Conjugate Gradient Algorithms%1, 120 pages, March 1976. Orcutt, Samuel E., STAN-CS-74-429 (CSL-TR-70, PB232623/AS), %2Efficient Data Routing Schemes for ILLIAC IV-Type Computers%1 (excerpt), 31 pages, May 1974. Orcutt, Samuel E., STAN-CS-74-430 (CSL-TR-71, PB234513/AS), %2A Novel Parallel Computer Architecture and Some Applications%1 (excerpt), 44 pages, May 1974. Overton, Michael Lockhart, STAN-CS-79-752, %2Projected Lagrangian Algorithms for Nonlinear Minimax and %Al%2ā1 Optimization%1, 164 pages, July 1979. Paul, Richard, STAN-CS-72-311 (AIM-177, not at NTIS), %2Modelling, Trajectory Calculation and Servoing of a Computer Controlled Arm%1, September 1972. Persson, S., STAN-CS-66-50 (AIM-46, PB176761), %2Some Sequence Extrapulating Programs: A Study of Representation and Modelling in Inquiring Systems%1, 176 pages, September 1966. Peterson, James L., STAN-CS-74-410 (CSL-TR-46, PB231926/AS), %2Modelling of Parallel Systems%1, 241 pages, February 1974. Pieper, D., STAN-CS-68-116 (AIM-72, AD680036), %2The Kinematics of Manipulators Under Computer Control%1, 157 pages, October 1968. Pohl, I., STAN-CS-69-136 (SLACR-104, not at NTIS), %2Bi-Directional and Heuristic Search in Path Problems%1, 157 pages, May 1969. Polak, Wolfgang Heinz, STAN-CS-80-802 (PVG-17), %2Theory of Compiler Specification and Verification%1, 288 pages, May 1980. Pratt, Vaughan R., STAN-CS-72-260 (AD740110), %2Shellsort and Sorting Networks%1, 59 pages, February 1972. Quam, Lynn, STAN-CS-71-219 (AIM-144, not at NTIS), %2Computer Comparison of Pictures%1, 120 pages, May 1971. Ramos, G.O., STAN-CS-70-146 (not at NTIS), %2Roundoff Error Analysis of the Fast Fourier Transform%1, February 1970. Ramshaw, Lyle Harold, STAN-CS-79-741, %2Formalizing the Analysis of Algorithms%1, 123 pages, June 1979. Reddy, D.R., STAN-CS-66-49 (AIM-43, SS640-836), %2An Approach to Computer Speech Recognition by Direct Analysis of Speech Wave%1, 143 pages, September 1966. Reiser, John F., STAN-CS-77-601 (AD-A045 652), %2Analysis of Additive Random Number Generators%1, 34 pages, April 1977. Richman, P., STAN-CS-68-105 (AD673674), %2Epsiolon-Calculus%1, 138 pages, August 1968. Riddle, William E., STAN-CS-72-271 (not at NTIS), %2The Modeling and Analysis of Supervisory Systems%1, 174 pages, March 1972. Riesbeck, C.K., STAN-CS-74-437 (AIM-238, AD-A005 040), %2Computational Understanding: Analysis of Sentences and Context%1, 245 pages, July 1974. Rivest, Ronald L., STAN-CS-74-415 (PB233065/AS), %2Analysis of Associative Retrieval Algorithms%1, 109 pages, April 1974. Roderick, Michael, STAN-CS-76-571 (AIM-287), %2Discrete Control of a Robot Arm%1, 98 pages, August 1976. Rudin, B.D., STAN-CS-65-23 (AD618214), %2Convex Polynomial Approximation%1, 44 pages, June 1965. Russell, D.L., STAN-CS-76-563, %2State Restoration Among Communicating Processes%1, 173 pages, August 1976. Ryder, John, STAN-CS-71-245 (AIM-155, not at NTIS), %2Heuristic Analysis of Large Trees as Generated in the Game of Go%1, 350 pages, November 1971. Samet, H., STAN-CS-75-498 (AIM-259, AD-A017 025), %2Automatically Proving the Correctness of Translations Involving Optimized Code%1, 214 pages, August 1975. Satterthwaite, E.H., Jr., STAN-CS-75-494, %2Source Language Debugging Tools%1, 345 pages, May 1975. Schank, R.C., STAN-CS-69-130 (AIM-83, PB183907), %2A Conceptual Dependency Representation for a Computer-Oriented Semantics%1, 201 pages, March 1969. Schlumberger, Maurice, STAN-CS-74-424 (CSL-TR-80, PB232602/AS), %2Logorithmic Communications Networks%1 (Chapter 1), 38 pages, May 1974. Schlumberger, Maurice, STAN-CS-74-425 (CSL-TR-81, PB232598/AS), %2Vulnerability of deBruijn Communications Networks%1 (Chapter 2), 68 pages, May 1974. Schlumberger, Maurice, STAN-CS-74-426 (CSL-TR-82, PB232597), %2Queueing Equal Length Messages in a Logorithmic Network%1 (Chapter 3), 75 pages, May 1974. Schmidt, Rod, STAN-CS-71-231 (AIM-149, AD732644), %2A Study of the Real-Time Control of a Computer Driven Vehicle%1, 180 pages, August 1971. Sedgewick, R., STAN-CS-75-492, %2Quicksort%1, 352 pages, May 1975. Shaw, A.C., STAN-CS-68-94 (SLACR-84), %2The Formal Description and Parsing of Pictures%1, 205 pages, April 1968. Shimano, Burce E., STAN-CS-78-660 (AIM-313), %2The Kinematic Design and Force Control of Computer Controlled Manipulators%1, 135 pages, March 1978. Shortliffe, E.H., STAN-CS-74-465 (AIM-251, AD-A001 373), %2MYCIN: A Rule-Based Computer Program for Advising Physicians Regarding Antimicrobial Therapy Selection%1, 409 pages, November 1974. Shustek, Leonard J., STAN-CS-78-658 (SLAC-205), %2Analysis and Performance of Computer Instruction Sets%1, 177 pages, March 1978. Simon, Istvan, STAN-CS-77-608, %2On Some Subrecursive Reducibilities%1, 102 pages, June 1977. Sites, Richard L., STAN-CS-74-418 (PB233045/AS), %2Proving That Computer Programs Terminate Cleanly%1, 143 pages, May 1974. Smith, A., STAN-CS-74-449 (CSL-TR-89, AD785027), %2Performance Analysis of Computer Systems Components%1, 323 pages, September 1974. Smith, A., STAN-CS-74-451 (CSL-TR-91, AD786999), %2A Modified Working Set Paging Algorithm%1 (Chapter 5), 40 pages, October 1974. Smith, D.C., STAN-CS-75-499 (AIM-260), %2PYGMALION: A Creative Programming Environment%1, 193 pages, August 1975. Smith, L.B., STAN-CS-69-131 (SLAC-96), %2The Use of Man- Machine Interaction in Data-Fitting Problems%1, 287 pages, March 1969. Smith, Reid Garfield, STAN-CS-78-700 (HPP-78-28, AD-A068 230), %2A Framework for Problem Solving in a Distributed Processing Environment%1, 150 pages, December 1978. Stefik, Mark Jeffrey, STAN-CS-80-784 (HPP-80-2), %2Planning with Constraints%1, 230 pages, January 1980. Stoutemyer, David R., STAN-CS-72-283 (not at NTIS), %2Numerical Implemtation of the Schwarz Alternating Procedure for Elliptic Partial Differential Equations%1, 131 pages, May 1972. Strikwerd, J.C., STAN-CS-76-565 (AD-A032 802), %2Initial Boundary Value Problems for Incompletely Parabolic Systems%1, 107 pages, November 1976. Stritter, Edwin P., STAN-CS-77-594 (SLAC-200), %2File Migration%1, 112 pages, April 1977. Suzuki, Norihsa, STAN-CS-76-552 (AIM-279), %2Automatic Verification of Programs with Complex Data Structures%1, 194 pages, February 1976. Sweet, Richard E., STAN-CS-78-698, %2Empirical Estimates of Program Entropy%1, 167 pages, November 1978. Swinehart, Daniel C., STAN-CS-74-412 (AIM-230, AD786721), %2COPILOT: A Multiple Process Approach to Interactive Programming Systems%1, March 1974. Tarjan, R., STAN-CS-71-244 (AD738027), %2An Efficient Planarity Algorithm%1, 154 pages, November 1971. Taylor, Russell, STAN-CS-76-560 (AIM-282), %2Synthesis of Manipulator Control Programs from Task-level Specifications%1, 229 pages, July 1976. Tenenbaum, J., STAN-CS-70-182 (AIM-134, AD748565), %2Accomodation in Computer Vision%1, 452 pages, Septmeber 1970. Tixier, V., STAN-CS-67-58 (PB176766), %2Recursive Functions of Regular Expressions in Language Analysis%1, 146 pages, March 1967. Trabb Pardo, Louis, STAN-CS-78-681 (AD-A065 283), %2Set Representation and Set Intersection%1, 85 pages, December 1978. Underwood, R., STAN-CS-75-496 (SU326 P30-41), %2An Iterative Block Lanczos Method for the Solution of Large Sparse Symmetric Eigenproblems%1, 133 pages, May 1975. Valdes, Jacobo, STAN-CS-78-682 (AD-A065 265), %2Parsing Flowcharts and Series-Parallel Graphs%1, 233 pages, December 1978. Van Wyk, Christopher John, STAN-CS-80-803, %2A Language for Typesetting Graphics%1, 59 pages, May 1980. Varah, J.M, STAN-CS-67-66 (AD652921), %2The Computation of Bounds for the Invariant Subspaces of a General Matrix Operator%1, 240 pages, May 1967. Vicens, P., STAN-CS-69-127 (AIM-85, AD687720), %2Aspects of Speech Recognition by Computer%1, 210 pages, April 1969. Vuillemin, Jean Etienne, STAN-CS-73-393 (AIM-218, AD772063/4WC), %2Proof Techniques for Recursive Programs%1, 97 pages, October 1973. Wagner, Todd Jeffery, STAN-CS-77-632 (AIM-304, AD-A048 684), %2Hardware Verification%1, 102 pages, October 1977. Wakerly, John, STAN-CS-74-421 (CSL-TR-51, PB232356/AS), %2Low-Cost Error Detection Techniques for Small Computers%1, 232 pages, May 1974. Waterman, D., STAN-CS-68-118 (AIM-74, AD681027), %2Machine Learning of Heuristics%1, 235 pages, December 1968. Wilkins, David E., STAN-CS-79-747 (AIM-329, AD-A076 872), %2Using Patterns and Plans to Solve Problems and Control Search%1, 264 pages, June 1979. Wright, Margaret, STAN-CS-76-566, %2Numerical Methods for Nonlinearly Constrained Optimization%1, 262 pages, November 1976. Yakimovsky, Yoram, STAN-CS-73-380 (AIM-209, AD767695/O WC), %2Scene Analysis Using a Semantic Base for Region Growing%1, 120 pages, June 1973. Yu, F.S., STAN-CS-76-554, %2Modeling the Write Behavior of Computer Programs%1, 185 pages, June 1976. Zolnowsky, John E., STAN-CS-78-659 (SLAC-206), %2Topics in Computational Geometry%1, 63 pages, March 1978.