Object-Oriented Declarative Program Analysis

Eva Magnusson

Research output: ThesisDoctoral Thesis (compilation)

Abstract

This thesis deals with techniques for raising the programming level for a particular kind of computations, namely those on abstract syntax trees. Such computations are central in many program analysis tools, such as compilers, smart language-sensitive editors, and static analysis tools. All techniques presented in this thesis support modular description and efficiency and are capable of handling large programs.

The work is based on Reference Attributed Grammars (RAGs) which combines object-oriented features with declarative programming to specify computations on abstract syntax trees. RAGs have proven useful, e.g., for performing static-semantic analysis of object-oriented languages. We investigate new applications of RAGs, extensions of RAGs in order to cover yet more applications, modularization issues for RAGs, and implementation of RAG extensions.

The thesis consists of an introduction and four papers. The first paper deals with the application of RAGs to a new problem area: program visualization. The second paper describes JastAdd, a practical system for RAGs, based on static aspect-oriented programming and which supports the combination of imperative Java programming with declarative RAG programming. JastAdd has been used for developing practical compilers for full-scale languages. The third paper describes CRAGs, an extension of RAGs allowing circular dependencies and where the evaluator computes fixed-point solutions by iteration. CRAGs open up RAGs for new application areas such as grammar and data flow analyses. The fourth paper deals with extending attribute grammars with collection attributes and circular collection attributes. These attributes allow whole-program properties such as cross-references to be easily specified. A number of evaluation techniques and a number of application areas, including source code metrics, are described. All techniques described in the papers have been implemented and tested in practice.
Original languageEnglish
QualificationDoctor
Awarding Institution
  • Department of Computer Science
Supervisors/Advisors
  • Hedin, Görel, Supervisor
Award date2007 Dec 7
Publisher
ISBN (Print)978-91-628-7306-6
Publication statusPublished - 2007

Bibliographical note

Defence details

Date: 2007-12-07
Time: 10:15
Place: Room E:1406, E-building Ole Römers väg 3 Lund University Faculty of Engineering

External reviewer(s)

Name: Van Wyk, Eric
Title: Ass professor
Affiliation: University of Minnesota, USA

---

Subject classification (UKÄ)

  • Computer Science

Free keywords

  • numerisk analys
  • Datalogi
  • control
  • systems
  • numerical analysis
  • Declarative object-oriented programming
  • attribute grammars
  • fixed-point computations
  • Computer science
  • cross references
  • system
  • kontroll

Fingerprint

Dive into the research topics of 'Object-Oriented Declarative Program Analysis'. Together they form a unique fingerprint.

Cite this