Type-based amortized resource analysis with integers and arrays (Q5371954): Difference between revisions

@@ Property / describes a project that uses @@
+LPbook
@@ Property / describes a project that uses: LPbook / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Inference of Resource Consumption Bounds
+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 @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
+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 @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+Amortized Resource Analysis with Polynomial Potential
+Normal rank
@@ Property / cites work @@
+Type-Based Amortized Resource Analysis with Integers and Arrays
+Normal rank
@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Arrangements on chessboards
@@ Property / cites work: Arrangements on chessboards / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis in Disjunctive Numerical Domains
@@ Property / cites work: Static Analysis in Disjunctive Numerical Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Linear programming. Foundations and extensions
@@ Property / cites work: Linear programming. Foundations and extensions / rank @@
+Normal rank