Skip to search formSkip to main contentSkip to account menu

Stack (abstract data type)

Known as: Stack (programming), Pushing and popping, Push and pop 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
AMD Am29000Abstract data typeArray data structureAssociation list

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
PoMMaDe: pushdown model-checking for malware detection
We present PoMMaDe, a Pushd own Model-checking based M alware D etector. In PoMMaDe, a binary program is modeled as a pushdown… 
2012
2012
On the Significance of the Collapse Operation
  • P. Parys
  • 27th Annual IEEE Symposium on Logic in Computer…
  • 2012
  • Corpus ID: 15189918
We show that deterministic collapsible pushdown automata of second level can recognize a language which is not recognizable by… 
2012
2012
Monitoring permafrost environments with InSAR and polarimetry, case studies from Canada
The status of permafrost is important for northern environmental and infrastructure monitoring. The use of D-InSAR for large area… 
2010
2010
Real-time megapixel multispectral bioimaging
Spectral imaging involves capturing images at multiple wavelengths resulting in a data cube (x, y, λ) that allows materials to be… 
2010
2010
Linear Orders in the Pushdown Hierarchy
We investigate the linear orders belonging to the pushdown hierarchy. Our results are based on the characterization of the… 
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL… 
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
1986
1986
Parallel RAMs with Owned Global Memory and Deterministic Context-Free Language Recognition (Extended Abstract)
We identify and study a frequently occurring subclass of Concurrent-Read, Exclusive-Write Parallel Random Access Machines (CREW… 
Highly Cited
1982
Highly Cited
1982
Scheduling of Parallel Computation for a Computer-Controlled Mechanical Manipulator
The physical compactness of the microcomputer has made it feasible to mount the controller and the mechanical manipulator… 
1972
1972
Program Schemes with Pushdown Stores
We attempt to characterize classes of schemes allowing pushdown stores, building on an earlier work by Constable and Gries [1… 
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)