Type soundness

Type soundness

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.

See also

References

Search another word or see Type soundnesson Dictionary | Thesaurus |Spanish
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature