Abstract
In programming languages with records, objects, or traits, it is common to have operators that allow dropping, updating or renaming some components. T......
小提示:本篇文献需要登录阅读全文,点击跳转登录