Plural Protocol Checker Screen Capture Demo

This is a screen capture of the Plural modular object protocol checker for Java, an Eclipse plugin. (This type of static analysis tool is also known as a typestate checker.) Plural is based on the research of Kevin Bierhoff and Nels Beckman, and more information can be found on the project web site, http://code.google.com/p/pluralism/

Programmers use Plural by annotating their code with Java annotations which say both how the protocol that is defined by a class works, and how the different references in a program may alias. It is an open source program.

Category:

Science & Technology

Tags:

• computer science
• typestate
• static analysis
• aliasing
• research
• object oriented
• protocol
• java