A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernhard Scholz, Kostyantyn Vorobyov, Padmanabhan Krishnan, Till Westmann. A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report. In 24th Australasian Software Engineering Conference, ASWEC 2015, Adelaide, SA, Australia, September 28 - October 1, 2015. pages 28-37, IEEE Computer Society, 2015. [doi]

This author has not been identified. Look up 'Bernhard Scholz' in GoogleThis author has not been identified. Look up 'Kostyantyn Vorobyov' in GoogleThis author has not been identified. Look up 'Padmanabhan Krishnan' in GoogleThis author has not been identified. Look up 'Till Westmann' in Google

runs on WebDSL