Robert S. Boyer - PDFSEARCH.IO - Document Search Engine

Robert S. Boyer
Results: 6

#	Item
1	PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:09 Logic in computer science Formal methods Automated theorem proving Programming paradigms Formal verification Correctness Denotational semantics Logic programming Nqthm Theoretical computer science Applied mathematics Mathematics
2	PROOF CHECKING THE RSA PUBLIC KEY ENCRYPTION ALGORITHM1 Robert S. Boyer and J Strother Moore MR Classification Numbers: 03-04, 03B35, 10A25, 68C20, 68G15 The development of mathematics toward greater precision has led, a Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:24 Number theory Integer sequences Electronic commerce Public-key cryptography RSA Theorem Prime number IP Nqthm Mathematics Logic Modular arithmetic
3	THE USE OF A FORMAL SIMULATOR TO VERIFY A SIMPLE REAL TIME CONTROL PROGRAM Robert S. Boyer Milton W. Green J Strother Moore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:01 Formal methods Functions and mappings Formal sciences Mathematical logic Formal verification Control theory KeY Integral Function Mathematics Applied mathematics Theoretical computer science
4	Function Memoization and Unique Object Representation for ACL2 Functions Robert S. Boyer Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2007-02-04 12:18:09 Lisp programming language ACL2 Memoization Lisp Dynamic programming Cons Nqthm Hash consing Defun Computing Computer programming Software engineering
5	In Memoriam Woodrow Wilson Bledsoe Woodrow Wilson (Woody) Bledsoe died on 4 October 1995 of ALS, more commonly known as Lou GehrigÕs disease. Woody was one of the founders of Artificial Intelligence (AI), making early c Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:38:05 Mathematics Logic in computer science Artificial intelligence Automated reasoning Reasoning Robert S. Boyer Natural Woody Bledsoe Automated theorem proving Theoretical computer science Applied mathematics
6	A MECHANICAL PROOF OF THE UNSOLVABILITY OF THE HALTING PROBLEM Robert S. Boyer and J Strother Moore ICSCA-CMP-28 July 1982 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:25 Control flow Eval Functions and mappings Halting problem Function Characterizations of the exponential function Mathematics Computability theory Theory of computation