Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal. Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. In Sriram K. Rajamani, David Walker, editors, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. pages 97-109, ACM, 2015. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Rasmus Ibsen-Jensen' in GoogleThis author has not been identified. Look up 'Andreas Pavlogiannis' in GoogleThis author has not been identified. Look up 'Prateesh Goyal' in Google

runs on WebDSL