Abstract | ||
---|---|---|
Structural language features are those that introduce new kinds of declarations as opposed to those that only add expressions. They pose a significant challenge when representing languages in meta-languages such as standard formats like OMDoc or logical frameworks like LF. It is desirable to use shallow representations where a structural language feature is represented by the analogous feature of the meta-language, but the richness of structural language features in practical languages makes this difficult. Therefore, the current state of the art is to encode unrepresentable structural language features in terms of more elementary ones, but that makes the representations difficult to reuse and verify. This challenge is exacerbated by the fact that many languages allow users to add new structural language features that are elaborated into a small trusted kernel, which allows for a large and growing set of features. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1007/978-3-030-53518-6_13 | CICM |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dennis Muller | 1 | 9 | 7.43 |
Florian Rabe | 2 | 333 | 41.66 |
Colin Rothgang | 3 | 0 | 0.34 |
Michael Kohlhase | 4 | 1095 | 127.65 |