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

Intro to Computer Science
University of Virginia via Udacity Software Engineering for SaaS
University of California, Berkeley via Coursera CS50's Introduction to Computer Science
Harvard University via edX UNSW Computing 1 - The Art of Programming
OpenLearning Mobile Robotics
Open2Study