Implementing a Computing System: A Pluralistic Approach

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.