Abstraction in Computer Science

  title={Abstraction in Computer Science},
  author={T. Colburn and Gary M. Shute},
  journal={Minds and Machines},
  • T. Colburn, Gary M. Shute
  • Published 2007
  • Computer Science
  • Minds and Machines
  • We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction… CONTINUE READING
    Decoupling as a Fundamental Value of Computer Science
    • 6
    • PDF
    On Floridi’s Method of Levels of Abstraction
    • 7
    Levels of abstraction and the Turing test
    • 9
    Interfaces first (and foremost) with Java
    • 9
    • PDF
    Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
    • 8
    • PDF
    Programming Languages as Technical Artifacts
    • 8
    Abstraction in Artificial Intelligence and Complex Systems
    • 58
    • PDF


    Publications referenced by this paper.
    Concrete Abstractions: An Introduction to Computer Science Using Scheme
    • 16
    • PDF
    Program Verification: Fundamental Issues in Computer Science
    • 10
    • PDF
    Mathematics as a science of patterns
    • 269
    Philosophy of mathematics: What numbers could not be
    • 554
    Program verification: the very idea
    • 270
    • PDF
    The Java Virtual Machine Specification
    • 3,204
    • PDF
    Mathematical Thought from Ancient to Modern Times
    • 1,327
    • PDF
    A Mathematician's Apology
    • 213