Output details
11 - Computer Science and Informatics
Imperial College London
Output title
A Language for Differentiable Functions
Type
E - Conference contribution
Name of conference/published proceedings
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
Volume number
7794
Issue number
-
First page of article
337
ISSN of proceedings
-
Year of publication
2013
URL
-
Number of additional authors
1
Additional information
<08>Runner-up at ETAPS 2013 for the best paper award of the European Association for Programming Languages and Systems, this article solves the long standing open problem of developing a functional programming language with a derivative operator for Lipschitz maps, the largest class of maps with L- derivative, the domain-theoretic derivative developed in 2000’s. The framework will lead to practical languages that can evaluate the derivative of functions. It also provides, for the first time, a denotational semantics and a verification tool for Algorithmic Differentiation, an active area of research in numerical analysis for more than three decades. Acceptance 25%/108.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Logic and Artificial Intelligence
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
