Skip to main content
Software Engineering

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

15
  • 58
    look up the halting problem. It's the grandfather of why the question of "Can't a compiler figure out if a program does X?" is always answered with "Not in the general case." Commented Mar 7, 2016 at 11:50
  • 18
    Memory (and resource locks) are returned to the OS at deterministic points during a program's execution. No. Commented Mar 7, 2016 at 11:56
  • 9
    @ratchetfreak Thanks, it's not ever knowing stuff like this halting problem that makes me wish I got my degree in comp sci instead of chemistry. Commented Mar 7, 2016 at 12:06
  • 16
    @zelcon5, you now know about chemistry and the halting problem... :) Commented Mar 7, 2016 at 12:06
  • 7
    @Euphoric unless you structure your program so the boundaries of when a resource is used is very clear like with RAII or try-with-resources Commented Mar 7, 2016 at 12:12