A SEMANTICS FOR HYBRID OBJECT-ORIENTED PROLOG SYSTEMS

被引：0
|
作者：
MULLER, B
机构：
来源：
INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS | 1994年 / 51卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper gives a precise definition of the semantics of hybrid object-oriented Prolog systems, i. e. object-oriented languages with base language Prolog. The semantics is given by extending Borger's Prolog semantics [1], which is based on the evolving algebra approach. The semantics is both mathematically exact and practical in the sense that it directly reflects progammer's intuitions of objects, encapsulation, inheritance, messages, polymorphism, and dynamic binding.
引用
收藏
页码：428 / 433
页数：6
相关论文
共 50 条
  • [1] AN OBJECT-ORIENTED INFERENCE ENGINE FOR PROLOG
    LANOVAZ, D
    SZAFRON, D
    JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 19 (01) : 13 - 25
  • [2] Object-Oriented Operational Semantics
    Prinz, Andreas
    Moller-Pedersen, Birger
    Fischer, Joachim
    SYSTEM ANALYSIS AND MODELING: TECHNOLOGY-SPECIFIC ASPECTS OF MODELS, 2016, 9959 : 132 - 147
  • [3] AN OBJECT-ORIENTED FIELD OPERATIONS SIMULATOR IN PROLOG
    LAL, H
    PEART, RM
    JONES, JW
    SHOUP, WD
    TRANSACTIONS OF THE ASAE, 1991, 34 (03): : 1031 - 1039
  • [4] Object-oriented field operations simulator in PROLOG
    Lal, H.
    Peart, R.M.
    Jones, J.W.
    Shoup, W.D.
    Transactions of the American Society of Agricultural Engineers, 1991, 34 (03): : 1031 - 1039
  • [5] OBJECT-ORIENTED DATABASES - DESIGN AND IMPLEMENTATION - PROLOG
    BRAHAM, R
    PROCEEDINGS OF THE IEEE, 1991, 79 (01) : 41 - 41
  • [6] ON USING PROLOG TO IMPLEMENT OBJECT-ORIENTED DATABASES
    PATON, NW
    LEISHMAN, S
    EMBURY, SM
    GRAY, PMD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1993, 35 (05) : 301 - 311
  • [7] An Object-Oriented Language for Modeling of Hybrid Systems
    Fang, Huixing
    Zhu, Huibiao
    Shi, Jianqi
    2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2015, : 1 - 9
  • [8] On the semantics of object-oriented landmark recognition
    E. Michaelsen
    K. Jäger
    D. Roschkowski
    L. Doktorski
    M. Arens
    Pattern Recognition and Image Analysis, 2012, 22 (1) : 44 - 53
  • [9] Object-oriented action semantics specifications
    Carvilhe, C
    Musicante, MA
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (08) : 910 - 934
  • [10] AGENTS - OBJECT-ORIENTED PROLOG SYSTEM FOR COOPERATING KNOWLEDGE-BASED SYSTEMS
    HUANG, GQ
    BRANDON, JA
    KNOWLEDGE-BASED SYSTEMS, 1992, 5 (02) : 125 - 136
12345