Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1016/j.entcs.2016.03.009 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
modularity and composition,modular language implementation,formal validation of the composition,type inference | Domain-specific language,Programming language,Inference,Reuse,Computer science,Type inference,Modular programming,Modular design,Traceability,Speedup | Journal |
Volume | Issue | ISSN |
322 | C | 1571-0661 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Walter Cazzola | 1 | 533 | 50.41 |
| Paola Giannini | 2 | 449 | 50.00 |
| Albert Shaqiri | 3 | 15 | 3.01 |