Polynomial Size Analysis of First-Order Shapely Functions
From MaRDI portal
Publication:3636810
DOI10.2168/LMCS-5(2:10)2009zbMath1163.68009MaRDI QIDQ3636810
Ron van Kesteren, Marko van Eekelen, Olha Shkaravska
Publication date: 30 June 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
type inferencepolynomial interpolationDiophantine equationstype checkingshapely functionssize analysis
Related Items (5)
A Hoare Logic for Energy Consumption Analysis ⋮ Univariate polynomial solutions of algebraic difference equations ⋮ A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation ⋮ Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials ⋮ Derivation and inference of higher-order strictness types
This page was built for publication: Polynomial Size Analysis of First-Order Shapely Functions
