Abstract
The two-level grammar notation is a powerful tool for specifying the syntax, static semantics and even dynamic semantics of programming languages. However, it can also be a very difficult notation to follow. For this reason an approach to writing two-level grammars is advocated which explicitly indicates the 'direction of propagation' of metanotions. This suggests the requirement that the direction of propagation of each metanotion within a given hypernotion should be consistent and enables one to test a two-level grammar specification for circularity.
| Original language | English |
|---|---|
| Pages (from-to) | 250-256 |
| Number of pages | 7 |
| Journal | Computer Journal |
| Volume | 28 |
| Issue number | 3 |
| Publication status | Published - Jul 1985 |