WebList of computer science publications by David Cachera. You have a passion for computer science and you are driven to make a difference in the research community? WebSearch within David Cachera's work. Search Search. Home; David Cachera
Long-Run Cost Analysis by Approximation of Linear Operators
WebDavid Cachera's research works French National Centre for Scientific Research, Paris (CNRS) and other places David Cachera's research while affiliated with French National … WebWe present a certified algorithm for resource usage analysis, applicable to languages in the style of Java byte code. The algorithm verifies that a program executes in bounded memory. The algorithm is destined to be used in the development process of applets and for enhanced byte code verification on embedded devices. cnpj gdsun
Embedding of Systems of Affine Recurrence Equations in Coq
WebNov 30, 2024 · Contextual refinement is a compositional approach to compositional verification of concurrent objects. There has been much work designing program logics to prove the contextual refinement between the object implementation and its abstract specification. However, these program logics for contextual refinement verification … WebSep 7, 2024 · I investigated with David Cachera numerical methods to infer polynomial inequalities as program invariants. A report may be found here. I did a ten-months … WebJun 26, 2010 · Authors:David Cachera, Arnaud Jobin Download PDF Abstract:We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs. The dioid structure of the set of tass time keeping