Problems in the ontology of computer programs

被引：1

作者：

Eden, Amnon H. ^{[1
,2
]}

Turner, Raymond ^{[1
]}

机构：

[1] Univ Essex, Dept Comp Sci, Colchester, Essex, England

[2] Ctr Inquiry, Amherst, NY USA

来源：

APPLIED ONTOLOGY | 2007年 / 2卷 / 01期

基金：

英国工程与自然科学研究理事会;

关键词：

Philosophy of computer science; software ontology; science of software design;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into a meaningful taxonomy? (2) To what ontology are computer programs committed? (3) What explains the proliferation of programming languages and how do they come about? Taking the complementary perspectives software engineering and mathematical logic, we take inventory of programs and related objects and conclude that the notions of abstraction and concretization take a central role in this investigation.

引用

页码：13 / 36

页数：24

共 26 条

[1]

[Anonymous], 1990, DESIGNING OBJECT ORI

[2]

[Anonymous], BLACKWELL GUIDE PHIL

[3]

[Anonymous], 2004, BLACKWELL GUIDE PHIL

[4]

Cormen T. H., 1990, INTRO ALGORITHMS

[5] Abstraction classes in software design [J].

Eden, A. H. ;

Hirshfeld, Y. ;

Kazman, R. .

IEE PROCEEDINGS-SOFTWARE, 2006, 153 (04) :163-182

[6] PROGRAM VERIFICATION - THE VERY IDEA [J].

FETZER, JH .

COMMUNICATIONS OF THE ACM, 1988, 31 (09) :1048-1063

[7]

Fielding J., 2004, P 9 INT C PRINC KNOW

[8]

Floridi L., 2004, The Blackwell guide to the philosophy of computing and information, P40

[9]

Gamma E., 1995, Design Patterns: Elements of Reusable Object-Oriented Software

[10]

Garlan D., 1993, Advances in software engineering and knowledge engineering, P1

← 1 2 3 →