Reverse inheritance in statically typed object-oriented programming languages

被引:0
|
作者
ChirilǍ, Ciprian-Bogdan [1 ]
Sakkinen, Markku [2 ]
Lahire, Philippe [3 ]
Jurca, Ioan [1 ]
机构
[1] University Politehnica of Timişoara, Romania
[2] University of Jyväskylä, Finland
[3] University of Nice, France
关键词
Compendex;
D O I
暂无
中图分类号
学科分类号
摘要
Object oriented programming
引用
收藏
相关论文
共 50 条
  • [31] A statically verifiable programming model for concurrent object-oriented programs
    DistriNet, Dept. Computer Science, K.U. Leuven, Celestijnenlaan 200A, 3001 Leuven, Belgium
    不详
    Lect. Notes Comput. Sci., 2006, (420-439):
  • [32] A statically verifiable programming model for concurrent object-oriented programs
    Jacobs, Bart
    Smans, Jan
    Piessens, Frank
    Schulte, Wolfram
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 420 - 439
  • [33] Nonmonotonic inheritance in object-oriented deductive database languages
    May, W
    Kandzia, PT
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (04) : 499 - 525
  • [34] INHERITANCE IN ACTOR BASED CONCURRENT OBJECT-ORIENTED LANGUAGES
    KAFURA, DG
    LEE, KH
    COMPUTER JOURNAL, 1989, 32 (04): : 297 - 304
  • [35] Inheritance and rules in object-oriented semantic web languages
    Yang, Guizhen
    Kifer, Michael
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2876 : 95 - 110
  • [36] Inheritance and rules in object-oriented semantic Web languages
    Yang, GZ
    Kifer, M
    RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, 2003, 2876 : 95 - 110
  • [37] Inheritance in object-oriented languages: Requirements and supporting mechanisms
    Al-Ahmad, W.
    Steegmans, E.
    JOOP - Journal of Object-Oriented Programming, 2000, 12 (08): : 15 - 24
  • [39] OBJECT MAPPING IN THE OPC-UA PROTOCOL FOR STATICALLY AND DYNAMICALLY TYPED PROGRAMMING LANGUAGES
    Nikiel, Piotr P.
    Korcyl, Krzysztof
    COMPUTING AND INFORMATICS, 2018, 37 (04) : 946 - 968
  • [40] A declarative framework for object-oriented programming with genetic inheritance
    Lago, JM
    Artalejo, MR
    THEORETICAL COMPUTER SCIENCE, 2001, 269 (1-2) : 363 - 417