enter search term and/or author name
Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator
Barak A. Pearlmutter, Jeffrey Mark Siskind
Article No.: 7
We show that reverse-mode AD (Automatic Differentiation)—a generalized gradient-calculation operator—can be incorporated as a first-class function in an augmented lambda calculus, and therefore into a functional-programming language....
It is difficult to write programs that behave correctly in the presence of run-time errors. Proper behavior in the face of exceptional situations is important to the reliability of long-running programs. Existing programming language features...
Normalize, transpose, and distribute: An automatic approach for handling nonscalars
Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen
Article No.: 9
SequenceL is a concise, high-level language with a simple semantics that provides for the automatic derivation of many iterative and parallel control structures. The semantics repeatedly applies a “Normalize-Transpose-Distribute”...
Dynamic slicing is a well-known technique for program analysis, debugging and understanding. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some variables' occurrences when...
FeatherTrait: A modest extension of Featherweight Java
Luigi Liquori, Arnaud Spiwack
Article No.: 11
In the context of statically typed, class-based languages, we investigate classes that can be extended with trait composition. A trait is a collection of methods without state; it can be viewed as an incomplete stateless...