The Java Memory Model uses in its fundamentals a set theory language. In a formal way, a question about set theory relates to mathematics, not programming. But what about the questions which ask for code examples or details of the JMM? Are they on topic here?
-
5I would say this: If it's about the logic, or mathematics.. Post it to mathSE. If then, you're stuck with the coding when you put it all into practice, then SO will be your friend. You might find that posting it on math.se - People will be able to offer you some coding examples– PhorceCommented Sep 25, 2014 at 7:39
-
1@user1326876 I think questions asked for code example are off-topic on MathSE.– St.AntarioCommented Sep 25, 2014 at 10:49
1 Answer
The study of mathematical models of computation processes is a branch (if not the essence) of computer science. You can ask questions about computer science on Computer Science Stack Exchange.
Questions about programming in Java are off-topic on Computer Science, they belong on Stack Overflow. Questions about the semantics of Java are fully on-topic on Computer Science (and may or may not be ok for Stack Overflow). As a rule of thumb, if you want to include mathematical notation in your question, it's probably off-topic for SO and a good fit for CS.SE. General questions about the JMM are probably a better fit for CS.SE; questions asking for code examples may straddle the border.
If your question is purely about set theory and never mentions Java or other programming topics, it's off-topic for Computer Science, but on-topic on Mathematics Stack Exchange.
-
There is also Theoretical Computer Science.SE for pure-math questions. Commented Sep 26, 2014 at 13:25
-
15@user11153 No, Theoretical Computer Science is not for pure math questions. It is for research-level questions about theoretical computer science. If you don't know whether your question might be suitable there, it's not. Commented Sep 26, 2014 at 13:28