Weighted Pushdown Systems with Indexed Weight Domains
From MaRDI portal
Publication:5326328
Recommendations
- Weighted pushdown systems with indexed weight domains
- Computer Aided Verification
- scientific article; zbMATH DE number 2090847
- Weighted pushdown systems and their application to interprocedural dataflow analysis
- Program Analysis Using Weighted Pushdown Systems
- Weighted restarting automata and pushdown relations
- Weighted Restarting Automata and Pushdown Relations
- A decidable recursive logic for weighted transition systems
Cited in
(4)
This page was built for publication: Weighted Pushdown Systems with Indexed Weight Domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326328)