Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100348531> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2100348531 abstract "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" @default.
- W2100348531 created "2016-06-24" @default.
- W2100348531 creator A5013482834 @default.
- W2100348531 date "2006-01-01" @default.
- W2100348531 modified "2023-09-27" @default.
- W2100348531 title "On History-Sensitive Models of Interactive Stacks" @default.
- W2100348531 cites W1530564612 @default.
- W2100348531 cites W1535347731 @default.
- W2100348531 cites W1553693026 @default.
- W2100348531 cites W1597755753 @default.
- W2100348531 cites W178638537 @default.
- W2100348531 cites W189544743 @default.
- W2100348531 cites W2005082107 @default.
- W2100348531 cites W2139361404 @default.
- W2100348531 cites W2141955344 @default.
- W2100348531 cites W3009953558 @default.
- W2100348531 cites W4246836 @default.
- W2100348531 cites W79986281 @default.
- W2100348531 doi "https://doi.org/10.1109/itng.2006.101" @default.
- W2100348531 hasPublicationYear "2006" @default.
- W2100348531 type Work @default.
- W2100348531 sameAs 2100348531 @default.
- W2100348531 citedByCount "1" @default.
- W2100348531 crossrefType "proceedings-article" @default.
- W2100348531 hasAuthorship W2100348531A5013482834 @default.
- W2100348531 hasConcept C111472728 @default.
- W2100348531 hasConcept C121332964 @default.
- W2100348531 hasConcept C124304363 @default.
- W2100348531 hasConcept C138885662 @default.
- W2100348531 hasConcept C168167062 @default.
- W2100348531 hasConcept C199360897 @default.
- W2100348531 hasConcept C26713055 @default.
- W2100348531 hasConcept C41008148 @default.
- W2100348531 hasConcept C48103436 @default.
- W2100348531 hasConcept C55439883 @default.
- W2100348531 hasConcept C80444323 @default.
- W2100348531 hasConcept C9395851 @default.
- W2100348531 hasConcept C97355855 @default.
- W2100348531 hasConceptScore W2100348531C111472728 @default.
- W2100348531 hasConceptScore W2100348531C121332964 @default.
- W2100348531 hasConceptScore W2100348531C124304363 @default.
- W2100348531 hasConceptScore W2100348531C138885662 @default.
- W2100348531 hasConceptScore W2100348531C168167062 @default.
- W2100348531 hasConceptScore W2100348531C199360897 @default.
- W2100348531 hasConceptScore W2100348531C26713055 @default.
- W2100348531 hasConceptScore W2100348531C41008148 @default.
- W2100348531 hasConceptScore W2100348531C48103436 @default.
- W2100348531 hasConceptScore W2100348531C55439883 @default.
- W2100348531 hasConceptScore W2100348531C80444323 @default.
- W2100348531 hasConceptScore W2100348531C9395851 @default.
- W2100348531 hasConceptScore W2100348531C97355855 @default.
- W2100348531 hasLocation W21003485311 @default.
- W2100348531 hasOpenAccess W2100348531 @default.
- W2100348531 hasPrimaryLocation W21003485311 @default.
- W2100348531 hasRelatedWork W1504651774 @default.
- W2100348531 hasRelatedWork W1522809628 @default.
- W2100348531 hasRelatedWork W1759303344 @default.
- W2100348531 hasRelatedWork W1984757784 @default.
- W2100348531 hasRelatedWork W1985198438 @default.
- W2100348531 hasRelatedWork W2083338789 @default.
- W2100348531 hasRelatedWork W2213292594 @default.
- W2100348531 hasRelatedWork W2379533788 @default.
- W2100348531 hasRelatedWork W3022452059 @default.
- W2100348531 hasRelatedWork W4238823939 @default.
- W2100348531 isParatext "false" @default.
- W2100348531 isRetracted "false" @default.
- W2100348531 magId "2100348531" @default.
- W2100348531 workType "article" @default.