Institute for Software Research
School of Computer Science, Carnegie Mellon University


The Plaid Language: Typed Core Specification
Version 0.4.0

Jonathan Aldrich, Nels E. Beckman, Robert Bocchino, Karl Naden,
Darpan Saini, Sven Stork, Joshua Sunshine

March 2012


Keywords: Programming language, typestate, Plaid, gradual typing, permissions

Plaid is an object oriented programming language built on two paradigms. First, Plaid is typestate-oriented. Programmers can directly encode the abstract states of objects and use the state change operator to change the state, interface, and representation of an object at runtime. Second, Plaid'ss type system is permission-based. The type of each reference includes an access permission which dictates how the reference can be used and characterizes the permissions to other aliases of the same object. Plaid leverages permissions when tracking the abstract state of references during typechecking. Permissions are also used to infer code that can be safely run in parallel. This document defines the core of the Plaid language, including its source syntax, the semantics of operations involving abstract states, and a type system.

16 pages

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by