Type and metaphor for computer programmers

Timothy Colburn; Gary Shute

doi:10.5840/techne20174662

Type and metaphor for computer programmers

Timothy Colburn, Gary Shute

Computer Science (Duluth)

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

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.

Original language	English (US)
Pages (from-to)	71-105
Number of pages	35
Journal	Techne: Research in Philosophy and Technology
Volume	21
Issue number	1
DOIs	https://doi.org/10.5840/techne20174662
State	Published - 2017

Bibliographical note

Publisher Copyright:
© 2017 Philosophy Documentation Center. All rights reserved.

Keywords

Metaphor
Philosophy of computer science
Programming
Type

Access

10.5840/techne20174662

OpenUrl availability

Full text

Cite this

@article{fcc168b7f3f541d79865f45cc3842ebc,

title = "Type and metaphor for computer programmers",

abstract = "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.",

keywords = "Metaphor, Philosophy of computer science, Programming, Type",

author = "Timothy Colburn and Gary Shute",

year = "2017",

doi = "10.5840/techne20174662",

language = "English (US)",

volume = "21",

pages = "71--105",

journal = "Techne: Research in Philosophy and Technology",

issn = "0161-7249",

publisher = "The Society for Philosophy and Technology",

number = "1",

}

TY - JOUR

T1 - Type and metaphor for computer programmers

AU - Colburn, Timothy

AU - Shute, Gary

PY - 2017

Y1 - 2017

N2 - 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.

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.

KW - Metaphor

KW - Philosophy of computer science

KW - Programming

KW - Type

UR - http://www.scopus.com/inward/record.url?scp=85045248284&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85045248284&partnerID=8YFLogxK

U2 - 10.5840/techne20174662

DO - 10.5840/techne20174662

M3 - Article

AN - SCOPUS:85045248284

SN - 0161-7249

VL - 21

SP - 71

EP - 105

JO - Techne: Research in Philosophy and Technology

JF - Techne: Research in Philosophy and Technology

IS - 1

ER -

Type and metaphor for computer programmers

Abstract

Bibliographical note

Keywords

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this