Скачать или смотреть Artem Chirkov - A Relational Interpreter For Synthesizing JavaScript

Artem Chirkov - A Relational Interpreter For Synthesizing JavaScript

Скачать Artem Chirkov - A Relational Interpreter For Synthesizing JavaScript бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно Artem Chirkov - A Relational Interpreter For Synthesizing JavaScript или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

Информация по загрузке:

Cкачать музыку Artem Chirkov - A Relational Interpreter For Synthesizing JavaScript бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео Artem Chirkov - A Relational Interpreter For Synthesizing JavaScript

miniKanren 2020
https://icfp20.sigplan.org/home/minik...

A Relational Interpreter for Synthesizing JavaScript

We introduce a miniKanren relational interpreter for a subset of JavaScript, capable of synthesizing imperative, S-expression JavaScript code to solve small problems that even human programmers might find tricky. We write a relational parser that parses S-expression JavaScript to an intermediate language called LambdaJS, and a relational interpreter for LambdaJS. We show that program synthesis is feasible through the composition of these two disjoint relations for parsing and evaluation. Finally, we discuss three somewhat surprising performance characteristics of composing these two relations.

Комментарии

Информация по комментариям в разработке