Q5111324 (Q5111324): Difference between revisions

@@ Property / describes a project that uses @@
+ABC
@@ Property / describes a project that uses: ABC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+Amortised Resource Analysis with Separation Logic
@@ Property / cites work: Amortised Resource Analysis with Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing the complexity of functional programs: higher-order meets first-order
+Normal rank
@@ Property / cites work @@
+Automated higher-order complexity analysis
@@ Property / cites work: Automated higher-order complexity analysis / rank @@
+Normal rank
@@ Property / cites work @@
+ABC: Algebraic Bound Computation for Loops
@@ Property / cites work: ABC: Algebraic Bound Computation for Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Segment Abstraction for Worst-Case Execution Time Analysis
+Normal rank
@@ Property / cites work @@
+Refinement Types for Incremental Computational Complexity
+Normal rank
@@ Property / cites work @@
+Lightweight semiformal time complexity analysis for purely functional data structures
+Normal rank
@@ Property / cites work @@
+Denotational cost semantics for functional languages with inductive types
+Normal rank
@@ Property / cites work @@
+Resource Analysis of Complex Programs with Cost Equations
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Towards automatic resource bound analysis for OCaml
+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 @@
+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 @@
+Amortised Resource Analysis and Typed Polynomial Interpretations
+Normal rank
@@ Property / cites work @@
+Multivariate Amortised Resource Analysis for Term Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Efficient Type-Checking for Amortised Heap-Space Analysis
+Normal rank
@@ Property / cites work @@
+Static determination of quantitative resource usage for higher-order programs
+Normal rank
@@ Property / cites work @@
+Linear Dependent Types and Relative Completeness
@@ Property / cites work: Linear Dependent Types and Relative Completeness / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of types
@@ Property / cites work: The geometry of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111324
@@ Property / cites work: Q5111324 / rank @@
+Normal rank
@@ Property / cites work @@
+Contract-based resource verification for higher-order functions with memoization
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing innermost runtime complexity of term rewriting by dependency pairs
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and resource bound analysis of imperative programs using difference constraints
+Normal rank
@@ Property / cites work @@
+Q2729060
@@ Property / cites work: Q2729060 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5111324