Skip to content
GitLab
Explore
Sign in
Register
Víctor López Juan
Tog⁺
Tags
twins-without-usage-awareness
twins-without-usage-awareness
Víctor López Juan
@vlopez
0c768976
·
blindly unifying all twins is problematic
·
Nov 22, 2016
Not checking whether twin variables are actually used is problematic