k-visit attribute grammars

Hanne Riis; Sven Skyum

doi:10.1007/BF01786970

k-visit attribute grammars

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

Abstract

It is shown that any well-defined attribute grammar isk-visit for somek. Furthermore it is shown that given a well-defined grammarG and an integerk, it is decidable whetherG isk-visit. Finally we show that thek-visit grammars specify a proper hierarchy with respect to translations.

Original language	English
Journal	Theory of Computing Systems
Volume	15
Issue	1
Pages (from-to)	17-28
Number of pages	12
ISSN	1432-4350
DOIs	https://doi.org/10.1007/BF01786970
Publication status	Published - 1981

Access to Document

10.1007/BF01786970

Cite this

@article{a7468023785f403e9a5c1332a1cdb648,

title = "k-visit attribute grammars",

abstract = "It is shown that any well-defined attribute grammar isk-visit for somek. Furthermore it is shown that given a well-defined grammarG and an integerk, it is decidable whetherG isk-visit. Finally we show that thek-visit grammars specify a proper hierarchy with respect to translations.",

author = "Hanne Riis and Sven Skyum",

year = "1981",

doi = "10.1007/BF01786970",

language = "English",

volume = "15",

pages = "17--28",

journal = "Theory of Computing Systems",

issn = "1432-4350",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - k-visit attribute grammars

AU - Riis, Hanne

AU - Skyum, Sven

PY - 1981

Y1 - 1981

N2 - It is shown that any well-defined attribute grammar isk-visit for somek. Furthermore it is shown that given a well-defined grammarG and an integerk, it is decidable whetherG isk-visit. Finally we show that thek-visit grammars specify a proper hierarchy with respect to translations.

AB - It is shown that any well-defined attribute grammar isk-visit for somek. Furthermore it is shown that given a well-defined grammarG and an integerk, it is decidable whetherG isk-visit. Finally we show that thek-visit grammars specify a proper hierarchy with respect to translations.

U2 - 10.1007/BF01786970

DO - 10.1007/BF01786970

M3 - Journal article

SN - 1432-4350

VL - 15

SP - 17

EP - 28

JO - Theory of Computing Systems

JF - Theory of Computing Systems

IS - 1

ER -

k-visit attribute grammars

Abstract

Access to Document

Fingerprint

Cite this