Type State

Typestate analysis

Typestate analysis is a form of program analysis used in object-oriented languages to define valid sequences of operations that can be performed on an instance of a given type. It is used to enforce semantically valid sequences such as "open then close" and can represent resources like files, transactions, connections and protocols. It was introduced by Rob Strom in 1983 and has been further developed in recent years.

1 courses cover this concept

CS 242 Programming Languages

Stanford University

Fall 2022

Stanford University's CS 242 teaches the basics of programming language theory, its applications, and future trends. It focuses on the practical and theoretical understanding of programming languages, covering typed lambda calculus, state, monads, and more.

No concepts data

+ 15 more concepts