Facet Grammars: Towards static semantic analysis by context-free parsing

Bailes P.A. and Chorvat T. (1993) Facet Grammars: Towards static semantic analysis by context-free parsing. Computer Languages, 18 4: 251-271. doi:10.1016/0096-0551(93)90019-W

Author Bailes P.A.
Chorvat T.
Title Facet Grammars: Towards static semantic analysis by context-free parsing
Journal name Computer Languages   Check publisher's open access policy
ISSN 0096-0551
Publication date 1993-01-01
Sub-type Article (original research)
DOI 10.1016/0096-0551(93)90019-W
Volume 18
Issue 4
Start page 251
End page 271
Total pages 21
Subject 1700 Computer Science
Abstract Use of executable declarative metalanguages has simplified programming language syntax specification and implementation, whereas existing formalisms for static semantics are still relatively procedural. A working hypothesis is that the context-sensitivity of languages (under static semantic rules) is derived in significant part from the interleaved presences therein of sentences in implicitly-defined and effectively invisible context-free languages. Procedures by which these sentences and context-free grammars for their languages can be respectively derived from the original sentence and the combination of the original language's grammar and semantic rules, lead to the possibility of automatic generation of static semantic analysers from the purely context-free specifications of "Facet Grammars" (FG)! We show that the utility of FG for static semantic analysis has a non-trivial lower bound, by specifying the relatively complicated identifier scope and accessibility rules for Dijkstra's Guarded Commands Language.
Keyword Automata
Context-free grammar
Context-free language
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import - Archived
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 23 Aug 2016, 15:07:45 EST by System User