A language for differentiable functions

DOI10.1007/978-3-642-37075-5_22MaRDI QIDQ4910429zbMATH OpenOpenAlexFDO

Authors Pietro Di Gianantonio, Abbas Edalat

Publication date 18 March 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37075-5_22

Mathematics Subject Classification ID

Numerical differentiation (65D25) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• A simply typed -calculus of forward automatic differentiation
• On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
• Functional differentiation of computer programs
• Automatic differentiation in ACL2
• Functional differentiation of computer programs

Cited in

(10)

• Polynomial time over the reals with parsimony
• A simply typed -calculus of forward automatic differentiation
• scientific article; zbMATH DE number 2097480 (Why is no real title available?)
• On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
• Foundations of Software Science and Computational Structures
• Recursive solution of initial value problems with temporal discretization
• A domain-theoretic framework for robustness analysis of neural networks
• Semantics, specification logic, and Hoare logic of exact real computation
• A language for evaluating derivatives of functionals using automatic differentiation
• A partial metric semantics of higher-order types and approximate program transformations

Describes a project that uses

Uses Software

• Matlab

This page was built for publication: A language for differentiable functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910429)