Fri 9 Nov 2018 13:30 - 14:00 at Spring Lake - Afternoon talks Chair(s): Robert Dyer

The programmers utilize APIs provided by frameworks and libraries to avoid reinventing the wheel and API specifications aid them to fully understand and adequately use these APIs. This paper introduces "contract-based typestate specifications", a new kind ofspecification for documenting programs. Prior work has focused on two kinds of specifications, namely behavioral and temporal specifications. These specifications either target the constraints of API method invocations or, the usage order of API methods to ensure normal behavior. Consequentially, these two types of specifications are treated independently. Another challenge for these state-of-art specifications lies in the form of limited expressiveness to the designers’ intention, as these are unable to demonstrate all the valid choices under same or different constraints. Contract-based typestate specifications capture the essence of behavioral and temporal specifications, yet provide better understanding and ensure valid API usage as required by context, thus providing flexibility of usage.

Fri 9 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 14:30
Afternoon talksWASPI at Spring Lake
Chair(s): Robert Dyer Bowling Green State University
On the Significance of Contract-Based Typestate Specification
Samantha Syeda Khairunnesa Iowa State University, Hoan Anh Nguyen Iowa State University, USA, Hridesh Rajan Iowa State University
Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
Ryota Yamamoto Nagoya University, Norihiro Yoshida Nagoya University, Hiroaki Takada Nagoya University
DOI Pre-print