STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS.

Howard Williams

STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS.

Howard Williams

Research output: Contribution to journal › Article › peer-review

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

Cite this

@article{898559a0fbbc4506aee147d98a0200dd,

title = "STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS.",

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.",

author = "Howard Williams",

year = "1985",

month = jul,

language = "English",

volume = "28",

pages = "250--256",

journal = "Computer Journal",

issn = "1460-2067",

publisher = "Oxford University Press",

number = "3",

}

TY - JOUR

T1 - STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS.

AU - Williams, Howard

PY - 1985/7

Y1 - 1985/7

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0022092925

M3 - Article

SN - 1460-2067

VL - 28

SP - 250

EP - 256

JO - Computer Journal

JF - Computer Journal

IS - 3

ER -

STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS.

Abstract

Other files and links

Fingerprint

Cite this