Polynomial Size Analysis of First-Order Functions

DOI10.1007/978-3-540-73228-0_25zbMath1163.68316arXiv0902.2073OpenAlexW1568405722MaRDI QIDQ3612643

Olha Shkaravska, Ron van Kesteren, Marko van Eekelen

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0902.2073

zbMATH Keywords

Diophantine equationstype checkingshapely functionssize analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials ⋮ Inferring Static Non-monotone Size-aware Types Through Testing

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