Species, Syntax and Semantics – SSS
The project S3 will develop new theoretical tools in order to obtain a fine understanding of resource usage by programs -- at the heart of complexity analysis and optimisation in programming languages. The major difficulty that we will address is the interaction between inputs which are single-use and those which are reusable. This is reminiscent of derivation in calculus, which provides a function with a linear argument from a function. This analogy has been made formal with the introduction of the differential lambda-calculus. We aim at pushing further our understanding of the computational and logical meaning of derivation (and integration!) in this context. The project gathers some of the most promising young researchers in semantics, programing languages and combinatorics, with the long term goal of establishing the foundations for a resource aware programing language, based on the most recent advances in quantitative semantics.
Project coordination
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
Partner
LIP6 Laboratoire d'informatique de Paris 6
Help of the ANR 150,612 euros
Beginning and duration of the scientific project:
March 2021
- 48 Months