Scope-Bounded Pushdown Languages
From MaRDI portal
Publication:5891814
DOI10.1007/978-3-319-09698-8_11zbMath1345.68211OpenAlexW2541461689MaRDI QIDQ5891814
Gennaro Parlato, Salvatore La Torre, Margherita Napoli
Publication date: 14 October 2014
Published in: Developments in Language Theory (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/365361/1/DLT14.pdf
Related Items (9)
Realizability of concurrent recursive programs ⋮ Ordered multi-stack visibly pushdown automata ⋮ Automata and Logics for Concurrent Systems: Five Models in Five Pages ⋮ On the path-width of integer linear programming ⋮ Context-Bounded Analysis of TSO Systems ⋮ Decidable models of integer-manipulating programs with recursive parallelism ⋮ A Perfect Class of Context-Sensitive Timed Languages ⋮ Digging input-driven pushdown automata ⋮ Unnamed Item
This page was built for publication: Scope-Bounded Pushdown Languages
