True small-step reduction for imperative object oriented languages - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Servetto, Lindsay Groves. True small-step reduction for imperative object oriented languages. In Werner Dietl, editor, Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013. ACM, 2013. [doi]

This author has not been identified. Look up 'Marco Servetto' in GoogleThis author has not been identified. Look up 'Lindsay Groves' in Google

runs on WebDSL