Loading...
Please wait, while we are loading the content...
Similar Documents
Tree-oriented interactive processing with an application to theorem-proving, appendix e
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Campbell, Roy H. Hammerslag, David Kamin, Samuel N. |
| Copyright Year | 1985 |
| Description | The concept of unstructured structure editing and ted, an editor for unstructured trees, is described. Ted is used to manipulate hierarchies of information in an unrestricted manner. The tool was implemented and applied to the problem of organizing formal proofs. As a proof management tool, it maintains the validity of a proof and its constituent lemmas independently from the methods used to validate the proof. It includes an adaptable interface which may be used to invoke theorem provers and other aids to proof construction. Using ted, a user may construct, maintain, and verify formal proofs using a variety of theorem provers, proof checkers, and formatters. |
| File Size | 514397 |
| Page Count | 15 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19870018870 |
| Archival Resource Key | ark:/13960/t00051726 |
| Language | English |
| Publisher Date | 1985-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Management Methods Computer Programming Human-computer Interface Editing Routines Computers Theorem Proving Applications Programs Computers Trees Mathematics Program Verification Computers Software Engineering Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
