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

Programming Languages
University of Virginia via Udacity Compilers
Stanford University via Coursera Programming Languages, Part A
University of Washington via Coursera CSCI 1730 - Introduction to Programming Languages
Brown University via Independent Intro to Java Programming
San Jose State University via Udacity