Computational Artifacts

Essential contribution to the philosophy of computer science

Advances the notion of a technical artifact

Appeals to computer scientists and philosophers

Essential contribution to the philosophy of computer science Advances the notion of a technical artifact Appeals to computer scientists and philosophers

Autorentext
Raymond Turner is an emeritus professor of the School of Computer Science and Electronic Engineering of the University of Essex. His research interests include theoretical computer science, mathematical logic, philosophical logic, philosophy of mathematics, and the philosophy of computer science.

Inhalt
Part I, Introduction.- Computer Science.- Towards a Philosophy of Computer Science.- Part II, Ontology.- Computational Artifacts.- Logic Machines as Technical Artifacts.- The Ontology of Programs.- Software Systems as Technical Artifacts.- Part III, Semantics.- The Languages of Computer Science.- Programming Languages.- Semantic Requirements.- Semantic Varieties.- Semantics and Implementation.- Specification Languages.- Part IV, Methodology: Software Development.- Software System Methodology.- Specification.- The Philosophy of Design.- Simplicity in Design.- Modularity.- Formal Methods.- Part V, Methodology II: The Design of Programming Languages.- Simplicity and Expressive Power.- Semantics and Design.- Computational Abstraction.- Part VI Epistemology.- Varieties of Correctness.- Program Correctness.- Types and Correctness.- Artifact Correctness.- Computational Explanation. <p