Accession Number:

ADA011838

Title:

Commenting Proofs.

Descriptive Note:

Memorandum rept.,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

Report Date:

1974-05-01

Pagination or Media Count:

20.0

Abstract:

This paper constitutes a summary of a seminar entitled Commenting Proofs given at the Artificial Intelligence Lab in the spring of 1974. The work is concerned with new syntactic structures in formal proofs which derive from their pragmatic and semantic aspects. It is a synthesis of elements from Yessenin-Volpins foundational studies and developments in Artificial Intelligence concerned with commenting programs and the use of this idea in automatic debugging procedures.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE