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.

NSF Summer Workshop, Nov. ‘87

Previous slide Next slide Back to the first slide View Graphic Version