Login / Signup
Symbolic Computation via Program Transformation.
Henrich Lauko
Petr Rockai
Jiri Barnat
Published in:
CoRR (2018)
Keyphrases
</>
imperative programs
test cases
programming environment
databases
website
computer programs
program execution
fukunaga koontz
user interface
linear transformation
automated deduction