Combining top-down and bottom-up approaches for automated discovery of typed programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomás Kren, Josef Moudrík, Roman Neruda. Combining top-down and bottom-up approaches for automated discovery of typed programs. In 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017. pages 1-8, IEEE, 2017. [doi]

This author has not been identified. Look up 'Tomás Kren' in GoogleThis author has not been identified. Look up 'Josef Moudrík' in GoogleThis author has not been identified. Look up 'Roman Neruda' in Google

runs on WebDSL