BatakJava']Java: An Object-Oriented Programming Language with Versions

被引:1
|
作者
Lubis, Luthfan Anshar [1 ]
Tanabe, Yudai [1 ]
Aotani, Tomoyuki [2 ]
Masuhara, Hidehiko [1 ]
机构
[1] Tokyo Inst Technol, Tokyo, Japan
[2] Mamezou Co Ltd, Tokyo, Japan
关键词
backward compatibility; dependency problem; !text type='Java']Java[!/text;
D O I
10.1145/3567512.3567531
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Programming with versions is a recent proposal that supports multiple versions of software components in a program. Though it would provide greater freedom for the programmer, the concept is only realized as a simple core calculus, called..VL, where a value consists of lambda-terms with multiple versions. We explore a design space of programming with versions in the presence of data structures and module systems, and propose BatakJava, an object-oriented programming language in which multiple versions of a class can be used in a program. This paper presents BatakJava's language design, its core semantics with subject reduction, an implementation as a source-to-Java translator, and a case study to understand how we can exploit multiple versions in BatakJava for developing an application program with an evolving library.
引用
收藏
页码:222 / 234
页数:13
相关论文
共 50 条
  • [41] Object-oriented programming
    Hirshfield, S
    Ege, RK
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 253 - 255
  • [42] An overview of the object-oriented database programming language DBPQL
    Kirchberg, Markus
    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: DATABASES AND INFORMATION SYSTEMS INTEGRATION, 2007, : 573 - 576
  • [43] OBJECT-ORIENTED PROGRAMMING
    TENDYKE, RP
    KUNZ, JC
    IBM SYSTEMS JOURNAL, 1989, 28 (03) : 465 - 478
  • [44] OBJECT-ORIENTED PROGRAMMING
    TYUGU, EH
    PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (06) : 233 - 241
  • [45] COMBINING LOGIC-ORIENTED AND OBJECT-ORIENTED PROGRAMMING LANGUAGE PARADIGMS
    LEONARDI, L
    MELLO, P
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B376 - B385
  • [46] Towards Automated Testing and Feedback of Object-Oriented Programming Tasks in Java
    Muncey, Andrew
    ACM International Conference Proceeding Series, 2023,
  • [47] A course in process simulation using object-oriented programming methodologies and Java
    Taylor, D.G.
    Chemical Engineering Education, 2001, 35 (03): : 202 - 207
  • [48] Constraint-logic object-oriented programming on the Java virtual machine
    Winkelmann, Hendrik
    Kuchen, Herbert
    Proceedings of the ACM Symposium on Applied Computing, 2022, : 1258 - 1267
  • [49] IS OBJECT-ORIENTED PROGRAMMING STRUCTURED PROGRAMMING
    MULLER, B
    SIGPLAN NOTICES, 1993, 28 (09): : 57 - 66
  • [50] Object-oriented parallel CFD with JAVA']JAVA
    Eyheramendy, D
    PARALLEL COMPUTATIONAL FLUID DYNAMICS: ADVANCED NUMERICAL METHODS SOFTWARE AND APPLICATIONS, 2004, : 409 - 416