Program Synthesis for B in ProB
-
Updated
Jan 14, 2022 - Java
Program Synthesis for B in ProB
Program synthesis in the visual programming environment Algot.
A general purpose declarative programming language
[Note : 15 /20] Projet UE Programmation Fonctionnelle Avancée (Université Paris Cité, M1) : Au lieu de faire écrire un programme par un programmeur, un utilisateur donne quelques exemples d’une entrée et de la sortie attendue du programme. Puis, le programme va produire un programme qui est cohérent avec les exemples fournis.
Learning second order dynamical system
Synthesizing best-effort Python expressions while weighting the chance for mistakes in given user outputs.
-=[ void ]=-
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
Recursive Program Synthesis using input-output examples
Foofah: programming-by-example data transformation program synthesizer
Push Genetic Programming in Python.
A Chrome extension for writing custom web scraping programs and web automation programs. Just demonstrate how to collect the first row of data, then let the extension write the program for collecting all rows.
Add a description, image, and links to the programming-by-example topic page so that developers can more easily learn about it.
To associate your repository with the programming-by-example topic, visit your repo's landing page and select "manage topics."