Types

This chapter introduces types into IMP, first a traditional programming language type system, then more sophisticated type systems for information flow analysis. Why bother with types? Because they prevent mistakes. They are a simple, automatic way to find obvious problems in programs before these p...

Full description

Saved in:
Bibliographic Details
Published inConcrete Semantics pp. 115 - 142
Main Authors Nipkow, Tobias, Klein, Gerwin
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2014
Springer International Publishing
Subjects
Boolean Expression
Computer programming / software development
Covert Channel
Mathematical theory of computation
Programming & scripting languages: general
Security Level
Type System
Typing Rule
Online AccessGet full text
ISBN3319105418
9783319105413
DOI10.1007/978-3-319-10542-0_9

Cover

More Information
Summary:This chapter introduces types into IMP, first a traditional programming language type system, then more sophisticated type systems for information flow analysis. Why bother with types? Because they prevent mistakes. They are a simple, automatic way to find obvious problems in programs before these programs are ever run.
ISBN:3319105418
9783319105413
DOI:10.1007/978-3-319-10542-0_9