loading...
On History-Sensitive Models of Interactive Stacks
Las Vegas, Nevada April 10-April 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ITNG.2006.101Third International Conference on Inf ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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 -
 
Walter Dosch, University of Lubeck, Germany
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.