Weighted Pushdown Systems with Indexed Weight Domains

DOI10.1007/978-3-642-36742-7_17zbMATH Open1381.68176OpenAlexW122790720MaRDI QIDQ5326328FDOQ5326328

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

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
• Decidable weighted expressions with Presburger combinators
• Decidable weighted expressions with Presburger combinators

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Average stack cost of Büchi pushdown automata
• Analyzing pushdown systems with stack manipulation
• Weighted pushdown systems with indexed weight domains

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)