Reasoning about recursive procedures with parameters.

Ralph-Johan Back, Viorel Preoteasa

Browse the full ICFP paper archive.