Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,209,355 papers from all fields of science
Search
Sign In
Create Free Account
Stack (abstract data type)
Known as:
Stack (programming)
, Pushing and popping
, Push and pop
Expand
In computer science, a stack is an abstract data type that serves as a collection of elements, with two principal operations: push, which adds an…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
AMD Am29000
Abstract data type
Array data structure
Association list
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
First-Order Model Checking on Generalisations of Pushdown Graphs
Alexander Kartzow
arXiv.org
2011
Corpus ID: 19615184
We study the first-order model checking problem on two generalisations of pushdown graphs. The first class is the class of nested…
Expand
2007
2007
Decidability and optimality in pushdown control systems: A new approach to discrete event control
C. Griffin
2007
Corpus ID: 64159476
2006
2006
Determining Maximum Stack Usage in Preemptive Shared Stack Systems
Kaj Hänninen
,
Jukka Mäki-Turja
,
M. Bohlin
,
J. Carlson
,
Mikael Nolin
IEEE Real-Time Systems Symposium
2006
Corpus ID: 12338227
This paper presents a novel method to determine the maximum stack memory used in preemptive, shared stack, real-time systems. We…
Expand
2004
2004
Balanced Context-Free Grammars, Hedge Grammars and Pushdown Caterpillar Automata
Anne Brüggemann-Klein
,
D. Wood
Extreme Markup Languages®
2004
Corpus ID: 2521852
The XML community generally takes trees and hedges as the model for XML document instances and element content. In contrast…
Expand
2001
2001
Pushdown Automaton with the Ability to Flip its Stack
P. Sarkar
Electron. Colloquium Comput. Complex.
2001
Corpus ID: 41469463
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
R. Hayes
,
S. Sankar
1994
Corpus ID: 16317461
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL…
Expand
1978
1978
Automating the Selection of Implementation Structures
L. Rowe
,
F. Tonge
IEEE Transactions on Software Engineering
1978
Corpus ID: 1838009
An approach to automating the selection of implementations for the data representations used in a program is presented…
Expand
1972
1972
Program Schemes with Pushdown Stores
Steven Brown
,
D. Gries
,
T. G. Szymanski
SIAM journal on computing (Print)
1972
Corpus ID: 30616660
We attempt to characterize classes of schemes allowing pushdown stores, building on an earlier work by Constable and Gries [1…
Expand
1971
1971
High Level Languages of Maximum Power
H. Strong
Scandinavian Workshop on Algorithm Theory
1971
Corpus ID: 39751540
The high level languages here are simplified programming languages focussing attention on various facilities such as recursion…
Expand
1968
1968
Limited Random Access Turing Machines
M. Fischer
,
A. Rosenberg
Scandinavian Workshop on Algorithm Theory
1968
Corpus ID: 8514586
The model of an online multitape Turing machine is generalized by adding a bounded number of repositioning operations to the…
Expand