A mathematical model of inheritance

来源 :中国科学：技术科学英文版 | 被引量 : 0次 | 上传用户：duzhanghuaduzhanghua

【摘要】

：

Inheritance is regarded as the hallmark of object-oriented programming languages.A mathematical model of inheritance is presented.In this model,the graph-sorted

【作者】

：

瞿裕忠王志坚徐家福

【机构】

：

InstituteofComputerSoftware,NanjingUniversity,Nanjing210093,China,China

【出处】

：

中国科学：技术科学英文版

【发表日期】

：

1996年1期

【关键词】

：

OBJECT-ORIENTED INHERITANCE ALGEBRAIC structure graph-sorted SIGNATURE extension

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Inheritance is regarded as the hallmark of object-oriented programming languages.A mathematical model of inheritance is presented.In this model,the graph-sorted signature is introduced to represent the algebraic structure of the program,and an extension f

其他文献

Consistency-based abduction with extended disjunctive logic programs

By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disjunctive logic programs, called the typic

期刊

DISJUNCTIVElogicPROGRAMMINGABDUCTIONHYPOTHESISstablesemantics.disjunctive

Quasi-three-dimensional refined modelling of turbulent flow and water quality in coastal waters

The water quality in Victoria Harbour.Hong Kong is dominated by strong seasonal effects resulting from the variation in freshwater discharge into the Pearl Estu

期刊

numericalMODELLINGTURBULENCEmodelwaterqualityECOSYSTEMCOASTALwaters.num

Theoretical research on construction quality real-time monitoring and system integration of core roc

With the enlargement of core rockfill dam construction scale and the improvement of construction mechanization level, the traditional manual construction qualit

期刊

COREROCKFILLDAMconstructionqualityREAL-TIMEMONITORINGsystemINTEGRATIONc

A new class of scrambling transformation and its application in the image information covering

This paper studies two kinds of nonlinear transformations, namely the higher-dimensional Arnold transformation and the higher-dimensional Fibonacci Q-transformation and discusses the scrambling action

期刊

digitalIMAGESCRAMBLINGTRANSFORMATIONARNOLDTRANSFORMATIONPERIODICITYFIBONA

Approximation capability of regular fuzzy neural networks to continuous fuzzy functions

The approximation capability of regular fuzzy neural networks to fuzzy functions is studied. When σ is a nonconstant, bounded and continuous function on R, som

期刊

REGULARFUZZYNEURALnetworksUNIVERSALapproxilnationcut-preservingFUZZYmapp

Agent-oriented commonsense knowledge base

Common sense processing has been the key difficulty in Al community. Through analyzing various research methods on common sense, a large-scale agent-oriented co

期刊

commonSENSEconunonsenseKNOWLEDGEbaseagentONTOLOGYSEMANTICnetwork.common

A new measuring technique of soil thermal inertia

Thermal inertia is the function of substance density, heat capacity and heat diffusivity, and is an important parameter for researching the process of surface heat balance using remote sensing techniq

期刊

SOILTHERMALINERTIAquickMEASUREMENTNEWmethod.soil thermal inertia quick m

Splitting extrapolation based on domain decomposition for finite element approximations

Splitting extrapolation based on domain decomposition for finite element approximations is a new technique for solving large scale scientific and engineering problems in parallel. By means of domain d

期刊

SPLITTINGEXTRAPOLATIONDOMAINDECOMPOSITIONPARALLELalgorithm.splitting extra

Disjunctive logic and semantics of disjunctive logic programs

In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not

期刊

DISJUNCTIVELOGICDISJUNCTIVELOGICPROGRAMMINGsemantics.disjunctive logic di

Hemocompatibility of DLC coatings synthesized by ion beam assisted deposition

Ion beam-assisted diamond-like carbon (DLC) coatings have beenused for growing the human platelet, fibrinogen, and albumin in the control environment in order t

期刊

像钻石的碳离子横梁帮助了免职蛋白质吸附hemocompatibilitydiamond-like carbon ion beam assisted de

A mathematical model of inheritance

其他学术论文