Building Interactive Digital Libraries of Formal Algorithmic Knowledge

Abstract

This report summarizes the conceptual basis and the first prototype of an Interactive Digital Library of Formal Algorithmic Knowledge. The key purpose of the prototype library is to demonstrate that it is possible to organize formal knowledge that is necessary for the development of reliable hardware and software and to provide software tools for using it in a variety of ways.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 02, 2002
Accession Number
ADA403617

Entities

People

  • Robert L. Constable

Organizations

  • Cornell University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence Computing
  • Computational Complexity
  • Computer Languages
  • Computer Science
  • Computers
  • Contracts
  • Formal Languages
  • Inference Engines
  • Language
  • Materials
  • Mathematics
  • Organizational Structure
  • Prototypes
  • Reasoning
  • Reliability
  • Universities

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Distributed Systems and Data Platform Development