Inference rules for generic code migration of aspect-oriented programs

Authors:
Fernando Barden Rubbo;Eduardo Kessler Piveta;Daltro José Nunes
Affiliations:
Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre - RS, Brazil;Programa de Pós Graduação em Informática, Universidade Federal de Santa Maria, Santa Maria - RS, Brazil;Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre - RS, Brazil
Venue:
Science of Computer Programming
Year:
2013

Citing 23
Cited 0

On understanding types, data abstraction, and polymorphism

ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Object-oriented type inference

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented type systems

Object-oriented type systems
Precise concrete type inference for object-oriented languages

OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Sound polymorphic type inference for objects

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Pizza into Java: translating theory into practice

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making the future safe for the past: adding genericity to the Java programming language

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Refactoring for generalization using type constraints

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Adding wildcards to the Java programming language

Proceedings of the 2004 ACM symposium on Applied computing
Converting Java classes to use generics

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Converting java programs to use generic libraries

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Typed parametric polymorphism for aspects

Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Refactoring for Parameterizing Java Classes

ICSE '07 Proceedings of the 29th international conference on Software Engineering
StrongAspectJ: flexible and safe pointcut/advice bindings

Proceedings of the 7th international conference on Aspect-oriented software development
Tool-supported refactoring of aspect-oriented programs

Proceedings of the 7th international conference on Aspect-oriented software development
Tool support for understanding and diagnosing pointcut expressions

Proceedings of the 7th international conference on Aspect-oriented software development
Efficient local type inference

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
An Interval-Based Inference of Variant Parametric Types

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Efficiently refactoring java applications to use generic libraries

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Several changes occurred in the AspectJ language to provide support for parametric polymorphism. Such changes aim to improve the source code type safety and to prepare the language to support generic code migration. Current approaches for this kind of migration focus only on object-oriented code. Therefore, they do not consider the use of aspects to encapsulate crosscutting concerns. We propose a collection of type constraint rules for the polymorphic version of AspectJ. These rules are used together with an existing constraint based algorithm to enable the conversion of non-generic code to add actual type parameters in both Java and AspectJ languages.