Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,539,892 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.
Highly Cited
2013
Highly Cited
2013
3D modeling and simulation of 2G HTS stacks and coils
V. Zermeño
,
F. Grilli
2013
Corpus ID: 118514357
Use of 2G HTS coated conductors in several power applications has become popular in recent years. Their large current density…
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
2012
Highly Cited
2012
Efficient Malware Detection Using Model-Checking
Fu Song
,
Tayssir Touili
World Congress on Formal Methods
2012
Corpus ID: 2732346
Over the past decade, malware costs more than $10 billion every year and the cost is still increasing. Classical signature-based…
Expand
Highly Cited
2000
Highly Cited
2000
Model Checking CTL Properties of Pushdown Systems
I. Walukiewicz
Foundations of Software Technology and…
2000
Corpus ID: 16200892
A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given…
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
1982
Highly Cited
1982
Scheduling of Parallel Computation for a Computer-Controlled Mechanical Manipulator
J. Luh
,
C. Lin
IEEE Transactions on Systems, Man and Cybernetics
1982
Corpus ID: 206788468
The physical compactness of the microcomputer has made it feasible to mount the controller and the mechanical manipulator…
Expand
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
1972
Highly Cited
1972
Abstract families of matrices and picture languages
Gift Siromoney
,
R. Siromoney
,
K. Krithivasan
Computer Graphics and Image Processing
1972
Corpus ID: 45201822
Highly Cited
1969
Highly Cited
1969
Full AFLs and Nested Iterated Substitution
S. Greibach
Information and Control
1969
Corpus ID: 45599561
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