Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

DOI10.1007/978-3-642-00596-1_31MaRDI QIDQ3617746zbMATH OpenOpenAlexFDO

Authors Morten Kühnrich, Stefan Schwoon, Stefan Kiefer, Jiří Srba

Publication date 31 March 2009

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00596-1_31

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algebraic theory of languages and automata (68Q70)

Recommendations

• Scientific article; zbMATH DE number 2090847
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• Newtonian program analysis
• Newtonian program analysis -- an introduction
• Newton’s Method for ω-Continuous Semirings

Cites work

• scientific article; zbMATH DE number 1670780 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Accelerated Data-Flow Analysis
• An Extension of Newton’s Method to ω-Continuous Semirings
• Complexity Results on Balanced Context-Free Languages
• Formal properties of XML grammars and languages
• Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
• Newton’s Method for ω-Continuous Semirings
• On Fixed Point Equations over Commutative Semirings
• Precise Fixpoint Computation Through Strategy Iteration
• Program Analysis Using Weighted Pushdown Systems
• Programming Languages and Systems
• Rewriting Models of Boolean Programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Weighted pushdown systems and their application to interprocedural dataflow analysis
• XML Validation for Context-Free Grammars

Cited in

(1)

• Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Describes a project that uses

Uses Software

• jMoped

This page was built for publication: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617746)