Fifth International Valentin Turchin workshop on metacomputation: Pereslavl-Zalessky, Russia, June 27 -July 1, 2016 : proceedings

Working Notes: Compiling ULC to Lower-level Code by Game Semantics and Partial Evaluations Preliminary Report on Polynomial-Time Program Staging by Partial Evaluation Introduction to Valentin Turchin's Cybernetic Foundation of Mathematics Non-Linear Configurations for Superlinear Speedup by Supercompilation Towards Unification of Supercompilation and Equality Saturation On Programming and Biomolecular Computation Distilling New Data Types Enhanced PCB-Based Slicing Derivation of Parallel Programs of Recursive Doubling Type by Supercompilation with Neighborhood Embedding A Supercompiler Assisting Its Own Formal Verification Simple Programs on Binary Trees – Testing and Decidable Equivalence On a Method of Verification of Functional Programs Complexity of Turchin's Relation for Call-by-Name Computations Algorithm Design Patterns: Programming Theory Perspective