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: 
Questions about Theorem X in paper Y?
-------------------------------------

It is perfectly fine to ask very specific questions like this:

> 
> How does one reach eq 3.14 from eq 3.13 in paper X, page Y? I tried the following ... but it didn't work.
> 
> 
> 

However, if you suspect that there is a *mistake* in a paper, it might be polite to first contact the authors by email before posting a question here.

---

Related discussion:
[[1]](https://cstheory.meta.stackexchange.com/questions/204/are-specific-questions-about-theorem-x-in-paper-y-fine)
[[2]](https://cstheory.meta.stackexchange.com/questions/214/should-there-be-a-protocol-to-notify-authors-if-we-find-an-error-in-a-paper)
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.