Fourth International Valentin Turchin workshop on metacomputation: Pereslavl-Zalessky, Russia, June 29 -July 3, 2014 : proceedings

AutoPar: Automating the Parallelization of Functional Programs Inductive Prover Based on Equality Saturation for a Lazy Functional Language (Extended Version) Staged Multi-Result Supercompilation: Filtering by Transformation Supercompiling with Staging Towards Understanding Superlinear Speedup by Distillation Extracting Data Parallel Computations from Distilled Programs On Valentin Turchin’s Works on Cybernetic Philosophy, Computer Science and Mathematics Construction of Exact Polyhedral Model for Affine Programs with Data Dependent Conditions Nullness Analysis of Java Bytecode via Supercompilation over Abstract Values An Approach for Modular Verification of Multi-Result Supercompilers (Work in Progress) A Method of a Proof of Observational Equivalence of Processes Turchin's Relation and Subsequence Relation on Traces Generated by Prefix Grammars Algebraic Structures of Programs: First Steps to Algebraic Programming