scientific article; zbMATH DE number 7204445
From MaRDI portal
Publication:5111324
Recommendations
- Type-based amortized resource analysis with integers and arrays
- Type-based amortized resource analysis with integers and arrays
- Towards automatic resource bound analysis for OCaml
- Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
- Multivariate amortized resource analysis
Cites work
- scientific article; zbMATH DE number 1629948 (Why is no real title available?)
- scientific article; zbMATH DE number 7204445 (Why is no real title available?)
- scientific article; zbMATH DE number 2238212 (Why is no real title available?)
- ABC: algebraic bound computation for loops
- Amortised resource analysis and typed polynomial interpretations
- Amortised resource analysis with separation logic
- Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs
- Analysing the complexity of functional programs: higher-order meets first-order
- Analyzing innermost runtime complexity of term rewriting by dependency pairs
- Automated higher-order complexity analysis
- Complexity and resource bound analysis of imperative programs using difference constraints
- Contract-based resource verification for higher-order functions with memoization
- Cost analysis of object-oriented bytecode programs
- Denotational cost semantics for functional languages with inductive types
- Efficient Type-Checking for Amortised Heap-Space Analysis
- Lightweight semiformal time complexity analysis for purely functional data structures
- Linear dependent types and relative completeness
- Multivariate amortised resource analysis for term rewrite systems
- Multivariate amortized resource analysis
- Programming Languages and Systems
- Refinement types for incremental computational complexity
- Resource analysis of complex programs with cost equations
- SPEED: precise and efficient static estimation of program computational complexity
- Segment Abstraction for Worst-Case Execution Time Analysis
- Static determination of quantitative resource usage for higher-order programs
- Static prediction of heap space usage for first-order functional programs
- The geometry of types
- Towards automatic resource bound analysis for OCaml
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
- Type-based amortized resource analysis with integers and arrays
- Typed Lambda Calculi and Applications
Cited in
(6)- scientific article; zbMATH DE number 7204445 (Why is no real title available?)
- Two decades of automatic amortized resource analysis
- Relational cost analysis in a functional-imperative setting
- Exponential automatic amortized resource analysis
- Type-based amortized resource analysis with integers and arrays
- Type-based amortized resource analysis with integers and arrays
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111324)
