Correct object-oriented systems in computational logic

被引：3
|
作者：
Lau, KK
Ornaghi, M
机构：
[1] Univ Manchester, Dept Comp Sci, Manchester M13 9PL, Lancs, England
[2] Univ Milan, Dipartimento Sci Informaz, I-20135 Milan, Italy
来源：
LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION | 2002年 / 2372卷
关键词：
D O I：
10.1007/3-540-45607-4_10
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In our previous work in program development, we have defined steadfastness, a notion of correctness that captures at once modularity, correctness and reusability. This paper extends it to Object-Oriented Systems, namely systems of cooperating objects, and is a first step towards the introduction of correctness in Object-Oriented Design Frameworks. Such frameworks are increasingly recognised as more reusable than single objects, and promise to be useful components in next-generation Component-based Software Development.
引用
收藏
页码：168 / 190
页数：23
相关论文
共 50 条
  • [31] STRATEGY FOR INTEGRATING OBJECT-ORIENTED AND LOGIC PROGRAMMING
    BOSE, R
    [J]. KNOWLEDGE-BASED SYSTEMS, 1994, 7 (02) : 66 - 74
  • [32] A proof outline logic for object-oriented programming
    Pierik, C
    de Boer, FS
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 343 (03) : 413 - 442
  • [33] Pluto: An object-oriented logic programming language
    Liu, MC
    [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 153 - 162
  • [34] Logic Java']Java: Combining Object-Oriented and Logic Programming
    Majchrzak, Tim A.
    Kuchen, Herbert
    [J]. FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, 2011, 6816 : 122 - 137
  • [35] PERFORMANCE OF OBJECT CACHING FOR OBJECT-ORIENTED SYSTEMS
    CHANG, JM
    GEHRINGER, EF
    [J]. VLSI 93, 1994, 42 : 83 - 91
  • [36] OBJECT MOVEMENT IN DISTRIBUTED OBJECT-ORIENTED SYSTEMS
    LEE, YS
    WANG, FJ
    CHANG, CH
    [J]. INFORMATION SCIENCES, 1994, 78 (1-2) : 19 - 47
  • [37] Correct OO systems in computational logic
    Lau, KK
    Ornaghi, M
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 3018 : 34 - 53
  • [38] Design patterns for an Object-Oriented computational chemistry
    Bersini, H
    [J]. ADVANCES IN ARTIFICIAL LIFE, PROCEEDINGS, 1999, 1674 : 389 - 398
  • [39] A computational model for an object-oriented operating system
    Tajes-Martinez, L
    Alvarez-Garcia, F
    Diaz-Fondon, M
    Alvarez-Gutierrez, D
    Cueva-Lovelle, JM
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 143 - 150
  • [40] THE OBJECT-ORIENTED BLOWFLY - A STUDY IN COMPUTATIONAL NEUROETHOLOGY
    THOMSON, AJ
    [J]. AI APPLICATIONS, 1995, 9 (02): : 15 - 25
12345