Program Schemes With Pushdown Stores

SIAM Journal on Computing - United States
doi 10.1137/0201017
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Society for Industrial & Applied Mathematics (SIAM)

Related search

Collapsible Pushdown Automata and Recursion Schemes

Proceedings - Symposium on Logic in Computer Science
MathematicsSoftware
2008English

Primitive Program Schemes With Procedures

Modeling and Analysis of Information Systems
2014English

Visibly Pushdown Transducers With Look-Ahead

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Pushdown Module Checking With Imperfect Information

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Concurrent Program Schemes and Their Interpretations

DAIMI Report Series
1977English

Visibly Pushdown Languages

2004English

Improving Pushdown System Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Pushdown Control-Flow Analysis for Free

ACM SIGPLAN Notices
Computer Science
2016English

Asynchronously Communicating Visibly Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy