Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《JOURNAL OF LANZHOU RAILWAY INSTITUTE》 1999-02
Add to Favorite Get Latest Update

Algebraic semantics and inheritance of an abstract class with trace

Cao Chun (Office of Education Northwest China Institute for Nationalities, Lanzhou 730030)  
Using the method of category theory in theorotical computer science,I give a formal description of an abstract data type with trace. An object is a model of the class, which satisfies some axiom constraints. Based on this viewpoint, a concept of inheritance is given formally.
【CateGory Index】: TP301.2
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【Citations】
Chinese Journal Full-text Database 2 Hits
1 Feng Yulin(Institute of Software, Academta Sinica, Beijing 100080);ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT[J];Chinese Journal of Computers;1992-12
2 Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080;OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING[J];Chinese Journal of Computers;1993-11
【Co-citations】
Chinese Journal Full-text Database 9 Hits
1 YU Fan hua,FU Miao miao,WANG Sheng feng (The Institute of Information & Technology Changchun Teachers College,Changchun 130032,China);How to Reallize Fast and Dynamic Bind in Use of Method Name in Orient Language[J];Journal of Changchun Teachers College;2002-05
2 LIU Zhi-Feng JU Shi-Guang WANG Chang-Da ZHOU Cong-Hua (School of Computer Science and Telecommunication Engineering,Jiangsu University,Jiangsu Zhenjiang 212013);On the Principle of Information Transfer in Covert Channel[J];Computer Science;2007-10
3 Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080;OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING[J];Chinese Journal of Computers;1993-11
4 Feng Yulin; Huang Tao and Wu Xiaopeng(Laboratory of Computer Science, Instute of Sofware, The Vhinese Academy of Sciences:Beijing 100080);RESEARCH ON COMPONENT SOFTWARE ENGINEERING IN OBJECT ORIENTATION[J];CHINESE JOURNAL OF COMPUTERS;1996-03
5 LIU Zhi-feng,JU Shi-guang,LI Pei(School of Computer Science & Telecommunication Engineering,Jiangsu University,Zhenjiang Jiangsu 212013,China);Analysis of covert channels in disk arm based on operational semantics[J];Application Research of Computers;2007-11
6 Zhao Ke;Ye Shanghui (Xi'an University of Eleetroronic Seience and Technology, Xi'an 710071);A Resource Model for Object-Oriented Design Knowledge Representation[J];MECHANICAL SCIENCE AND TECHNOLOGY;1995-04
7 HUANG Tao; QIAN Jun; NI Bin (Laboratory of Computer Science Institute of Software The Chinese Academy of Sciences Beijing 100080) (Object Technology Center Institute of Software The Chinese Academp of Sciences Beijing 100080);Trace Calculus[J];JOURNAL OF SOFTWARE;1999-08
8 DAI Mei1, SUN Guo-qiang1, LIU Zhi-feng2 (1. School of Computer and Electical Engineering, University of Shanghai for Science and Technology, Shanghai 200093, China; 2.School of Computer Science And Telecommunication Engineering, Jiangsu University, Zhenjiang 212013, China);Analysis of covert timing channels based on operational semantics[J];Computer Engineering and Design;2009-07
9 HU Jin zhu 1 SHU Zhong mei 2 1 (Department of Computer Science,Central China Normal University,Wuhan 430079, China) 2 (Department of Computer Science, Zhongshan University, Guangzhou 510275, China);A Tentaitive Approach of Picto-Object Semantic's Model Based on Algebraic -Temporal Logic[J];Mini-micro Systems;2002-07
【Secondary Citations】
Chinese Journal Full-text Database 2 Hits
1 Feng Yulin, Zhao Xudong and Guo Duanyang(University of Science and Technology of China);AUTOMATIC VERIFICATION OF CONCURRENT SYSTEMS USING TEMPORAL LOGIC[J];Chinese Journal of Computers;1990-02
2 Feng Yulin(Institute of Software, Academta Sinica, Beijing 100080);ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT[J];Chinese Journal of Computers;1992-12
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved