Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (Q3617746): Difference between revisions

@@ Property / author @@
-Jiří Srba
@@ Property / author: Jiří Srba / rank @@
-Normal rank
@@ Property / author @@
+Jiří Srba
@@ Property / author: Jiří Srba / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+jMoped
@@ Property / describes a project that uses: jMoped / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-00596-1_31
+Normal rank
@@ Property / OpenAlex ID @@
+W1648568813
@@ Property / OpenAlex ID: W1648568813 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal properties of XML grammars and languages
@@ Property / cites work: Formal properties of XML grammars and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Models of Boolean Programs
@@ Property / cites work: Rewriting Models of Boolean Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754086
@@ Property / cites work: Q2754086 / rank @@
+Normal rank
@@ Property / cites work @@
+An Extension of Newton’s Method to ω-Continuous Semirings
+Normal rank
@@ Property / cites work @@
+On Fixed Point Equations over Commutative Semirings
+Normal rank
@@ Property / cites work @@
+Newton’s Method for ω-Continuous Semirings
@@ Property / cites work: Newton’s Method for ω-Continuous Semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Accelerated Data-Flow Analysis
@@ Property / cites work: Accelerated Data-Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+XML Validation for Context-Free Grammars
@@ Property / cites work: XML Validation for Context-Free Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Analysis Using Weighted Pushdown Systems
@@ Property / cites work: Program Analysis Using Weighted Pushdown Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted pushdown systems and their application to interprocedural dataflow analysis
+Normal rank
@@ Property / cites work @@
+Complexity Results on Balanced Context-Free Languages
+Normal rank