|
|
|
|
|
|
by eru
4843 days ago
|
|
|
> It's impossible to have a static decision procedure about dynamic properties of programs, such as the size of dynamically allocated memory areas (Rice's theorem). You can not have a general procedure, but with the help of the programmer / user of the compiler, you can prove all kinds of things. |
|
|