Implementation Is Semantic Interpretation

Implementation Is Semantic Interpretation (1999)

Cached

Download Links

[ftp.cs.buffalo.edu]

by William J. Rapaport

Venue:	Monist
Citations:	2 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Implementation Is Semantic Interpretation	user correction - Legacy Corrections
AUTHOR NAME	William J. Rapaport	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science, Department of Philosophy,; and Center for Cognitive Science; State University of New York at Buffalo, Buffalo	SVM HeaderParse 0.2
AUTHOR ADDR	NY 14260	SVM HeaderParse 0.1
ABSTRACT	What is the computational notion of "implementation"? It is not individuation, instantiation, reduction, or supervenience. It is, I suggest, semantic interpretation. This document is Technical Report 97-15 (Buffalo: SUNY Buffalo Department of Computer Science) and Technical Report 97-5 (Buffalo: SUNY Buffalo Center for Cognitive Science). 1 INTRODUCTION Consider the relationships among algorithms, computer programs, and the computers that execute them. An algorithm is (roughly) a procedure for computing a function (for more details, see Soare 1996; Rapaport, forthcoming). A program is a more specific and detailed textual expression of an algorithm, expressed in a programming language. Often, it is said that the program "implements" the algorithm. A computer process is an algorithm being executed (see Rapaport 1988, 1995; Smith 1997). It is a physical device (a computer) behaving in a certain way ; the way is described (or specified) by the program, and the physical device running the ...	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	Monist	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	109--130	INFERENCE
VOLUME	82	INFERENCE
CITATIONS	31 found	ParsCit 1.0