Tupling via Constructive Algorithmics
Tupling is a program transformation technique aimed at eliminating multiple traversals of the same data structures, which is achieved by grouping some recursive function calls into tuples. It was first developed within the fold/unfold framework which introduces a lot of costs and complexities to avoid non-termination and thus is impractical.
In this talk, we are going to consider tupling in the constructive algorithmics framework. By representing recursion explicitly in the form of hylomorphisms and modifying it with a set of calculational rules, it achieves fully automatic, modular, composable program transformations which are cheap to implement.
Speaker: Ekaterina Verbitskaia
Materials: Hu, Zhenjiang, et al. "Tupling calculation eliminates multiple data traversals." ACM Sigplan Notices 32.8 (1997): https://vk.cc/c60Gdp
Что делает видео по-настоящему запоминающимся? Наверное, та самая атмосфера, которая заставляет забыть о времени. Когда вы заходите на RUVIDEO, чтобы посмотреть онлайн «Tupling via Constructive Algorithmics», вы рассчитываете на нечто большее, чем просто загрузку плеера. И мы это понимаем. Контент такого уровня заслуживает того, чтобы его смотрели в HD 1080, без дрожания картинки и бесконечного буферизации.
Честно говоря, Rutube сегодня — это кладезь уникальных находок, которые часто теряются в общем шуме. Мы же вытаскиваем на поверхность самое интересное. Будь то динамичный экшн, глубокий разбор темы от любимого автора или просто уютное видео для настроения — всё это доступно здесь бесплатно и без лишних формальностей. Никаких «заполните анкету, чтобы продолжить». Только вы, ваш экран и качественный поток.
Если вас зацепило это видео, не забудьте взглянуть на похожие материалы в блоке справа. Мы откалибровали наши алгоритмы так, чтобы они подбирали контент не просто «по тегам», а по настроению и смыслу. Ведь в конечном итоге, онлайн-кинотеатр — это не склад файлов, а место, где каждый вечер можно найти свою историю. Приятного вам отдыха на RUVIDEO!
Видео взято из открытых источников Rutube. Если вы правообладатель, обратитесь к первоисточнику.