Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani. Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?. In Bernhard Beckert, Claude Marché, editors, Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Volume 6528 of Lecture Notes in Computer Science, pages 31-45, Springer, 2010. [doi]

This author has not been identified. Look up 'Davide Ancona' in GoogleThis author has not been identified. Look up 'Andrea Corradi' in GoogleThis author has not been identified. Look up 'Giovanni Lagorio' in GoogleThis author has not been identified. Look up 'Ferruccio Damiani' in Google

runs on WebDSL