TiML
From MaRDI portal
swMATH27564MaRDI QIDQ39280FDOQ39280
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?doid=3152284.3133903
Cited In (16)
- Denotational semantics as a foundation for cost recurrence extraction for functional languages
- ATLAS: automated amortised complexity analysis of self-adjusting data structures
- Synthesis with asymptotic resource bounds
- For a few dollars more. Verified fine-grained algorithm analysis down to LLVM
- Runtime complexity analysis of logically constrained rewriting
- ABC
- Ctrl
- ACE
- Amortized Complexity
- Landau Symbols
- Median-of-Medians
- Auto2_Imperative_HOL
- Verifying asymptotic time complexity of imperative programs in Isabelle
- TcT
- Relational cost analysis in a functional-imperative setting
- Type-based analysis of logarithmic amortised complexity
This page was built for software: TiML
