Keywords (1)

Academic
Publications
A semantics of multiple inheritance

A semantics of multiple inheritance,Luca Cardeui

A semantics of multiple inheritance   (Citations: 67)
BibTex | RIS | RefWorks Download
Conference: Semantics of Data Types , 1984
Cumulative Annual
    • ...In the development of object-oriented languages, an empirical tradition long dominated (Simula, Smalltalk, C++), but since Cardelli’s 1984 paper([Car84]), the semantic and type theoretic techniques developed for functional languages have been applied extensively to the study of object-oriented languages, and some prototype language designs have derived from this theoretical work (e.g...
    • ...The Þxed-point model Þrst appeared in [Car84], while the self-application model was introduced in [Kam88]...

    David B. Macqueen. Should ML be Object-Oriented?

    • ...A number of attempts have been made in formalizing objects with records, initiated by the work of Cardelli [12] and leading to various type systems incorporating objectoriented concepts...

    Emil Sekerinski. Concurrent Object-Oriented Programs: From Specification to Code

    • ...4 Multiargument functions are theoretically equivalent to curried functions, but the implementations are vastly different, especially if closure conversion is done earlier than object encoding as I have suggested elsewhere [Gle99a]...
    • ...It is worth remarking that the encoding can be combined with object closure conversion [Gle99a] and an encoding of functions as objects to provide a typed translation of closure-passing-style closure conversion...
    • ...Bruce et al. [Bru94, BSvG95] designed a functional and an imperative class-based object-oriented language, and the denotational semantics for these languages can be seen as an object and class encoding...
    • ...Bruce et al.’s class encoding [Bru94, BSvG95] essentially encodes a class as a pair containing both the initial values of the private elds of the class and a function for the public methods...

    Neal Glew. An efficient class and object encoding

    • ...4 Multiargument functions are theoretically equivalent to curried functions, but the implementations are vastly different, especially if closure conversion is done earlier than object encoding as I have suggested elsewhere [Gle99a]...
    • ...It is worth remarking that the encoding can be combined with object closure conversion [Gle99a] and an encoding of functions as objects to provide a typed translation of closure-passing-style closure conversion...
    • ...Bruce et al. [Bru94, BSvG95] designed a functional and an imperative class-based object-oriented language, and the denotational semantics for these languages can be seen as an object and class encoding...
    • ...Bruce et al.’s class encoding [Bru94, BSvG95] essentially encodes a class as a pair containing both the initial values of the private elds of the class and a function for the public methods...

    Neal Glew. An efficient class and object encoding

    • ...The type system developed in this paper has similarities with several type systems proposed by Cardelli [2,3,1]...

    Michael Siffret al. Coping with type casts in C

Sort by: