36 citations · 56 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2016★ 36 cited
Renaming Global Variables in C Mechanically Proved Correct
Julien Cohen
Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers ha…
cs.PL2009★ 5 cited
Typing rule-based transformations over topological collections
Julien Cohen
Pattern-matching programming is an example of a rule-based programming style developed in functional languages. This programming style is intensively used in dialects of ML but is…