Constraint Specialisation in Horn Clause Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bishoksan Kafle, John P. Gallagher. Constraint Specialisation in Horn Clause Verification. In Kenichi Asai, Kostis Sagonas, editors, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. pages 85-90, ACM, 2015. [doi]

This author has not been identified. Look up 'Bishoksan Kafle' in GoogleThis author has not been identified. It may be one of the following persons:

John P. Gallagher

Look up 'John P. Gallagher' in Google

runs on WebDSL