|
|
|
|
|
|
by capableweb
1379 days ago
|
|
|
Yes, there is more to it. "Soundness" is a specific term in computer science regarding a program being unable to end up in a invalid state. Usually used in type systems to describe a type system that makes your program unable to be "wrong". The idea of "soundness" is based on this seminal paper: https://courses.engr.illinois.edu/cs421/sp2013/project/milne... |
|
|