A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification

Assaf Marron, David Harel

An algorithm specification in natural language or pseudocode is expected to be clear and explicit enough to enable mechanical execution. In this position paper we contribute an ini…