Constraint-logic object-oriented programming on the Java virtual machine

被引：0
|
作者：
Winkelmann, Hendrik [1 ]
Kuchen, Herbert [1 ]
机构：
[1] University of Münster, Münster, Germany
来源：
Proceedings of the ACM Symposium on Applied Computing | 2022年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Object oriented programming
引用
收藏
页码：1258 / 1267
相关论文
共 50 条
  • [31] STRATEGY FOR INTEGRATING OBJECT-ORIENTED AND LOGIC PROGRAMMING
    BOSE, R
    KNOWLEDGE-BASED SYSTEMS, 1994, 7 (02) : 66 - 74
  • [32] A proof outline logic for object-oriented programming
    Pierik, C
    de Boer, FS
    THEORETICAL COMPUTER SCIENCE, 2005, 343 (03) : 413 - 442
  • [33] Pluto: An object-oriented logic programming language
    Liu, MC
    TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 153 - 162
  • [34] BatakJava']Java: An Object-Oriented Programming Language with Versions
    Lubis, Luthfan Anshar
    Tanabe, Yudai
    Aotani, Tomoyuki
    Masuhara, Hidehiko
    PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2022, 2022, : 222 - 234
  • [35] Object-oriented and constraint programming for time critical applications
    de Boer, FS
    OBJECT-ORIENTED TECHNOLOGY, 1999, 1743 : 255 - 266
  • [36] Logic programming for verification of object-oriented programming law conditions
    de Freitas, Leandro
    Caraciolo, Marcel
    Cornelio, Marcio
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (06) : 721 - 736
  • [37] Counterfeit Object-Oriented Programming Vulnerabilities: An Empirical Study in Java']Java
    Santos, Joanna C. S.
    Zhang, Xueling
    Mirakhorli, Mehdi
    PROCEEDINGS OF THE 1ST INTERNATIONAL WORKSHOP ON MINING SOFTWARE REPOSITORIES APPLICATIONS FOR PRIVACY AND SECURITY, MSR4P&S 2022, 2022, : 21 - 28
  • [38] The application of Oriented Object technique in Constraint Logic Programming
    Lin, Q
    He, SY
    OBJECT-ORIENTED TECHNOLOGY, 1998, : 94 - 99
  • [39] Towards soft computing object-oriented logic programming
    Baldwin, JF
    Cao, TH
    Martin, TP
    Rossiter, JM
    NINTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2000), VOLS 1 AND 2, 2000, : 768 - 773
  • [40] BRIDGING THE GAP BETWEEN OBJECT-ORIENTED AND LOGIC PROGRAMMING
    KOSCHMANN, T
    EVENS, MW
    IEEE SOFTWARE, 1988, 5 (04) : 36 - 42
12345