Almost half of a century has passed since Robert W. Floyd published the first research that explicitly discussed formally how to assign meaning to programs. But recently David L. Parnas have called Really Rethinking ...