Type Systems

Authored by: Weirich Stephanie

Computing Handbook

Print publication date:  May  2014
Online publication date:  May  2014

Print ISBN: 9781439898529
eBook ISBN: 9781439898536
Adobe ISBN:


 Download Chapter



Many modern programming languages come equipped with type systems, which ensure that programs are free from certain classes of execution errors. For example, type systems prevent buffer overruns, invalid code execution, and memory accesses to protected data. In general, type systems describe invariants that all programs must satisfy. They are a valuable component for program development, assisting in the creation of correct, secure, and robust systems.

Search for more...
Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.