Finiteness analysis (1991)

by C K Holst
Venue:Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA), LNCS 523