311
views
0
recommends
+1 Recommend
1 collections
    4
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Investigating Extension Polymorphism

      proceedings-article
      , ,
      Proceedings of the Fifth International Workshop on Database Programming Languages (DBPL-5)
      Database Programming Languages
      6-8 September 1995
      Bookmark

            Abstract

            This paper examines a polymorphism mechanism which allows abstraction over evolving types. Although inclusion polymorphism is often quoted as being such a mechanism, this holds only for record types, for which constructor the inclusion relation matches the way types evolve in a long-lived system. This paper formalises the idea of evolution in the type space by the notion of extension, based upon both intuition and observation of evolving systems in a persistent programming environment. Extension is proposed as a type abstraction mechanism to allow smooth evolution in statically typed systems, and programming language mechanisms are introduced which maintain soundness and static checking in the presence of this abstraction. Extension over some function types is related to the concept of type matching, but a more general treatment is given as our interest is in extension over the whole type system.

            Content

            Author and article information

            Conference
            September 1995
            September 1995
            : 1-11
            Affiliations
            [0001]School of Mathematical and Computational Sciences,

            University of St Andews, St Andrews, Fife, Scotland KY16 9SS
            Article
            10.14236/ewic/DBPL1995.7
            197318a8-1c90-46ec-a35c-e266c7cb25b7
            © Richard Connor et al. Published by BCS Learning and Development Ltd. Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the Fifth International Workshop on Database Programming Languages
            DBPL-5
            5
            Gubbio, Umbria, Italy
            6-8 September 1995
            Electronic Workshops in Computing (eWiC)
            Database Programming Languages
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/DBPL1995.7
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article