Type soundness

From Wikipedia, the free encyclopedia

In computer science, a programming language with a static type system is considered to have type soundness if a well-typed program cannot cause type errors. [1]

[edit] See also

[edit] References

  1. ^ Adrew K. Wright and Matthias Felleisen (June 18, 1992), A Syntactic Approach to Type Soundness, Rice Technical Report TR91-160, Department of Computer Science, Rice University.
Software spanner This software engineering-related article is a stub. You can help Wikipedia by expanding it.