Experimental Logic and the Automatic Analysis of Algorithms,
Abstract
Experimental Logic can be viewed as a branch of logic dealing with the actual construction of useful deductive systems and their application to various scientific disciplines. In a sense it is a reversion of the study of logic back to its original purpose, before the study of logic became merely the metamathematical study of artificial language systems. This paper describes an experimental logic called Quantified Computational Logic (i.e., QCL) and a automatic theorem prover called the SYMbolic EVALuator (i.e., SYMEVAL) which automatically makes deductions in the QCL language. This logic is being applied to solving problems in several areas of computer science such as automatic complexity analysis of computer programs, automatic verification of the correctness of computer programs, automatic natural language analysis, and as a model for advanced language design. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 31, 1984
- Accession Number
- ADP003036
Entities
People
- F. M. Brown
Organizations
- University of Texas at Austin