Summary: Modular Composition and State Update in Plaid
Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
aldrich@cs.cmu.edu
Karl Naden
School of Computer Science
Carnegie Mellon University
kbn@cs.cmu.edu
Éric Tanter
PLEIAD Laboratory
Computer Science
Department (DCC)
University of Chile
etanter@dcc.uchile.cl
ABSTRACT
At the core of the Plaid typestate-oriented programming
language is the ability to change the representation of an
object at run-time. As such, the semantics of the state
change operation impact how Plaid programs are structured

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

Collections: Computer Technologies and Information Sciences