|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Third International Conference on Information Technology: New Generations (ITNG'06)
On History-Sensitive Models of Interactive Stacks
Las Vegas, Nevada
April 10-April 12
ISBN: 0-7695-2497-4
| ASCII Text | x | ||
| Walter Dosch, "On History-Sensitive Models of Interactive Stacks," Information Technology: New Generations, Third International Conference on, pp. 96-103, Third International Conference on Information Technology: New Generations (ITNG'06), 2006. | |||
| BibTex | x | ||
| @article{ 10.1109/ITNG.2006.101, author = {Walter Dosch}, title = {On History-Sensitive Models of Interactive Stacks}, journal ={Information Technology: New Generations, Third International Conference on}, volume = {0}, year = {2006}, isbn = {0-7695-2497-4}, pages = {96-103}, doi = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2006.101}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Information Technology: New Generations, Third International Conference on TI - On History-Sensitive Models of Interactive Stacks SN - 0-7695-2497-4 SP96 EP103 A1 - Walter Dosch, PY - 2006 KW - null VL - 0 JA - Information Technology: New Generations, Third International Conference on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ITNG.2006.101
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.
Citation:
Walter Dosch, "On History-Sensitive Models of Interactive Stacks," itng, pp.96-103, Third International Conference on Information Technology: New Generations (ITNG'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.