Meny

Javascript is not activated in your browser. This website needs javascript activated to work properly.
Du är här

Modular name analysis for Java using JastAdd

Författare:
Publiceringsår: 2006
Språk: Engelska
Sidor: 422-436
Publikation/Tidskrift/Serie: Generative and Transformational Techniques in Software Engineering
Volym: 4143
Dokumenttyp: Konferensbidrag
Förlag: Springer

Sammanfattning

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

Disputation

Nyckelord

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

Övriga

Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005. Revised Papers
4-8 July 2005
Braga, Portugal
Published
Yes
  • LUCAS
  • ISSN: 0302-9743
  • ISBN: 3-540-45778-X

Box 117, 221 00 LUND
Telefon 046-222 00 00 (växel)
Telefax 046-222 47 20
lu [at] lu [dot] se

Fakturaadress: Box 188, 221 00 LUND
Organisationsnummer: 202100-3211
Om webbplatsen