Cost analysis of object-oriented bytecode programs (Q764297): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2011.07.009
@@ Property / DOI: 10.1016/j.tcs.2011.07.009 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+net.datastructures
@@ Property / describes a project that uses: net.datastructures / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PPL
@@ Property / describes a project that uses: PPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PURRS
@@ Property / describes a project that uses: PURRS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BoogiePL
@@ Property / describes a project that uses: BoogiePL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ciao
@@ Property / describes a project that uses: Ciao / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACE
@@ Property / describes a project that uses: ACE / 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.1016/j.tcs.2011.07.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2094712524
@@ Property / OpenAlex ID: W2094712524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907046
@@ Property / cites work: Q3907046 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational power of pushdown automata
@@ Property / cites work: On the computational power of pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Cost Functions in Resource Analysis
@@ Property / cites work: Comparing Cost Functions in Resource Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-form upper bounds in static cost analysis
@@ Property / cites work: Closed-form upper bounds in static cost analysis / rank @@
+Normal rank
@@ Property / cites work @@
+From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
+Normal rank
@@ Property / cites work @@
+More Precise Yet Widely Applicable Cost Analysis
@@ Property / cites work: More Precise Yet Widely Applicable Cost Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time
+Normal rank
@@ Property / cites work @@
+Automated higher-order complexity analysis
@@ Property / cites work: Automated higher-order complexity analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Abstraction for Intervals Using Boolean Formulae
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Long-run cost analysis by approximation of linear operators over dioids
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Resource bound certification
@@ Property / cites work: Resource bound certification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4446073
@@ Property / cites work: Q4446073 / rank @@
+Normal rank
@@ Property / cites work @@
+A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
+Normal rank
@@ Property / cites work @@
+Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4671219
@@ Property / cites work: Q4671219 / rank @@
+Normal rank
@@ Property / cites work @@
+Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A Naïve Time Analysis and its Theory of Cost Equivalence
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical program analysis
@@ Property / cites work: Mechanical program analysis / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2011.07.009
@@ Property / DOI: 10.1016/J.TCS.2011.07.009 / rank @@
+Normal rank