Symbolic computation of differential equivalences.

Luca Cardelli Mirco Tribastone Max Tschaikowski Andrea Vandin

Published in: POPL (2016)

Keyphrases

connected components
imperative programs
databases
case study
relational algebra
automated deduction
multimedia
multiscale
neural network
digital libraries
computer simulation