A FORMAL DESCRIPTION OF OBJECT-ORIENTED PROGRAMMING USING VDM

被引：0

作者：

MINKOWITZ, C ^{[1
]}

HENDERSON, P ^{[1
]}

机构：

[1] STC TECHNOL LTD,NEWCASTLE LYME,STAFFS,ENGLAND

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：237 / 259

页数：23

共 50 条

[21] IS OBJECT-ORIENTED PROGRAMMING STRUCTURED PROGRAMMING
MULLER, B
SIGPLAN NOTICES, 1993, 28 (09): : 57 - 66
[22] ADVANTAGES OF OBJECT-ORIENTED PROGRAMMING
VALDES, IH
M D COMPUTING, 1994, 11 (05): : 282 - 283
[23] THE PROMISE OF OBJECT-ORIENTED PROGRAMMING
DIXON, P
BEHAVIOR RESEARCH METHODS INSTRUMENTS & COMPUTERS, 1991, 23 (02): : 134 - 141
[24] OBJECT-ORIENTED PROGRAMMING IN AI
SRINIVASAN, K
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1992, 7 (01): : 80 - 81
[25] AN EXERCISE IN OBJECT-ORIENTED PROGRAMMING
PRIES, J
JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1989, 1 (05): : 77 - 80
[26] Object-oriented robot programming
Zielinski, C
ROBOTICA, 1997, 15 : 41 - 48
[27] OBJECT-ORIENTED PROGRAMMING WITH FLAVORS
MOON, DA
SIGPLAN NOTICES, 1986, 21 (11): : 1 - 8
[28] Teaching object-oriented programming
Viswanathan, KV
JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1996, 9 (02): : 8 - &
[29] OBJECT-ORIENTED PROGRAMMING IN S
CALAWAY, R
DR DOBBS JOURNAL, 1995, 20 (10): : 44 - &
[30] Object-oriented programming with induction
Swen, B
ACM SIGPLAN NOTICES, 2000, 35 (02) : 61 - 67