MD Ernst - 2nd Summit on Advances in Programming Languages …, 2017 - drops.dagstuhl.de
A powerful, but limited, way to view software is as source code alone. Treating a program as
a sequence of instructions enables it to be formalized and makes it amenable to …