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 kind of questions are too basic?
-------------------------------------

Our aim is to ask and answer **research-level** questions in theoretical computer science. "Research-level" means, roughly, questions that might be discussed between two professors, or between graduate students working on Ph.D.'s, but not usually between a professor and the typical undergraduate student. *It does not include questions at the level of difficulty of undergraduate homework*. Here are some examples of questions that are off-topic because they are not research-level or because they are too easy:

* Questions that can be easily answered by reading a Wikipedia article on the topic.
* Questions that can be easily solved by Googling.
* Questions that are solved by browsing [one of these web sites](https://cstheory.meta.stackexchange.com/questions/225/official-faq-for-theoretical-computer-science/229#229).
* Typical homework problems in textbooks.

If you do not think that your question is research-level but you cannot find an answer in above options, you may want to try <https://math.stackexchange.com/>.

---

Related discussion:
[[1]](https://cstheory.meta.stackexchange.com/questions/17/scope-of-questions)
[[2]](https://cstheory.meta.stackexchange.com/questions/115/what-level-and-types-of-questions-are-appropriate-for-theoretical-computer-scienc)
[[3]](https://cstheory.meta.stackexchange.com/questions/209/homework-or-things-that-look-like-homework)
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)