Home

Extending Attribute Grammars to Support Programming-in-the-Large

Josephine Micallef; Gail E. Kaiser

Title:
Extending Attribute Grammars to Support Programming-in-the-Large
Author(s):
Micallef, Josephine
Kaiser, Gail E.
Date:
Type:
Technical reports
Department:
Computer Science
Permanent URL:
Series:
Columbia University Computer Science Technical Reports
Part Number:
CUCS-003-93
Publisher:
Department of Computer Science, Columbia University
Publisher Location:
New York
Abstract:
Attribute grammars add specification of static semantic properties to context-free grammars, which in turn describe the syntactic structure of program units. However, context-free grammars cannot express programming-in-the-large features common in modern programming languages, including unordered collections of units, included units and sharing of included units. We present extensions to context-free grammars, and corresponding extensions to attribute grammars, suitable for defining such features. We explain how batch and incremental attribute evaluation algorithms can be adapted to support these extensions, resulting in a uniform approach to intra-unit and inter-unit static semantic analysis and translation of multi-unit programs.
Subject(s):
Computer science
Item views:
45
Metadata:
View

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services.