COMPUTER SCIENCE RESEARCH REVIEW,

Abstract

Contents: The design of a computer science course; Theories of computational complexity; On operating computer systems and simulation systems; Designing the language of a computer; and The correctness problem of computer programs.

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1968
Accession Number
AD0695485

Entities

People

  • Carolyn M. Lisle

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Computational Complexity
  • Computer Languages
  • Computer Programs
  • Computer Science
  • Computers
  • Formal Languages
  • Language
  • Simulations
  • Simulators

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Library and Information Science