The Philosophy of Computer Science is concerned with philosophical issues that arise from reflection upon the nature and practice of the academic discipline of computer science. In this sense, it parallels the philosophies of mathematics and physics in being a parasitic philosophical discipline. But while physics and mathematics are well established disciplines, with broad agreement concerning their subject matter, computer science is new, its very nature unfixed and unclear. So part of the task will be to provide a somewhat clearer view of the content and personality of the subject.
· Specification and Computation IACAP 2011