Ordered types and a generalized for statement
暂无分享，去创建一个
An ordered type is a data structure together with predecessor and successor procedures and a relation defined over pairs of elements of the ordered type. A generalized for statement which uses the procedures connected with an ordered type is introduced. This allows ordered types to be used to control statement iteration in programs.
[1] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .
[2] Charles Antony Richard Hoare,et al. A note on the for statement , 1972 .
[3] Ole-Johan Dahl,et al. SIMULA 67 common base language, (Norwegian Computing Center. Publication) , 1968 .
[4] Edsger W. Dijkstra,et al. Structured programming , 1972, A.P.I.C. Studies in data processing.