Enforcing Programming Guidelines with Region Types and Effects

Serdar Erbatur, Martin Hofmann 0001, Eugen Zalinescu. Enforcing Programming Guidelines with Region Types and Effects. In Bor-Yuh Evan Chang, editor, Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. Volume 10695 of Lecture Notes in Computer Science, pages 85-104, Springer, 2017. [doi]

Authors

Serdar Erbatur

This author has not been identified. Look up 'Serdar Erbatur' in Google

Martin Hofmann 0001

This author has not been identified. Look up 'Martin Hofmann 0001' in Google

Eugen Zalinescu

This author has not been identified. Look up 'Eugen Zalinescu' in Google