Object-oriented Programming Laws for Annotated Java']Java Programs

被引：0
|
作者：
Freitas, Gabriel Falconieri [1 ]
Cornelio, Marcio [1 ,2 ]
Massoni, Tiago [3 ]
Gheyi, Rohit [3 ]
机构：
[1] Univ Pernambuco, Recife, PE, Brazil
[2] Univ Fed Rural Pernambuco, Recife, PE, Brazil
[3] Univ Fed Campina Grande, Campina Grande, Brazil
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2010年 / 21期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings.
引用
收藏
页码：65 / 76
页数：12
相关论文
共 50 条
  • [1] Object-oriented database programming in Java']Java
    Ege, RK
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 441 - 441
  • [2] Slicing object-oriented Java']Java programs
    Chen, ZQ
    Xu, BW
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (04) : 33 - 40
  • [3] Designing concurrent object-oriented programs in Java']Java
    Holmes, D
    Lea, D
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 461 - 461
  • [4] Introduction to concurrent object-oriented programming in Java']Java
    Holmes, D
    Lea, D
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 457 - 457
  • [5] Object-Oriented Parallelisation of Java']Java Desktop Programs
    Giacaman, Nasser
    Sinnen, Oliver
    [J]. IEEE SOFTWARE, 2011, 28 (01) : 32 - 38
  • [6] Logic Java']Java: Combining Object-Oriented and Logic Programming
    Majchrzak, Tim A.
    Kuchen, Herbert
    [J]. FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, 2011, 6816 : 122 - 137
  • [7] Counterfeit Object-Oriented Programming Vulnerabilities: An Empirical Study in Java']Java
    Santos, Joanna C. S.
    Zhang, Xueling
    Mirakhorli, Mehdi
    [J]. PROCEEDINGS OF THE 1ST INTERNATIONAL WORKSHOP ON MINING SOFTWARE REPOSITORIES APPLICATIONS FOR PRIVACY AND SECURITY, MSR4P&S 2022, 2022, : 21 - 28
  • [8] Analysis of potential deadlock in Java']Java multithreaded object-oriented programs
    Chen, HY
    [J]. INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 146 - 150
  • [9] Towards Automated Testing and Feedback of Object-Oriented Programming Tasks in Java']Java
    Muncey, Andrew
    [J]. PROCEEDINGS OF THE 2023 CONFERENCE ON UNITED KINGDOM & IRELAND COMPUTING EDUCATION RESEARCH, UKICER 2023, 2023,
  • [10] Constraint-Logic Object-Oriented Programming on the Java']Java Virtual Machine
    Winkelmann, Hendrik
    Kuchen, Herbert
    [J]. 37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 1258 - 1267
12345