The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

Modular name analysis for Java using JastAdd

På svenska

Author

Summary, in English

Name analysis for Java is challenging with its complex visibility rules involving nested scopes, inheritance, qualified access, and syntactic ambiguities. We show how Java name analysis including ambiguities related to names of variables, fields, and packages, can be implemented in a declarative and modular manner using the JastAdd compiler construction system. Declarative attributes and context-dependent rewrites enable the implementation to be modularized in the same way as the informal Java language specification. The individual rules in the specification transfer directly to equations in the implementation. Rewrites are used to define new concepts in terms of existing concepts in an iterative manner in the same way as the informal language specification. This enables equations to use both context-free and context-dependent concepts and leads to improved separation of concerns. A full Java 1.4 compiler has been implemented to validate the technique

Publishing year

2006

Language

English

Pages

422-436

Publication/Series

Generative and Transformational Techniques in Software Engineering

Volume

4143

Document type

Conference paper

Publisher

Springer

Topic

  • Computer Science

Keywords

  • JastAdd compiler construction system
  • context-dependent rewrites
  • Java language specification
  • complex visibility rules
  • modular name analysis
  • Java 1.4 compiler
  • Java name analysis

Conference name

Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005. Revised Papers

Conference date

2005-07-04 - 2005-07-08

Conference place

Braga, Portugal

Status

Published

Research group

  • LUCAS

ISBN/ISSN/Other

  • ISSN: 0302-9743
  • ISSN: 1611-3349
  • ISBN: 3-540-45778-X