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.