Automatic synthesis of specifications for first order curry programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva. Automatic synthesis of specifications for first order curry programs. In Danny De Schreye, Gerda Janssens, Andy King, editors, Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. pages 25-34, ACM, 2012. [doi]

This author has not been identified. Look up 'Giovanni Bacci' in GoogleThis author has not been identified. Look up 'Marco Comini' in GoogleThis author has not been identified. Look up 'Marco Antonio Feliú' in GoogleThis author has not been identified. Look up 'Alicia Villanueva' in Google

runs on WebDSL