Weighted Pushdown Systems with Indexed Weight Domains

DOI10.1007/978-3-642-36742-7_17MaRDI QIDQ5326328zbMATH OpenOpenAlexFDO

Authors Yasuhiko Minamide

Publication date 5 August 2013

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100753030

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

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)

• Weighted pushdown systems with indexed weight domains
• scientific article; zbMATH DE number 2090847 (Why is no real title available?)
• Average stack cost of Büchi pushdown automata
• Analyzing pushdown systems with stack manipulation

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)