Programming as Theory Building

The name of this publication Software as Theory Building was inspired by the title of a thought-provoking paper titled Programming as Theory Building. The paper was written more than three decades ago by a highly-respected Computer Scientist named Pe...