Automatic and efficient simulation of operation contracts

Matthias P. Krieger, Alexander Knapp, Burkhart Wolff. Automatic and efficient simulation of operation contracts. In Eelco Visser, Jaakko Järvi, editors, Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010. pages 53-62, ACM, 2010. [doi]

Authors

Matthias P. Krieger

This author has not been identified. Look up 'Matthias P. Krieger' in Google

Alexander Knapp

This author has not been identified. Look up 'Alexander Knapp' in Google

Burkhart Wolff

This author has not been identified. Look up 'Burkhart Wolff' in Google