Abstract

In chapter eleven of "On The Foundation of Computing," Primiero takes on the implementation debate in computer science. He contrasts his theory with two other views—the Semantic and the specification—artifact. In this paper, I argue that there is a way to fine-tune the implementation concept further. Firstly, contrary to Primiero, I claim it is problematic to separate the implementation relationship from the conditions which make it correct. Secondly, by taking a pluralistic approach to implementation, I claim it is a mistake to try and provide a general theory of implementation for the entire production cycle of computational systems.