Tutorial on Deductive Program Synthesis - Part 2: Hands-on Derivation and Advanced Techniques

Tutorial on Deductive Program Synthesis - Part 2: Hands-on Derivation and Advanced Techniques

Neurosymbolic Programming for Science via YouTube Direct link

deposit

6 of 14

6 of 14

deposit

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Tutorial on Deductive Program Synthesis - Part 2: Hands-on Derivation and Advanced Techniques

Automatically move to the next video in the Classroom when playback concludes

  1. 1 this tutorial
  2. 2 synthetic separation logic (SSL)
  3. 3 SSL: basic rules
  4. 4 example: swap
  5. 5 demo: bank account
  6. 6 deposit
  7. 7 demo: deriving dispose
  8. 8 deriving single-to-double
  9. 9 example: tree flattening
  10. 10 this task is challenging!
  11. 11 tree flattening with cyclic proofs
  12. 12 does this goal look familiar?
  13. 13 extracting the auxiliary
  14. 14 deductive synthesis idea: to find the program, look for the proof

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.