Resource Analysis by Sup-interpretation
From MaRDI portal
Publication:3434631
DOI10.1007/11737414_12zbMath1185.68226MaRDI 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
68N18: Functional programming and lambda calculus
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Quasi-interpretations. A way to control resources, Real or natural number interpretation and their effect on complexity, 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)