Herb.jl: Teaching Programs How to Program with Program Synthesis

Offered By: The Julia Programming Language via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore program synthesis with Herb.jl in this 10-minute conference talk from JuliaCon 2024. Discover how this Julia library automates program generation from specifications, providing a toolbox for developing new synthesizers and unifying various synthesis approaches. Learn about Herb.jl's dual goals of filling a community gap and creating a framework for easy application of existing synthesizers to new problems. Gain insights into how Julia enhances library development, algorithm speed, and synthesis procedure composability in the context of program synthesis.

Syllabus

Herb.jl: Teaching programs how to program with program synthesis | Hinnerichs | JuliaCon 2024

Taught by

The Julia Programming Language

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