Tag: Formal language

FLAT uses formal languages to type strings

Using formal languages as type constraints to prevent string-based security vulnerabilities