Decidable models of integer-manipulating programs with recursive parallelism

Matthew Hague, Anthony Lin

Research output: Contribution to journal › Article › peer-review

36 Downloads (Pure)

1 Conference contribution

1 results

Filter

2016

Decidable Models of Integer-Manipulating Programs with Recursive Parallelism
Hague, M. & Lin, A., 13 Sept 2016, (E-pub ahead of print) Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9899. p. 148-162 15 p. (Lecture Notes in Computer Science; vol. 9899).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

58 Downloads (Pure)