publications:
- title: "Iterative Two-Layer CI Phase Coding Enhancement of Uplink Broadband Wireless Access System"
  author:
  - name: "Thanh Son Le"
    link: "https://researchr.org/alias/thanh-son-le"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Pål Orten"
    link: "https://researchr.org/alias/p%C3%A5l-orten"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VETECF.2008.407"
  links:
    doi: "http://dx.doi.org/10.1109/VETECF.2008.407"
  researchr: "https://researchr.org/publication/LeEO08"
  cites: 0
  citedby: 0
  pages: "1-6"
  booktitle: "vtc"
  kind: "inproceedings"
  key: "LeEO08"
- title: "Extending Attribute Grammars with Collection Attributes--Evaluation and Applications"
  author:
  - name: "Eva Magnusson"
    link: "https://researchr.org/alias/eva-magnusson"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/SCAM.2007.13"
  links:
    doi: "http://dx.doi.org/10.1109/SCAM.2007.13"
  tags:
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/MagnussonEH07"
  cites: 0
  citedby: 1
  pages: "69-80"
  booktitle: "SCAM"
  kind: "inproceedings"
  key: "MagnussonEH07"
- title: "Adaptive Prediction of Mobile Radio Channels Utilizing a Filtered Random Walk Model for the Coefficients"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2773&spage=1326"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2773&spage=1326"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/Ekman03"
  cites: 0
  citedby: 0
  pages: "1326-1333"
  booktitle: "kes"
  kind: "inproceedings"
  key: "Ekman03"
- title: "The JastAdd extensible Java compiler"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297027.1297029"
  abstract: "The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend in order to build static analysis tools for Java, and to extend Java with new language constructs. It is built modularly, with a Java 1.4 compiler that is extended to a Java 5 compiler. Example applications that are built as extensions include an alternative backend that generates Jimple, an extension of Java with AspectJ constructs, and the implementation of a pluggable type system for non-null checking and inferenc. The system is implemented using JastAdd, a declarative Java-like language. We describe the compiler architecture, the major design ideas for building and extending the compiler, in particular, for dealing with complex extensions that affect name and type analysis. Our extensible compiler compares very favorably concerning quality, speed and size with other extensible Java compiler frameworks. It also compares favorably in quality and size compared with traditional non-extensible Java compilers, and it runs within a factor of three compared to javac."
  links:
    doi: "http://doi.acm.org/10.1145/1297027.1297029"
  tags:
  - "AspectJ"
  - "Java"
  - "application framework"
  - "architecture"
  - "analysis"
  - "language design"
  - "static analysis"
  - "type system"
  - "extensible compiler"
  - "type checking"
  - "compiler"
  - "JastAdd"
  - "design"
  - "extensible language"
  researchr: "https://researchr.org/publication/EkmanH07"
  cites: 0
  citedby: 3
  pages: "1-18"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "EkmanH07"
- title: "Real Java for real time - gain and pain"
  author:
  - name: "Anders Nilsson"
    link: "https://researchr.org/alias/anders-nilsson"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Klas Nilsson"
    link: "https://researchr.org/alias/klas-nilsson"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581630.581680"
  links:
    doi: "http://doi.acm.org/10.1145/581630.581680"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/NilssonEN02"
  cites: 0
  citedby: 0
  pages: "304-311"
  booktitle: "cases"
  kind: "inproceedings"
  key: "NilssonEN02"
- title: "The JastAdd extensible Java compiler"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297846.1297881"
  links:
    doi: "http://doi.acm.org/10.1145/1297846.1297881"
  tags:
  - "Java"
  - "compiler"
  - "JastAdd"
  researchr: "https://researchr.org/publication/EkmanH07a"
  cites: 0
  citedby: 0
  pages: "773-774"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "EkmanH07a"
- title: "The JastAdd extensible Java compiler"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297846.1297938"
  links:
    doi: "http://doi.acm.org/10.1145/1297846.1297938"
  tags:
  - "Java"
  - "compiler"
  - "JastAdd"
  researchr: "https://researchr.org/publication/EkmanH07b"
  cites: 0
  citedby: 0
  pages: "884-885"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "EkmanH07b"
- title: "Refactoring-aware versioning in Eclipse"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Ulf Asklund"
    link: "https://researchr.org/alias/ulf-asklund"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.048"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.048"
  tags:
  - "Eclipse"
  - "refactoring"
  - "context-aware"
  researchr: "https://researchr.org/publication/EkmanA04"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "107"
  pages: "57-69"
  kind: "article"
  key: "EkmanA04"
- title: "Two-Layer CI Phase Coding Interference Cancellation and Detection of Uplink Broadband Wireless Access System"
  author:
  - name: "Le Thanh Son"
    link: "https://researchr.org/alias/le-thanh-son"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Pål Orten"
    link: "https://researchr.org/alias/p%C3%A5l-orten"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/WCNC.2008.168"
  links:
    doi: "http://dx.doi.org/10.1109/WCNC.2008.168"
  researchr: "https://researchr.org/publication/SonEO08"
  cites: 0
  citedby: 0
  pages: "923-928"
  booktitle: "wcnc"
  kind: "inproceedings"
  key: "SonEO08"
- title: "Adaptive Modulation Systems for Predicted Wireless Channels"
  author:
  - name: "Sorour Falahati"
    link: "https://researchr.org/alias/sorour-falahati"
  - name: "Arne Svensson"
    link: "https://researchr.org/alias/arne-svensson"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Mikael Sternad"
    link: "https://researchr.org/alias/mikael-sternad"
  year: "2004"
  researchr: "https://researchr.org/publication/FalahatiSES04"
  cites: 0
  citedby: 0
  journal: "tcom"
  volume: "52"
  number: "2"
  pages: "307-316"
  kind: "article"
  key: "FalahatiSES04"
- title: "Channel predictive proportional fair scheduling"
  author:
  - name: "Hans Jørgen Bang"
    link: "https://researchr.org/alias/hans-j%C3%B8rgen-bang"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "David Gesbert"
    link: "https://researchr.org/alias/david-gesbert"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/TWC.2008.060729"
  links:
    doi: "http://dx.doi.org/10.1109/TWC.2008.060729"
  researchr: "https://researchr.org/publication/BangEG08"
  cites: 0
  citedby: 0
  journal: "TWC"
  volume: "7"
  number: "2"
  pages: "482-487"
  kind: "article"
  key: "BangEG08"
- title: "Development of a Modelica Compiler Using JastAdd"
  author:
  - name: "Johan {\\AA}kesson"
    link: "https://researchr.org/alias/johan-%7B%5Ebaa%7Dkesson"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.048"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.048"
  tags:
  - "Modelica"
  - "extensible compiler"
  - "compiler"
  - "JastAdd"
  researchr: "https://researchr.org/publication/AkessonEH08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "203"
  number: "2"
  pages: "117-131"
  kind: "article"
  key: "AkessonEH08"
- title: "Practical Scope Recovery Using Bridge Parsing"
  author:
  - name: "Emma  Nilsson-Nyman"
    link: "http://www.cs.lth.se/home/Emma.Nilsson_Nyman/"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_7"
  tags:
  - "layout sensitive parsing"
  - "indentation"
  - "layout"
  - "parsing"
  - "error recovery"
  researchr: "https://researchr.org/publication/Nilsson-NymanEH08"
  cites: 0
  citedby: 0
  pages: "95-113"
  booktitle: "SLE"
  kind: "inproceedings"
  key: "Nilsson-NymanEH08"
- title: "Modularity first: a case for mixing AOP and attribute grammars"
  author:
  - name: "Pavel Avgustinov"
    link: "https://researchr.org/alias/pavel-avgustinov"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1353482.1353486"
  links:
    doi: "http://doi.acm.org/10.1145/1353482.1353486"
  tags:
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/AvgustinovET08"
  cites: 0
  citedby: 0
  pages: "25-35"
  booktitle: "AOSD"
  kind: "inproceedings"
  key: "AvgustinovET08"
- title: "Implementing Java Compilers Using ReRAGs"
  author:
  - name: "Anders Nilsson"
    link: "https://researchr.org/alias/anders-nilsson"
  - name: "Anders Ive"
    link: "https://researchr.org/alias/anders-ive"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2004"
  tags:
  - "Java"
  - "compiler"
  researchr: "https://researchr.org/publication/NilssonIEH04"
  cites: 0
  citedby: 0
  journal: "njc"
  volume: "11"
  number: "3"
  pages: "213-234"
  kind: "article"
  key: "NilssonIEH04"
- title: "Modular Name Analysis for Java Using JastAdd"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11877028_18"
  abstract: "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."
  links:
    doi: "http://dx.doi.org/10.1007/11877028_18"
  tags:
  - "rule-based"
  - "Java"
  - "analysis"
  - "graph-rewriting"
  - "rules"
  - "compiler"
  - "context-aware"
  - "rewriting"
  - "JastAdd"
  researchr: "https://researchr.org/publication/EkmanH06"
  cites: 0
  citedby: 1
  pages: "422-436"
  booktitle: "GTTSE"
  kind: "inproceedings"
  key: "EkmanH06"
- title: "Implementation of a Modelica compiler using JastAdd attribute grammars"
  author:
  - name: "Johan {\\AA}kesson"
    link: "https://researchr.org/alias/johan-%7B%5Ebaa%7Dkesson"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.scico.2009.07.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2009.07.003"
  tags:
  - "attribute grammars"
  - "compiler"
  - "JastAdd"
  - "grammar"
  researchr: "https://researchr.org/publication/AkessonEH10"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "75"
  number: "1-2"
  pages: "21-38"
  kind: "article"
  key: "AkessonEH10"
- title: "Pluggable checking and inferencing of nonnull types for Java"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2007"
  doi: "http://www.jot.fm/issues/issue_2007_10/paper23/index.html"
  links:
    doi: "http://www.jot.fm/issues/issue_2007_10/paper23/index.html"
  tags:
  - "type inference"
  - "Java"
  - "type checking"
  researchr: "https://researchr.org/publication/EkmanH07%3A0"
  cites: 0
  citedby: 0
  journal: "jot"
  volume: "6"
  number: "9"
  pages: "455-475"
  kind: "article"
  key: "EkmanH07:0"
- title: "Formalising and Verifying Reference Attribute Grammars in Coq"
  author:
  - name: "Max Schäfer"
    link: "http://www.comlab.ox.ac.uk/people/Max.Schaefer/"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_11"
  tags:
  - "attribute grammars"
  - "reference attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/SchaferEM09"
  cites: 0
  citedby: 0
  pages: "143-159"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "SchaferEM09"
- title: ".QL: Object-Oriented Queries Made Easy"
  author:
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Mathieu Verbaere"
    link: "https://researchr.org/alias/mathieu-verbaere"
  - name: "Elnar Hajiyev"
    link: "https://researchr.org/alias/elnar-hajiyev"
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Neil Ongkingco"
    link: "https://researchr.org/alias/neil-ongkingco"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-88643-3_3"
  abstract: "These notes are an introduction to .QL, an object-oriented query language for any type of structured data. We illustrate the use of .QL in assessing software quality, namely to find bugs, to compute metrics and to enforce coding conventions. The class mechanism of .QL is discussed in depth, and we demonstrate how it can be used to build libraries of reusable queries. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-88643-3_3"
  tags:
  - "data-flow language"
  - "reuse"
  - "data-flow"
  - "Meta-Environment"
  - "meta-objects"
  - "query language"
  researchr: "https://researchr.org/publication/MoorSVHAEOT07"
  cites: 1
  citedby: 0
  pages: "78-133"
  booktitle: "GTTSE"
  kind: "inproceedings"
  key: "MoorSVHAEOT07"
- title: "Opportunistic Round Robin with Extended Window for Time Correlated Channels"
  author:
  - name: "Hans Jørgen Bang"
    link: "https://researchr.org/alias/hans-j%C3%B8rgen-bang"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/VETECS.2007.587"
  links:
    doi: "http://dx.doi.org/10.1109/VETECS.2007.587"
  researchr: "https://researchr.org/publication/BangE07"
  cites: 0
  citedby: 0
  pages: "2860-2863"
  booktitle: "vtc"
  kind: "inproceedings"
  key: "BangE07"
- title: "Cross-Layer Random Access and Channel Assignment for Uplink Broadband Wireless System"
  author:
  - name: "Le Thanh Son"
    link: "https://researchr.org/alias/le-thanh-son"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Pål Orten"
    link: "https://researchr.org/alias/p%C3%A5l-orten"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VETECS.2008.380"
  links:
    doi: "http://dx.doi.org/10.1109/VETECS.2008.380"
  researchr: "https://researchr.org/publication/SonEO08%3A0"
  cites: 0
  citedby: 0
  pages: "1646-1651"
  booktitle: "vtc"
  kind: "inproceedings"
  key: "SonEO08:0"
- title: "Keynote Address: .QL for Source Code Analysis"
  author:
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Mathieu Verbaere"
    link: "https://researchr.org/alias/mathieu-verbaere"
  - name: "Elnar Hajiyev"
    link: "https://researchr.org/alias/elnar-hajiyev"
  - name: "Pavel Avgustinov"
    link: "http://www.comlab.ox.ac.uk/people/pavel.avgustinov/"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Neil Ongkingco"
    link: "https://researchr.org/alias/neil-ongkingco"
  - name: "Damien Sereni"
    link: "http://metacomp.comlab.ox.ac.uk/Members/damien"
  - name: "Julian Tibble"
    link: "https://researchr.org/alias/julian-tibble"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/SCAM.2007.31"
  abstract: "Many tasks in source code analysis can be viewed as evaluating queries over a relational representation of the code. Here we present an object-oriented query language, named .QL, and demonstrate its use for general navigation, bug finding and enforcing coding conventions. We then focus on the particular problem of specifying metrics as queries."
  links:
    doi: "http://dx.doi.org/10.1109/SCAM.2007.31"
  tags:
  - "points-to analysis"
  - "analysis"
  - "source-to-source"
  - "Meta-Environment"
  - "open-source"
  - "meta-objects"
  - "query language"
  researchr: "https://researchr.org/publication/MoorVHAEOST07"
  cites: 0
  citedby: 0
  pages: "3-16"
  booktitle: "SCAM"
  kind: "inproceedings"
  key: "MoorVHAEOST07"
- title: "The JastAdd system - modular extensible compiler construction"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2007.02.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2007.02.003"
  tags:
  - "compiler"
  - "JastAdd"
  researchr: "https://researchr.org/publication/EkmanH07SCP"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "69"
  number: "1-3"
  pages: "14-26"
  kind: "article"
  key: "EkmanH07SCP"
- title: "Demand-driven evaluation of collection attributes"
  author:
  - name: "Eva Magnusson"
    link: "https://researchr.org/alias/eva-magnusson"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10515-009-0046-z"
  links:
    doi: "http://dx.doi.org/10.1007/s10515-009-0046-z"
  researchr: "https://researchr.org/publication/MagnussonEH09"
  cites: 0
  citedby: 0
  journal: "ASE"
  volume: "16"
  number: "2"
  pages: "291-322"
  kind: "article"
  key: "MagnussonEH09"
- title: "Rewritable Reference Attributed Grammars"
  author:
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Görel Hedin"
    link: "http://cs.lth.se/gorel_hedin"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=144"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=144"
  tags:
  - "attribute grammars"
  - "reference attribute grammars"
  - "graph-rewriting"
  - "rewriting"
  - "grammar"
  researchr: "https://researchr.org/publication/EkmanH04"
  cites: 0
  citedby: 3
  pages: "144-169"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "EkmanH04"
- title: "Sound and extensible renaming for java"
  author:
  - name: "Max Schäfer"
    link: "http://www.comlab.ox.ac.uk/people/Max.Schaefer/"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449764.1449787"
  abstract: "Descriptive names are crucial to understand code. However, good names are notoriously hard to choose and manually changing a globally visible name can be a maintenance nightmare. Hence, tool support for automated renaming is an essential aid for developers and widely supported by popular development environments. This work improves on two limitations in current refactoring tools: too weak preconditions that lead to unsoundness where names do not bind to the correct declarations after renaming, and too strong preconditions that prevent renaming of certain programs. We identify two main reasons for unsoundness: complex name lookup rules make it hard to define sufficient preconditions, and new language features require additional preconditions. We alleviate both problems by presenting a novel extensible technique for creating symbolic names that are guaranteed to bind to a desired entity in a particular context by inverting lookup functions. The inverted lookup functions can then be tailored to create qualified names where otherwise a conflict would occur, allowing the refactoring to proceed and improve on the problem with too strong preconditions. We have implemented renaming for Java as an extension to the JastAdd Extensible Java Compiler and integrated it in Eclipse. We show examples for which other refactoring engines have too weak preconditions, as well as examples where our approach succeeds in renaming entities by inserting qualifications. To validate the extensibility of the approach we have implemented renaming support for Java 5 and AspectJ like inter-type declarations as modular extensions to the initial Java 1.4 refactoring engine. The renaming engine is only a few thousand lines of code including extensions and performance is on par with industrial strength refactoring tools."
  links:
    doi: "http://doi.acm.org/10.1145/1449764.1449787"
  tags:
  - "programming languages"
  - "AspectJ"
  - "rule-based"
  - "Java"
  - "Eclipse"
  - "meta programming"
  - "type soundness"
  - "refactoring"
  - "maintenance"
  - "rules"
  - "rule-based refactoring"
  - "compiler"
  - "context-aware"
  - "Meta-Environment"
  - "JastAdd"
  - "extensible language"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/SchaferEM08"
  cites: 33
  citedby: 0
  pages: "277-294"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "SchaferEM08"
- title: "Deterministic Java in Tiny Embedded Systems"
  author:
  - name: "Anders Nilsson"
    link: "https://researchr.org/alias/anders-nilsson"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/isorc/2001/1089/00/10890060abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/isorc/2001/1089/00/10890060abs.htm"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/NilssonE01"
  cites: 0
  citedby: 0
  pages: "60-68"
  booktitle: "isorc"
  kind: "inproceedings"
  key: "NilssonE01"
- title: "Proceedings of The Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA 2009)"
  year: "2010"
  researchr: "https://researchr.org/publication/ldta%3A2009"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of The Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA 2009)"
  conference: "LDTA"
  editor:
  - name: "Jurgen J.  Vinju"
    link: "http://homepages.cwi.nl/~jurgenv/"
  - name: "Torbjörn Ekman"
    link: "http://progtools.comlab.ox.ac.uk/members/torbjorn"
  volume: "253"
  number: "7"
  series: "Electronic Notes in Theoretical Computer Science"
  publisher: "Elsevier"
  kind: "proceedings"
  key: "ldta:2009"