The design of the enumeration data type is known to be imperfect in both PASCAL and ADA. A new design which avoids the known problems is proposed. An implementation in the experimental programming language CONCISE confirms the design. © 1982, ACM. All rights reserved.
H.M. Gladney
ACM TOIS
Physical Review
ACM SIGPLAN Notices
H.M. Gladney, Fred Mintzer, et al.
Communications of the ACM
