Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming

Tuur Benoit, Bart Jacobs 0002. Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming. In Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, editors, Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Volume 11918 of Lecture Notes in Computer Science, pages 46-64, Springer, 2019. [doi]

Authors

Tuur Benoit

This author has not been identified. Look up 'Tuur Benoit' in Google

Bart Jacobs 0002

This author has not been identified. Look up 'Bart Jacobs 0002' in Google