Semantic Specification using Two-Level Grammars: Labels and GOTO Statements | Zendy

Frank G. Pagan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Semantic Specification using Two-Level Grammars: Labels and GOTO Statements

Author(s) -

Frank G. Pagan

Publication year - 1982

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/25.1.63

Subject(s) - rule based machine translation , computer science , formalism (music) , l attributed grammar , programming language , goto , natural language processing , tree adjoining grammar , semantics (computer science) , artificial intelligence , context sensitive grammar , context free grammar , art , musical , visual arts

The metalinguistic formalism of two-level grammars (W-grammars) is known to be capable of precisely defining the dynamic semantics of certain features of programming languages in a fairly understandable fashion. This paper demonstrates that its application to low-level control facilities—labels and goto statements—is not only possible but also reasonably straightforward and manageable. Moreover, the extra definitional complexity that arises when there is a mixture of low-level and high-level (if-then-else, while-do, etc.) facilities does not appear to be any worse than it is with other approaches to semantic specification.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research