Conference
View in EDS

Understanding Access Restriction of Variant Parametric Types and Java Wildcards

Bibliographic Details
Title: Understanding Access Restriction of Variant Parametric Types and Java Wildcards
Authors: Giovanni Rimassa, VIROLI, MIRKO
Contributors: HISHAM M. HADDAD, LORIE M. LIEBROCK, ANDREA OMICINI, MATHEW J. PALAKAL, MAGGIE WILDS, HORST CLAUSEN, Giovanni Rimassa, Mirko Viroli
Publisher Information: ACM
USA
NEW YORK
Publication Year: 2005
Collection: IRIS Università degli Studi di Bologna (CRIS - Current Research Information System)
Subject Terms: JAVA GENERICS, VARIANT PARAMETRIC TYPES, TYPE SYSTEMS
Description: 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.
Document Type: conference object
File Description: STAMPA
Language: 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
Availability: http://hdl.handle.net/11585/10879
Accession Number: edsbas.B0DA968D
Database: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://hdl.handle.net/11585/10879#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.B0DA968D
RelevancyScore: 780
AccessLevel: 3
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 779.67431640625
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Understanding Access Restriction of Variant Parametric Types and Java Wildcards
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Giovanni+Rimassa%22">Giovanni Rimassa</searchLink><br /><searchLink fieldCode="AR" term="%22VIROLI%2C+MIRKO%22">VIROLI, MIRKO</searchLink>
– Name: Author
  Label: Contributors
  Group: Au
  Data: HISHAM M. HADDAD, LORIE M. LIEBROCK, ANDREA OMICINI, MATHEW J. PALAKAL, MAGGIE WILDS, HORST CLAUSEN<br />Giovanni Rimassa<br />Mirko Viroli
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: ACM<br />USA<br />NEW YORK
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2005
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: IRIS Università degli Studi di Bologna (CRIS - Current Research Information System)
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22JAVA+GENERICS%22">JAVA GENERICS</searchLink><br /><searchLink fieldCode="DE" term="%22VARIANT+PARAMETRIC+TYPES%22">VARIANT PARAMETRIC TYPES</searchLink><br /><searchLink fieldCode="DE" term="%22TYPE+SYSTEMS%22">TYPE SYSTEMS</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: 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.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: conference object
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: STAMPA
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: 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
– Name: URL
  Label: Availability
  Group: URL
  Data: http://hdl.handle.net/11585/10879
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.B0DA968D
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.B0DA968D
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: JAVA GENERICS
        Type: general
      – SubjectFull: VARIANT PARAMETRIC TYPES
        Type: general
      – SubjectFull: TYPE SYSTEMS
        Type: general
    Titles:
      – TitleFull: Understanding Access Restriction of Variant Parametric Types and Java Wildcards
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Giovanni Rimassa
      – PersonEntity:
          Name:
            NameFull: VIROLI, MIRKO
      – PersonEntity:
          Name:
            NameFull: HISHAM M. HADDAD, LORIE M. LIEBROCK, ANDREA OMICINI, MATHEW J. PALAKAL, MAGGIE WILDS, HORST CLAUSEN
      – PersonEntity:
          Name:
            NameFull: Giovanni Rimassa
      – PersonEntity:
          Name:
            NameFull: Mirko Viroli
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2005
          Identifiers:
            – Type: issn-locals
              Value: edsbas
ResultId 1