YoVDO

Semi-Automated Direction-Driven Functional Conversion - miniKanren'23

Offered By: ACM SIGPLAN via YouTube

Tags

Functional Programming Courses Programming Languages Courses Software Engineering Courses Code Generation Courses Program Synthesis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 47-minute conference talk from ACM SIGPLAN's miniKanren'23 event, where Ekaterina Verbitskaia, Igor Engel, and Daniil Berezun present their research on semi-automated direction-driven functional conversion. Delve into the innovative approaches and techniques discussed for transforming code between different programming paradigms, with a focus on functional programming. Gain insights into the challenges and potential solutions for automating code conversion processes while maintaining program semantics and efficiency.

Syllabus

[miniKanren'23] Semi-Automated Direction-Driven Functional Conversion


Taught by

ACM SIGPLAN

Related Courses

Compilers
Stanford University via Coursera Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera Разработка веб-сервисов на Go - основы языка
Moscow Institute of Physics and Technology via Coursera Complete Guide to Protocol Buffers 3 [Java, Golang, Python]
Udemy Angular tooling: Generating code with schematics
Coursera Project Network via Coursera