« Previous |
1 - 12 of 239
|
Next »
Number of results to display per page
Search Results
- Title:
- 56 Talk at DEC
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- 1983
- Imprint:
- 1983
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_31
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- A Basis for a Mathematical Theory of Computation
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Topic:
- Artificial intelligence, Expert systems (Computer science), and Computer science
- Language:
- English
- Physical Description:
- 1 document ; 22 pages
- Date:
- May 1961
- Imprint:
- May 1961
- Genre:
- Paper
- Series:
- 1986-052
- Box:
- 53
- Folder:
- 25
- Folder Name:
- McCarthy 1-
- Identifier:
- SC0340_1986-052_sg135sp9052
- Location:
- Call Number: SC0340, Accession: 1986-052, Box: 53, Folder: 25
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Notes:
- Paper (1961/5); p. 22
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- A deductive approach to program synthesis
- Author:
- Manna, Zohar and Waldinger, Richard J.
- Author (no Collectors):
- Manna, Zohar and Waldinger, Richard J.
- Description:
- Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.
- Topic:
- Computer science
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- November 01, 1978
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), November 1, 1978
- Genre:
- technical reports
- Identifier:
- CS-TR-1978-690
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford University, Department of Computer Science, Technical Reports and Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- 3840/2
- Title:
- A heuristic approach to program verification
- Author:
- Katz, Shmuel M. and Manna, Zohar
- Author (no Collectors):
- Katz, Shmuel M. and Manna, Zohar
- Description:
- We present various heuristic techniques for use in proving the correctness of computer programs. The techniques are designed to obtain automatically the "inductive assertions" attached to the loops of the program which previously required human "understanding" of the program's performance. We distinguish between two general approaches: one in which we obtain the inductive assertion by analyzing predicates which are known to be true at the entrances and exits of the loop ($underline{top-down}$ approach), and another in which we generate the inductive assertion directly from the statements of the loop ($underline{bottom-up}$ approach).
- Topic:
- Computer science
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- March 01, 1973
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 1, 1973
- Genre:
- technical reports
- Identifier:
- CS-TR-1973-341
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford University, Department of Computer Science, Technical Reports and Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- 3840/2
- Title:
- A hypothetical dialogue exhibiting a knowledge base for a program-understanding system
- Author:
- Green, C. Cordell and Barstow, David R.
- Author (no Collectors):
- Green, C. Cordell and Barstow, David R.
- Description:
- A hypothetical dialogue with a fictitious program-understanding system is presented. In the interactive dialogue the computer carries out a detailed synthesis of a simple insertion sort program for linked lists. The content, length and complexity of the dialogue reflect the underlying programming knowledge which would be required for a system to accomplish this task. The nature of the knowledge is discussed and the codification of such programming knowledge is suggested as a major research area in the development of program-understanding systems.
- Topic:
- Computer science
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- January 01, 1975
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), January 1, 1975
- Genre:
- technical reports
- Identifier:
- CS-TR-1975-476
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford University, Department of Computer Science, Technical Reports and Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- 3840/2
- Title:
- A new approach to recursive programs
- Author:
- Manna, Zohar and Shamir, Adi
- Author (no Collectors):
- Manna, Zohar and Shamir, Adi
- Description:
- In this paper we critically evaluate the classical least-fixedpoint approach towards recursive programs. We suggest a new approach which extracts the maximal amount of valuable information embedded in the programs. The presentation is informal, with emphasis on examples.
- Topic:
- Computer science
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- December 01, 1975
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), December 1, 1975
- Genre:
- technical reports
- Identifier:
- CS-TR-1975-539
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford University, Department of Computer Science, Technical Reports and Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- 3840/2
- Title:
- A Symposium to Honor Mina Rees, AAAS 1982 Annual Convention
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Corporate Author:
- American Association for the Advancement of Science
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- January 06, 1982
- Imprint:
- January 6, 1982
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_29
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Advanced Architecture Meeting - Delagi
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- 1989
- Imprint:
- 1989
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_01
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Advanced Architecture Meeting. Part 1
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- 1989
- Imprint:
- 1989
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_02
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Advanced Architecture Meeting. Part 2
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- 1989
- Imprint:
- 1989
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_03
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Advanced Architecture Project - Penny. Part 1
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- 1989
- Imprint:
- 1989
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_04
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)