Formal Attributes Traceability in Modular Language Development Frameworks

详细信息    查看全文

• 作者：Walter Cazzola^a ; ^{cazzola@di.unimi.it" class="auth_mail" title="E-mail the corresponding author} ; Paola Giannini^b ; ^{giannini@di.unipmn.it" class="auth_mail" title="E-mail the corresponding author} ; Albert Shaqiri^a ; ^{shaqiri@di.unimi.it" class="auth_mail" title="E-mail the corresponding author}
• 关键词：modularity and composition ; modular language implementation ; formal validation of the composition ; type inference
• 刊名：Electronic Notes in Theoretical Computer Science
• 出版年：2016
• 出版时间：18 April 2016
• 年：2016
• 卷：322
• 期：Complete
• 页码：119-134
• 全文大小：324 K

文摘

Modularization and component reuse are concepts that can speed up the design and implementation of domain specific languages. Several modular development frameworks have been developed that rely on attributes to share information among components. Unfortunately, modularization also fosters development in isolation and attributes could be undefined or used inconsistently due to a lack of coordination. This work presents 1) a type system that permits to trace attributes and statically validate the composition against attributes lack or misuse and 2) a correct and complete type inference algorithm for this type system. The type system and inference are based on the Neverlang development framework but it is also discussed how it can be used with different frameworks.