Polynomial Size Analysis of First-Order Shapely Functions

DOI10.2168/LMCS-5(2:10)2009MaRDI QIDQ3636810zbMATH OpenFDO

Authors Olha Shkaravska, Marko van Eekelen, Ron van Kesteren

Publication date 30 June 2009

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-5(2:10)2009

zbMATH Keywords

Diophantine equationspolynomial interpolationshapely functionssize analysistype checkingtype inference

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Polynomial Size Analysis of First-Order Functions
• Inferring static non-monotone size-aware types through testing
• Collected size semantics for strict functional programs over general polymorphic lists
• Calculating sized types
• Linear types and non-size-increasing polynomial time computation.

Cited in

(9)

• Derivation and inference of higher-order strictness types
• Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials
• Univariate polynomial solutions of algebraic difference equations
• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• A Hoare logic for energy consumption analysis
• Collected size semantics for strict functional programs over general polymorphic lists
• Polynomial Size Analysis of First-Order Functions
• Inferring static non-monotone size-aware types through testing
• Calculating sized types

This page was built for publication: Polynomial Size Analysis of First-Order Shapely Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636810)