On History-Sensitive Models of Interactive Stacks

  • Walter Dosch
  • Published 2006 in
    Third International Conference on Information…


We model the behaviour of an interactive stack in the setting of history functions on different levels of abstraction. The component's internal state is systematically introduced as an abstraction of the input history. We explore different history abstractions and describe the corresponding history-sensitive models by state transition machines with input and output. The case study exemplifies a formal method how to derive history-sensitive implementations of interactive data structures in a correctness-preserving way

DOI: 10.1109/ITNG.2006.101

8 Figures and Tables

Cite this paper

@article{Dosch2006OnHM, title={On History-Sensitive Models of Interactive Stacks}, author={Walter Dosch}, journal={Third International Conference on Information Technology: New Generations (ITNG'06)}, year={2006}, pages={96-103} }