A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages

  title={A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages},
  author={Shahram Esmaeilsabzali and Rupak Majumdar and Thomas Wies and Damien Zufferey},
Programmers using software components have to follow proto cols that specify when it is legal to call particular methods with particular arguments. For example, one cannot use an iterator over a set once the set as been changed directly or through another iterator. We formalize the noti on of dynamic package interfaces(DPI), which generalize state-machine interfaces for sing le objects, and give an algorithm to statically compute a sound abstract ion of a DPI. States of a DPI represent… CONTINUE READING
This paper has been referenced on Twitter 2 times. VIEW TWEETS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…