Resource Analysis by Sup-interpretation
From MaRDI portal
Publication:3434631
DOI10.1007/11737414_12zbMath1185.68226OpenAlexW1492460849MaRDI QIDQ3434631
Romain Péchoux, Jean-Yves Marion
Publication date: 2 May 2007
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00000661v2/file/fullpaper.pdf
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
On quasi-interpretations, blind abstractions and implicit complexity ⋮ A Characterization of NC k by First Order Functional Programs ⋮ Proving Quadratic Derivational Complexities Using Context Dependent Interpretations ⋮ Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis ⋮ Automated Implicit Computational Complexity Analysis (System Description) ⋮ Quasi-interpretations. A way to control resources ⋮ Real or natural number interpretation and their effect on complexity
This page was built for publication: Resource Analysis by Sup-interpretation
