Type and Metaphor for Computer Programmers.

The duality of computer programs is characterized, on the one hand, by their physical implementations on physical devices, and, on the other, by the conceptual implementations in programmers' minds of the objects making up the computational processes they conceive. We contend that central to program...

Full description

Bibliographic Details
Published in:Techné: Research in Philosophy & Technology Vol. 21; no. 1; pp. 71 - 106
Main Authors: Colburn, Timothy, Shute, Gary
Format: Article
Published: Philosophy Documentation Center 2017
Subjects:
Online Access:View this record in EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=122555566&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 122555566
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        01617249
        2Y0N
      jtl: Techné: Research in Philosophy & Technology
      issn: 01617249
      maglogo: N
    pubinfo:
      dt: 2017
      vid: 21
      iid: 1
      pid: 2411
      pub: Philosophy Documentation Center
    artinfo:
      ui:
        122555566
        10.5840/techne20174662
      ppf: 71
      ppct: 35
      formats:
        fmt:
          @attributes:
            type: P
            size: 1.8MB
      tig:
        atl: Type and Metaphor for Computer Programmers.
      aug:
        au:
          Colburn, Timothy
          Shute, Gary
        affil: Department of Computer Science, 320 Heller Hall, University of Minnesota-Duluth, Duluth MN 55812, USA
      su:
        Computer programmers
        Computer programming
        Computer software
      sug:
        subj:
          Computer programmers
          Computer programming
          Computer software
      keyword:
        metaphor
        philosophy of computer science
        programming
        type
      ab: The duality of computer programs is characterized, on the one hand, by their physical implementations on physical devices, and, on the other, by the conceptual implementations in programmers' minds of the objects making up the computational processes they conceive. We contend that central to programmers' conceptual implementations are (i) the concept of type, at both the programming and the design level, and (ii) metaphors created to facilitate these implementations.
      pubtype: Academic Journal
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Copyright of Techné: Research in Philosophy & Technology is the property of Philosophy Documentation Center and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use.
      item: Techné: Research in Philosophy & Technology
      holder: Philosophy Documentation Center
      dt:
        @attributes:
          year: 2017
    holdings:
      @attributes:
        islocal: N