What's decidable about linear loops?

Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell 0001. What's decidable about linear loops?. Proceedings of the ACM on Programming Languages, 6(POPL):1-25, 2022. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.