Can I read Fourth International Valentin Turchin workshop on metacomputation: Pereslavl-Zalessky, Russia, June 29 -July 3, 2014 : proceedings on EtoBox?

Fourth International Valentin Turchin workshop on metacomputation: Pereslavl-Zalessky, Russia, June 29 -July 3, 2014 : proceedings by Russian acad. of sciences, Ailamazyan progr. systems inst. is a nonfiction available to read on EtoBox.

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

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 Turchins 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

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

Author

Russian acad. of sciences, Ailamazyan progr. systems inst.

Publisher

Ун-т города Переславля

Published

2014

Language

RU

ISBN

9785901795316

Category

nonfiction