Titlebook: Algebraic Methodology and Software Technology; 13th International C Michael Johnson,Dusko Pavlovic Conference proceedings 2011 The Editor(s

indecipherable

Hierarchical Reinforcement Learning,nterprocedural compiler optimizations: interprocedural dead code elimination, inlining of functions, tail-recursion elimination, procedure reordering and function cloning. The proofs are equational and machine-verifiable.

negotiable