COSTA
From MaRDI portal
Cited in
(28)- On the number of singularities, zero curvature points and vertices of a simple convex space curve
- Automatic inference of resource consumption bounds
- Existence and multiplicity of solutions for semilinear elliptic systems
- On the termination of integer loops
- A non-deterministic view on non-classical negations
- Multiple solutions of boundary value problems: An elementary approach via the shooting method
- A framework for computing finite SLD trees
- A Hoare logic for energy consumption analysis
- Efficient Type-Checking for Amortised Heap-Space Analysis
- Locally regular coloured graphs
- Critical point theorems and applications to a semilinear elliptic problem
- Comparing cost functions in resource analysis
- Automatic type inference for amortised heap-space analysis
- SPEED
- COSTABS
- DPPD
- ResAna
- SACO
- Refal
- Amortised resource analysis with separation logic
- Analysis of executable software models
- Mining supervised classification performance studies: a meta-analytic investigation
- Validating timed models of deployment components with parametric concurrency
- Ranking functions for linear-constraint loops
- Closed-form upper bounds in static cost analysis
- Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs
- A type-based complexity analysis of object oriented programs
- scientific article; zbMATH DE number 7453196 (Why is no real title available?)
This page was built for software: COSTA
