The following pages link to Romain Péchoux (Q1640982):
Displaying 27 items.
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- Synthesis of sup-interpretations: a survey (Q1935778) (← links)
- On the efficiency of normal form systems for representing Boolean functions (Q1989340) (← links)
- Polynomial time over the reals with parsimony (Q2039933) (← links)
- \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs (Q2119987) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Characterizing polynomial time complexity of stream programs using interpretations (Q2346991) (← links)
- Sup-interpretations, a semantic method for static analysis of program resources (Q2946584) (← links)
- Algebras and coalgebras in the light affine Lambda calculus (Q2981949) (← links)
- Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity (Q3060741) (← links)
- (Q3165969) (← links)
- Resource Analysis by Sup-interpretation (Q3434631) (← links)
- Objects in Polynomial Time (Q3459427) (← links)
- A Characterization of NC k by First Order Functional Programs (Q3502640) (← links)
- Quasi-interpretation Synthesis by Decomposition (Q3525100) (← links)
- Upper Bounds on Stream I/O Using Semantic Interpretations (Q3644754) (← links)
- Higher order interpretation for higher order complexity (Q4645740) (← links)
- Type-Based Complexity Analysis for Fork Processes (Q4910427) (← links)
- (Q5094117) (← links)
- (Q5141617) (← links)
- (Q5144355) (← links)
- A tier-based typed programming language characterizing Feasible Functionals (Q5145661) (← links)
- A Characterization of Alternating Log Time by First Order Functional Programs (Q5387886) (← links)
- Complexity Information Flow in a Multi-threaded Imperative Language (Q5410639) (← links)
- A Categorical Treatment of Malicious Behavioral Obfuscation (Q5410650) (← links)
- Global and Local Space Properties of Stream Programs (Q5747630) (← links)
- Quantum expectation transformers for cost analysis (Q6649439) (← links)