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
Decidability of DPDA Language Equivalence via First-Order Grammars
  • P. Jančar
  • 27th Annual IEEE Symposium on Logic in Computer…
  • 2012
  • Corpus ID: 1467306
Decidability of language equivalence of deterministic pushdown automata (DPDA) was established by G. Senizergues (1997), who thus… 
2009
2009
Games on Multi-stack Pushdown Systems
Bounded phase multi-stack pushdown automata have been studied recently. In this paper we show that parity games over bounded… 
2008
2008
Modeling and Discovery of Data Providing Services
Web Services providing access to datasources with structured data have an important place in the SOA. In this paper we focus on… 
2005
2005
The XML stream query processor SPEX
Data streams are an emerging technology for data dissemination in cases where the data throughput or size makes it unfeasible to… 
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… 
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… 
1976
1976
A Note on the Succinctness of Descriptions of Deterministic Languages
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)