Compilation of synchronous observers as code contracts

Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux. Compilation of synchronous observers as code contracts. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. pages 1933-1939, ACM, 2015. [doi]

Authors

Arnaud Dieumegard

This author has not been identified. Look up 'Arnaud Dieumegard' in Google

Pierre-Loïc Garoche

This author has not been identified. Look up 'Pierre-Loïc Garoche' in Google

Temesghen Kahsai

This author has not been identified. Look up 'Temesghen Kahsai' in Google

Alice Taillar

This author has not been identified. Look up 'Alice Taillar' in Google

Xavier Thirioux

This author has not been identified. Look up 'Xavier Thirioux' in Google