Monadic abstract interpreters

Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens. Monadic abstract interpreters. In Hans-Juergen Boehm, Cormac Flanagan, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013. pages 399-410, ACM, 2013. [doi]

Authors

Ilya Sergey

This author has not been identified. Look up 'Ilya Sergey' in Google

Dominique Devriese

This author has not been identified. Look up 'Dominique Devriese' in Google

Matthew Might

This author has not been identified. Look up 'Matthew Might' in Google

Jan Midtgaard

This author has not been identified. Look up 'Jan Midtgaard' in Google

David Darais

This author has not been identified. Look up 'David Darais' in Google

Dave Clarke

This author has not been identified. It may be one of the following persons: Look up 'Dave Clarke' in Google

Frank Piessens

This author has not been identified. Look up 'Frank Piessens' in Google