Changing state in the plaid language

Authors:
Joshua Sunshine;Sven Stork;Karl Naden;Jonathan Aldrich
Affiliations:
Carnegie Mellon University, Pittsburgh, PA, USA;Carnegie Mellon University, Pittsburgh, PA, USA & University of Coimbra, Coimbra, Portugal;Carnegie Mellon University, Pittsburgh, PA, USA;Carnegie Mellon University, Pittsburgh, PA, USA
Venue:
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Year:
2011

Citing 3
Cited 0

Lightweight object specification with typestates

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Typestate-oriented programming

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
An empirical study of object protocols in the wild

Proceedings of the 25th European conference on Object-oriented programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Plaid is a language in which objects are defined not by fixed classes, but by changing abstract states. We will overview he Plaid programming language through a series of examples drawing from domains like I/O code and web applications. Attendees will write Plaid code and experience its benefits.