PROOF LOGGING FINAL REPORT

PDF

Authors
  1. Kromodimoeljo, S.
  2. Pase, B.
Corporate Authors
ORA Canada, Ottawa ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
This document is the final report for Proof Logs in NEVER as they appear in EVES, version 2.42. It describes the design of proof logging, and the difficulties encountered during the contract. Other documents produced under this contract include a technical description of Proof logs, and a user level description. Proof Logging is related to another effort, called Proof Checking, which will be described separately. The report is divided into four sections. The section on design describes the issues that arose during the design of Proof Logging and the trade-offs involved. The section on difficulties describes the areas that caused the most problems. The section on lessons learned describes a number of things that the completion of Proof Logging taught us. The section on future work describes aspects of proof logging that remain to be completed
Keywords
Computer program documentation;Trace logic;Computer logging routines;Computer logs
Report Number
TR-95-5471-05 — Technical Report
Date of publication
01 Jun 1995
Number of Pages
6
DSTKIM No
96-02603
CANDIS No
497168
Format(s):
Document Image stored on Optical Disk;Hardcopy

Permanent link

Document 1 of 1

Date modified: