Description: This report applies some methods from the theory of group representation to the questions of program specification and knowledge about programs. The theory is that of a program as a transformation on a state space, and operators commuting with that transformation being symmetries of the program, means of specifying properties, and generators of program invariants. Because a program can simulate a system in the real world, there is a corresponding model of engineered artifacts, that is, manmade objects having a theory for their design.
Date: March 1987
Creator: Gabriel, John R.
Item Type: Refine your search to only Report