1 citations · 1 across the 3 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021
Fuel: A Compiler Framework for Safe Memory Management
Dimitri Racordon, Aurélien Coet, Didier Buchs
Flow-sensitive type systems offer an elegant way to ensure memory-safety in programming languages. Unfortunately, their adoption in new or existing languages is often hindered by a…
cs.PL2019
Explicit and Controllable Assignment Semantics
Dimitri Racordon, Didier Buchs
Despite the plethora of powerful software to spot bugs, identify performance bottlenecks or simply improve the overall quality of code, programming languages remain the first and m…
cs.PL2017
Extracting Formal Specifications to Strenghten Type Behaviour Testing
Dimitri Racordon, Didier Buchs
Testing has become an indispensable activity of software development, yet writing good and relevant tests remains a quite challenging task. One well-known problem is that it often…