Supporting covariant return types and generics in type relaxed weaving
Abstract
This paper introduces our ongoing study on type safety of the type relaxed weaving mechanism in the presence of two Java 5 features, namely covariant return types and generics. We point out additional conditions that are necessary to ensure type safety, which can be checked by a slightly modified type checking rules for the type relaxed weaving.
References
[1]
Curtis Clifton and Gary T. Leavens. MiniMAO1: An imperative core language for studying aspect-oriented reasoning. Science of Computer Programming, 63(3):321--374, 2006.
[2]
Bruno De Fraine, Erik Ernst, and Mario Südholt. Essential AOP: the A calculus. In Proceedings of ECOOP'10, pages 101--125, 2010.
[3]
Bruno De Fraine, Mario Südholt, and Viviane Jonckers. StrongAspectJ: Flexible and safe pointcut/advice bindings. In Proceedings of AOSD'08, pages 60--71, 2008.
[4]
Erik Hilsdale and Jim Hugunin. Advice weaving in AspectJ. In Proceedings of AOSD'04, pages 26--35, 2004.
[5]
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. TOPLAS, 23(3):396--450, 2001.
[6]
Radha Jagadeesan, Alan Jeffrey, and James Riely. Typed parametric polymorphism for aspects. Science of Computer Programming, 63(3):267--296, 2006.
[7]
Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In Proceedings of ECOOP'01, pages 327--353, 2001.
[8]
Hidehiko Masuhara, Atsushi Igarashi, and Manabu Toyama. Type relaxed weaving. In Proceedings of AOSD'10, pages 121--132, 2010.
[9]
Hidehiko Masuhara and Gregor Kiczales. Modeling crosscutting in aspect-oriented mechanisms. In Proceedings of ECOOP'03, pages 2--28, 2003.
Index Terms
- Supporting covariant return types and generics in type relaxed weaving
Recommendations
Type relaxed weaving
AOSD '10: Proceedings of the 9th International Conference on Aspect-Oriented Software DevelopmentStatically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees type safety, it can prohibit application of advice that is useful, yet ...
Type-directed weaving of aspects for polymorphically typed functional languages
Incorporating aspect-oriented paradigm to a polymorphically typed functional language enables the declaration of type-scoped advice, in which the effect of an aspect can be harnessed by introducing possibly polymorphic type constraints to the aspect. ...
Type-Indexed Data Types
MPC '02: Proceedings of the 6th International Conference on Mathematics of Program ConstructionA polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell, such as show, read, and '=='. More advanced ...
Comments
Information & Contributors
Information
Published In
Copyright © 2011 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
In-Cooperation
- Centro de Informatica - UFPE: Centro de Informatica - UFPE
- SIGPLAN: ACM Special Interest Group on Programming Languages
- CAPES: Coordençãao de Aperfeiçoamento de Pessoal de Nível Superior
- SIGSOFT: ACM Special Interest Group on Software Engineering
- CNPq: Conselho Nacional de Desenvolvimento Cientifico e Tecn
- FINEP: Financiadora de Estudos e Projetos
- PUC-Rio
- FACEPE: Fundacao de Amparo a Ciencia e Tecnologia do Estado de Pernambuco
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 21 March 2011
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
AOSD'11
AOSD'11: Tenth International Conference on Aspect-Oriented Software Development
March 21, 2011
Porto de Galinhas, Brazil
Acceptance Rates
Overall Acceptance Rate 5 of 6 submissions, 83%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 74Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 07 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in