Understanding Access Restriction of Variant Parametric Types and Java Wildcards
Gespeichert in:
| Titel: | Understanding Access Restriction of Variant Parametric Types and Java Wildcards |
|---|---|
| Autoren: | Giovanni Rimassa, VIROLI, MIRKO |
| Weitere Verfasser: | HISHAM M. HADDAD, LORIE M. LIEBROCK, ANDREA OMICINI, MATHEW J. PALAKAL, MAGGIE WILDS, HORST CLAUSEN, Giovanni Rimassa, Mirko Viroli |
| Verlagsinformationen: | ACM USA NEW YORK |
| Publikationsjahr: | 2005 |
| Bestand: | IRIS Università degli Studi di Bologna (CRIS - Current Research Information System) |
| Schlagwörter: | JAVA GENERICS, VARIANT PARAMETRIC TYPES, TYPE SYSTEMS |
| Beschreibung: | Variant parametric types have been introduced to provide a flexible subtyping mechanism for generic types, and are recently being developed into Java wildcards, shipped worldwide with the JDK 1.5 release. The two approaches, which are strictly related, retain safety by providing rather peculiar and non-trivial mechanisms to restrict access to a class functionalities (methods and fields). In this paper we aim at studying a unified framework to describe this issue in detail, and to facilitate the understanding and exploitation of this new programming concept. Our work is both technical and conceptual. On the one hand, we provide formal rules to access restriction and specialise them for the two approaches, so as to emphasise similarities and differences. On the other hand, we show that such rules promote a natural description and understanding of access restriction in terms of the ability of (instances of) a generic class to produce/consume elements of the abstracted type. |
| Publikationsart: | conference object |
| Dateibeschreibung: | STAMPA |
| Sprache: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/isbn/1581139640; ispartofbook:Applied Computing 2005, Proceedings of the 2005 ACM Symposium on Applied Computing; ACM Symposium on Applied Computing; volume:2; firstpage:1390; lastpage:1397; numberofpages:8; alleditors:HISHAM M. HADDAD, LORIE M. LIEBROCK, ANDREA OMICINI, MATHEW J. PALAKAL, MAGGIE WILDS, HORST CLAUSEN; http://hdl.handle.net/11585/10879 |
| Verfügbarkeit: | http://hdl.handle.net/11585/10879 |
| Dokumentencode: | edsbas.B0DA968D |
| Datenbank: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | Variant parametric types have been introduced to provide a flexible subtyping mechanism for generic types, and are recently being developed into Java wildcards, shipped worldwide with the JDK 1.5 release. The two approaches, which are strictly related, retain safety by providing rather peculiar and non-trivial mechanisms to restrict access to a class functionalities (methods and fields). In this paper we aim at studying a unified framework to describe this issue in detail, and to facilitate the understanding and exploitation of this new programming concept. Our work is both technical and conceptual. On the one hand, we provide formal rules to access restriction and specialise them for the two approaches, so as to emphasise similarities and differences. On the other hand, we show that such rules promote a natural description and understanding of access restriction in terms of the ability of (instances of) a generic class to produce/consume elements of the abstracted type. |
|---|