Reasoning about recursive procedures with parameters - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph-Johan Back, Viorel Preoteasa. Reasoning about recursive procedures with parameters. In Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM, 2003. [doi]

This author has not been identified. Look up 'Ralph-Johan Back' in GoogleThis author has not been identified. Look up 'Viorel Preoteasa' in Google

runs on WebDSL