Modelling and Specifying Name Visibility and Binding Semantics
S. Vorthmann. Technical Report, CMU//CS-93-158. Carnegie Mellon University, School of Computer Science, (Juli 1993)
Zusammenfassung
This paper describes visibility networks, a graphical model of static
name visibility and binding. A visibility network is a visual representation
of the search algorithm performed when binding a name reference to
a declaration. In conjunction with an extended attribute grammar
mechanism, visibility networks allow clear and precise specification
of the naming semantics of programming languages. The power of the
model is demonstrated through its description of several examples
of complex visibility constraints in Ada. As a specification technique,
the model has several advantages for the language designer, including
support for prototyping, analysis, formal description, and documentation
of naming semantics. Similar advantages make the visibility network
model pedagogically attractive. Finally, it has been demonstrated
that the specifications can be used to automatically generate naming
semantics modules for compilers and language-based editors, reducing
the burden of the language implementor.
%0 Report
%1 Vorthmann93
%A Vorthmann, Scott A.
%D 1993
%K - Software algebraic and applic.DFA approaches coding constructs definitions editors; engineering: environments features formal interactive; language languages languages: logics meadings modules, of packages; program programming programs: semantics semantics; theory to
%N CMU//CS-93-158
%P 15
%T Modelling and Specifying Name Visibility and Binding Semantics
%X This paper describes visibility networks, a graphical model of static
name visibility and binding. A visibility network is a visual representation
of the search algorithm performed when binding a name reference to
a declaration. In conjunction with an extended attribute grammar
mechanism, visibility networks allow clear and precise specification
of the naming semantics of programming languages. The power of the
model is demonstrated through its description of several examples
of complex visibility constraints in Ada. As a specification technique,
the model has several advantages for the language designer, including
support for prototyping, analysis, formal description, and documentation
of naming semantics. Similar advantages make the visibility network
model pedagogically attractive. Finally, it has been demonstrated
that the specifications can be used to automatically generate naming
semantics modules for compilers and language-based editors, reducing
the burden of the language implementor.
@techreport{Vorthmann93,
abstract = {This paper describes visibility networks, a graphical model of static
name visibility and binding. A visibility network is a visual representation
of the search algorithm performed when binding a name reference to
a declaration. In conjunction with an extended attribute grammar
mechanism, visibility networks allow clear and precise specification
of the naming semantics of programming languages. The power of the
model is demonstrated through its description of several examples
of complex visibility constraints in Ada. As a specification technique,
the model has several advantages for the language designer, including
support for prototyping, analysis, formal description, and documentation
of naming semantics. Similar advantages make the visibility network
model pedagogically attractive. Finally, it has been demonstrated
that the specifications can be used to automatically generate naming
semantics modules for compilers and language-based editors, reducing
the burden of the language implementor.},
added-at = {2009-05-10T18:36:57.000+0200},
author = {Vorthmann, Scott A.},
biburl = {https://www.bibsonomy.org/bibtex/25558327db9621f078104f79984c4e483/dparigot},
description = {Attribute Grammar},
institution = {Carnegie Mellon University, School of Computer Science},
interhash = {30eb95afa980500c5ae4d7b749996b61},
intrahash = {5558327db9621f078104f79984c4e483},
keywords = {- Software algebraic and applic.DFA approaches coding constructs definitions editors; engineering: environments features formal interactive; language languages languages: logics meadings modules, of packages; program programming programs: semantics semantics; theory to},
month = {July},
number = {CMU//CS-93-158},
pages = 15,
timestamp = {2009-05-10T18:37:09.000+0200},
title = {Modelling and Specifying Name Visibility and Binding Semantics},
type = {Technical Report},
year = 1993
}