Complexity

Reference:

References:

[1] Static Program Analysis, Anders Moller, and Micheal I. Schwartzbach, 2018.

Questions/Proposals

  • To decide whether any given a program will halt or not is undecidable. However, there are many programs (probably small or large) that we already know it will halt, or will never halt. How many are there? What is the common feature of these programs? Could we statically describe some (not all) of them?
Created Jul 30, 2019 // Last Updated May 18, 2021

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?