Periodic Reporting for period 4 - AV-SMP (Algorithmic Verification of String Manipulating Programs)

Strings have always been an important data type in programming languages. With the rise in popularity of scripting languages like JavaScript, Python, and PHP, this statement is truer than ever. Despite this, string manipulation is error-prone, which could lead to serious...