Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl) | Proceedings of the ACM on Programming Languages - discu.eu

Lobsters

Beyond Relooper: recursive translation of unstructured control flow to structured control flow https://dl.acm.org/doi/10.1145/3547621 5 comments 21/5/2023 compilers , pdf , plt

Linking pages

GitHub - cfallin/waffle https://github.com/cfallin/waffle 0 comments

Linked pages

System F with type equality coercions | Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation https://dl.acm.org/doi/10.1145/1190315.1190324 3 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:dl.acm.org

Search title: Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl) | Proceedings of the ACM on Programming Languages

See how to search.

Submit link to: