R
Romain Péchoux
Researcher at École nationale supérieure des mines de Nancy
Publications - 4
Citations - 47
Romain Péchoux is an academic researcher from École nationale supérieure des mines de Nancy. The author has contributed to research in topics: Modular design & Modularity (networks). The author has an hindex of 3, co-authored 4 publications receiving 47 citations.
Papers
More filters
Journal ArticleDOI
Sup-interpretations, a semantic method for static analysis of program resources
Jean-Yves Marion,Romain Péchoux +1 more
TL;DR: The sup-interpretation method is proposed as a new tool to control memory resources of first order functional programs with pattern matching by static analysis in order to increase the intensionality of a previous method, the quasi-interpretations.
Book ChapterDOI
Quasi-interpretation synthesis by decomposition an application to higher-order programs
TL;DR: This paper tackles the issue of program decomposition wrt quasi-interpretations analysis and uses the notion of modularity to study the modularity of quasi- interpretations through the notions of constructor-sharing and hierarchical unions of programs.
Book ChapterDOI
A characterization of NC k by first order functional programs
Jean-Yves Marion,Romain Péchoux +1 more
TL;DR: In this article, the authors present intrinsic characterizations of the classes of functions, which are computable in NCk, that is by a uniform, poly-logarithmic depth and polynomial size family of circuits, using first order functional programs.
Modularity of the Quasi-interpretations Synthesis and an Application to Higher-Order Programs
TL;DR: This paper takes advantage of modularity condi- tions to extend smoothly quasi-interpretations to higher order programs and shows that in the case of constructor-sharing and hierarchical unions, the existence of quasi- interpreting is no longer a modular property, however, it can still certify the complexity of programs.