Correct and Certified Regular Expressions (available)

In programming language research ideas are explored in an ofte repeated loop. You have an idea then propose the language feature to study, its semantics, and the prove it has the properties you expect (type safety, performance, expressivity, etc.). In this project, we want to explore such a cycle working with regular expressions as the … full description “Correct and Certified Regular Expressions (available)”