What Is Decidable About String Constraints with the ReplaceAll Function

What Is Decidable About String Constraints with the ReplaceAll Function

ACM SIGPLAN via YouTube Direct link

[POPL'18] What Is Decidable about String Constraints with the ReplaceAll Function

1 of 1

1 of 1

[POPL'18] What Is Decidable about String Constraints with the ReplaceAll Function

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

What Is Decidable About String Constraints with the ReplaceAll Function

Automatically move to the next video in the Classroom when playback concludes
  1. 1 [POPL'18] What Is Decidable about String Constraints with the ReplaceAll Function

Never Stop Learning.

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

Sign up for free
Someone learning on their laptop while sitting on the floor.