An Alternate View of Synthesis

An Alternate View of Synthesis

m The encoding is simply a list (array?) of values for each member of the set

m The process is repeated until all types are encoded in terms of members of the type Boolean.

Previous slide

Next slide

Back to the first slide

View Graphic Version