Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,276,776 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.
Review
2012
Review
2012
Spatial and temporal evolution of injected CO2 at the Sleipner Field, North Sea
F. Boait
,
N. White
,
M. Bickle
,
R. Chadwick
,
J. Neufeld
,
H. Huppert
2012
Corpus ID: 53362371
Time-lapse, three-dimensional (3D) seismic surveys have imaged an accumulation of injected CO$_{2}$ adjacent to the Sleipner…
Expand
Highly Cited
2012
Highly Cited
2012
Optimizing analytic data flows for multiple execution engines
A. Simitsis
,
K. Wilkinson
,
M. Castellanos
,
U. Dayal
SIGMOD Conference
2012
Corpus ID: 8662562
Next generation business intelligence involves data flows that span different execution engines, contain complex functionality…
Expand
Highly Cited
2012
Highly Cited
2012
Swarm testing
Alex Groce
,
Chaoqiang Zhang
,
E. Eide
,
Yang Chen
,
J. Regehr
International Symposium on Software Testing and…
2012
Corpus ID: 12178760
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased…
Expand
Highly Cited
2004
Highly Cited
2004
Formalizing sensitivity in static analysis for intrusion detection
H. Feng
,
Jonathon T. Giffin
,
Yong Huang
,
S. Jha
,
Wenke Lee
,
B. Miller
IEEE Symposium on Security and Privacy…
2004
Corpus ID: 7160539
A key function of a host-based intrusion detection system is to monitor program execution. Models constructed using static…
Expand
Highly Cited
1986
Highly Cited
1986
On Knowledge Base Management Systems
J. Mylopoulos
Topics in Information Systems
1986
Corpus ID: 28125800
This position statement examines briefly the purpose, nature and impact of Knowledge Base Management Systems and outlines a…
Expand
Highly Cited
1980
Highly Cited
1980
Complexity Results for Classes of Quantificational Formulas
H. R. Lewis
Journal of computer and system sciences (Print)
1980
Corpus ID: 35359770
Highly Cited
1974
Highly Cited
1974
Attributed Translations
P. M. Lewis
,
D. Rosenkrantz
,
R. Stearns
Journal of computer and system sciences (Print)
1974
Corpus ID: 5666321
Highly Cited
1973
Highly Cited
1973
Decision procedures for families of deterministic pushdown automata
L. Valiant
1973
Corpus ID: 35962406
The existence and complexity of decision procedures for families of deterministic pushdown automata are investigated, with…
Expand
Highly Cited
1971
Highly Cited
1971
Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
S. Cook
Journal of the ACM
1971
Corpus ID: 17737326
A class of machines called auxiliary pushdown machines is introduced. Several types of pushdown automata, including stack…
Expand
Highly Cited
1966
Highly Cited
1966
Turing Machines with Restricted Memory Access
P. C. Fischer
Information and Control
1966
Corpus ID: 40020778
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE