On the Implementation of Conceptual Algorithms