Describes a systematic program design method, starting with a clear specification of a computation and deriving an efficient implementation by step-wise program analysis and transformations.[...]
Describes a systematic program design method, starting with a clear specification of a computation and deriving an efficient implementation by step-wise program analysis and transformations.[...]