Porting M-EVES to Common Lisp

Abstract

This final report summarizes the work completed for the project entitled Porting m-EVES to Common Lisp. Section 2 places the contracted work within the context of the m-EVES project. Section 3 outlines the project, the statement of work, and amendments to the initial contract. The approach used to meet the contractual obligations are summarized in Section 4. The difficulties encountered during the project are discussed in Section 5. Section 6 lists the documents and software delivered at the termination of the project. The final section summarizes the results of this project. The daily log, documenting the porting of m-EVES to Common Lisp, is appended to this report. Keywords: Computer program verification, Canada. (KR)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 31, 1989
Accession Number
ADA218260

Entities

People

  • Bill Pase
  • Karen Summerskill
  • Sentot Kromodimoeljo

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Application Software
  • Classification
  • Computer Program Documentation
  • Computer Program Verification
  • Computer Programs
  • Computers
  • Contracts
  • Databases
  • High Level Language Architecture
  • Language
  • Lisp Programming Language
  • Mainframe Computers
  • Platforms
  • Security
  • Standardization
  • Standards
  • Verification

Readers

  • Artificial Intelligence
  • Business Analytics
  • Clinical Trial Research.