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