The equivalence problem in algebraic models of programs (some new results/algorithms and attempts at their practical applications) (https://gitorious.org/algebraic-prog-equiv)
root
- Cs-isp-sbornik.pdf
- README.md
- basic-fun-patterns.mdwn
- eilenb.pdf
- field-theory-and-extension-to-multitape.mdwn
- linear-func-fast.mdwn
- publish-on-mirrors.sh
- various-linear-functions.mdwn
The equivalence problem in "algebraic" models of programs: some new results/algorithms and attempts at their practical applications
Some other notes (article sources), mostly in Russian, are at https://gitorious.org/algebraic-prog-equiv.