Question: Given the PL Theory parts of my question (but seeing it also being part of practical compiler design) Im thinking it might be a better match here than there?

<https://stackoverflow.com/questions/3616950/formally-constructing-control-flow-graph>

Answer: 
What is the policy on crossposting to/from MathOverflow or other StackExchange sites?
-------------------------------------------------------------------------------------

Crossposting from [MathOverflow](https://mathoverflow.net/) and other StackExchange sites is perfectly fine, as long as they aren't done in parallel. That is, if you post a question on one site, you should only post to the other site after you have not received a satisfactory answer for some time, and you should provide a link in each post (or in the comments on it) to the other one. As a courtesy, if you post your question here after trying MathOverflow or another StackExchange site, please try to integrate in your question the answers you received on MathOverflow/the other site (even if they did not answer everything).

---

Related discussion:
[[1]](https://cstheory.meta.stackexchange.com/questions/25/material-to-supplement-the-faq/36#36)
[[2]](https://cstheory.meta.stackexchange.com/questions/65/repeat-a-question-from-math-overflow)
[[3]](https://cstheory.meta.stackexchange.com/a/2853)
Can I discuss questions and answers on the site?
------------------------------------------------

In addition to questions and answers, cstheory.sx supports, like other Stack Exchange sites, comments on questions and answers. This supports discussions, and is important to improving posts, challenging possible mistakes, and bringing attention to relevant resources.

Of course, discussions only work if the participants know of the comments. Besides comments appearing after the question or answer they comment on, the author of the question or answer will see that you have commented, as will anyone who you have notified by @name, where the site tries to figure out who @name might be by looking at the user names of other users who have participated in the thread. You need at least the first three characters of the user name for the site to figure out that the @nam might be about them. For more details on comment replies, see “[How do comment replies work?](https://meta.stackexchange.com/questions/43019/how-do-comment-replies-work)” on meta.stackoverflow.com.