STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS.

Howard Williams

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)250-256
Number of pages7
JournalComputer Journal
Volume28
Issue number3
Publication statusPublished - Jul 1985

Fingerprint

test

Cite this

Williams, Howard. / STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS. In: Computer Journal. 1985 ; Vol. 28, No. 3. pp. 250-256.
@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 = "7",
language = "English",
volume = "28",
pages = "250--256",
journal = "Computer Journal",
issn = "0010-4620",
publisher = "Oxford University Press",
number = "3",

}

Williams, H 1985, 'STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS.', Computer Journal, vol. 28, no. 3, pp. 250-256.

STRUCTURING TWO-LEVEL GRAMMAR SPECIFICATIONS. / Williams, Howard.

In: Computer Journal, Vol. 28, No. 3, 07.1985, p. 250-256.

Research output: Contribution to journalArticle

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 - http://www.scopus.com/inward/record.url?scp=0022092925&partnerID=8YFLogxK

M3 - Article

VL - 28

SP - 250

EP - 256

JO - Computer Journal

JF - Computer Journal

SN - 0010-4620

IS - 3

ER -