I+: A multiparadigm language for object-oriented declarative programming

This paper presents a multiparadigm language I + which is an integration of the three major programming paradigms: object-oriented, logic and functional. I + has an object-oriented framework in which the notions of classes, objects, methods, inheritance and message passing are supported. Methods may...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Computer languages Ročník 21; číslo 2; s. 81 - 100
Hlavní autori: Ng, K.W., Luk, C.K.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Oxford Elsevier Ltd 01.07.1995
Elsevier Science
Predmet:
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
functional paradigm
logic paradigm
multiparadigm
object-oriented paradigm
Programming languages
Software
Software engineering
multiparadigm
functional paradigm
object-oriented paradigm
logic paradigm
Functional language
Parallel programming
Paradigm
Programming language
Functional programming
Object oriented
ISSN:0096-0551
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract This paper presents a multiparadigm language I + which is an integration of the three major programming paradigms: object-oriented, logic and functional. I + has an object-oriented framework in which the notions of classes, objects, methods, inheritance and message passing are supported. Methods may be specified as clauses or functions, thus the two declarative paradigms are incorporated at the method level of the object-oriented paradigm. In addition, two levels of parallelism may be exploited in I + programming. Therefore I + is a multiparadigm language for object-oriented declarative programming as well as parallel programming.
AbstractList This paper presents a multiparadigm language I + which is an integration of the three major programming paradigms: object-oriented, logic and functional. I + has an object-oriented framework in which the notions of classes, objects, methods, inheritance and message passing are supported. Methods may be specified as clauses or functions, thus the two declarative paradigms are incorporated at the method level of the object-oriented paradigm. In addition, two levels of parallelism may be exploited in I + programming. Therefore I + is a multiparadigm language for object-oriented declarative programming as well as parallel programming.
Author Luk, C.K.
Ng, K.W.
Author_xml – sequence: 1
  givenname: K.W.
  surname: Ng
  fullname: Ng, K.W.
  organization: Department of Computer Science, The Chinese University of Hong Kong, Shatin, Hong Kong
– sequence: 2
  givenname: C.K.
  surname: Luk
  fullname: Luk, C.K.
  organization: Department of Computer Science, University of Toronto, Toronto, Canada
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=3681808$$DView record in Pascal Francis
BookMark eNqFkD9PwzAQxT0UibbwDRgyMIBQwI6bxO6AVFX8qdSKBWbr4lwiV0lc2Wklvj0OBQYGuOWkp_ee7n4TMupsh4RcMHrLKMvuKJVZTNOUXcn0mobh8WZExj_yKZl4vw16nuRyTJ5XN_NoEbX7pjc7cFCauo0a6Oo91BhV1kW22KLuY-sMdj2WUYm6CcbeHDDaOVs7aFvT1WfkpILG4_nXnpK3x4fX5XO8fnlaLRfrWHPO-1hwngicsQQ5lygykckcIMUkqAkrOGZZwSAXguukLFBo0IKXUmsQ6UxLwafk8ti7A6-hqRx02ni1c6YF9654Jpigg21-tGlnvXdYKW36cLTtegemUYyqAZcauKiBi5Kp-sSlNiE8-xX-rv8ndn-MYfj_YNAprwM0jaVxAaEqrfm74APbJYVQ
CODEN COLADA
CitedBy_id crossref_primary_10_1145_369928_369947
crossref_primary_10_1177_2041304110394727
crossref_primary_10_1016_j_future_2004_09_014
Cites_doi 10.1016/0743-1066(87)90006-9
10.1016/0165-6074(93)90041-I
10.1109/52.17800
10.1016/0743-7315(91)90125-S
10.1145/72551.72554
10.1145/122438.122440
10.1016/0096-0551(91)90009-X
10.1145/114669.114671
10.1145/382192.383004
ContentType Journal Article
Copyright 1995
1995 INIST-CNRS
Copyright_xml – notice: 1995
– notice: 1995 INIST-CNRS
DBID AAYXX
CITATION
IQODW
DOI 10.1016/0096-0551(95)00003-M
DatabaseName CrossRef
Pascal-Francis
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Applied Sciences
EndPage 100
ExternalDocumentID 3681808
10_1016_0096_0551_95_00003_M
009605519500003M
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
1B1
1~.
1~5
29F
4G.
5GY
5VS
6J9
6TJ
6TU
7-5
71M
8P~
AACTN
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
ABBOA
ABJNI
ABMAC
ABTAH
ABXDB
ABYKQ
ACDAQ
ACGFS
ACNNM
ACRLP
ADBBV
ADEZE
ADFGL
ADJOM
ADMUD
AEKER
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CS3
EBS
EFJIC
EJD
EO8
EO9
EP2
EP3
FDB
FGOYB
FIRID
FNPLU
FYGXN
G-Q
G8K
GBOLZ
HLZ
HMY
HZ~
IHE
KOM
LG9
M41
MO0
O-L
O9-
OAUVE
OZT
P-9
PC.
Q38
R2-
ROL
RPZ
SBC
SDF
SDG
SEW
SPC
SSS
SSV
SSZ
T5K
TN5
UHS
VOH
WUQ
XFK
XOL
ZY4
9DU
AATTM
AAXKI
AAYWO
AAYXX
ABDPE
ABWVN
ACLOT
ACRPL
ACVFH
ADCNI
ADNMO
AEIPS
AEUPX
AFPUW
AGQPQ
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
CITATION
EFKBS
~HD
AFXIZ
AGCQF
AGRNS
IQODW
SSH
ID FETCH-LOGICAL-c333t-83328e412e339e868697aa5e228e21b3e66b1a7883c2dbe8cac83d9cca854c983
ISICitedReferencesCount 7
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=009605519500003M&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0096-0551
IngestDate Mon Jul 21 09:11:43 EDT 2025
Tue Nov 18 21:49:31 EST 2025
Sat Nov 29 02:22:21 EST 2025
Fri Feb 23 02:19:35 EST 2024
IsPeerReviewed false
IsScholarly false
Issue 2
Keywords multiparadigm
functional paradigm
object-oriented paradigm
logic paradigm
Functional language
Parallel programming
Paradigm
Programming language
Functional programming
Object oriented
Language English
License https://www.elsevier.com/tdm/userlicense/1.0
CC BY 4.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c333t-83328e412e339e868697aa5e228e21b3e66b1a7883c2dbe8cac83d9cca854c983
PageCount 20
ParticipantIDs pascalfrancis_primary_3681808
crossref_citationtrail_10_1016_0096_0551_95_00003_M
crossref_primary_10_1016_0096_0551_95_00003_M
elsevier_sciencedirect_doi_10_1016_0096_0551_95_00003_M
PublicationCentury 1900
PublicationDate 1995-07-01
PublicationDateYYYYMMDD 1995-07-01
PublicationDate_xml – month: 07
  year: 1995
  text: 1995-07-01
  day: 01
PublicationDecade 1990
PublicationPlace Oxford
PublicationPlace_xml – name: Oxford
PublicationTitle Computer languages
PublicationYear 1995
Publisher Elsevier Ltd
Elsevier Science
Publisher_xml – name: Elsevier Ltd
– name: Elsevier Science
References van Emden, Yukawa (BIB14) 1987; 4
Kahn (BIB23) 1982
Koschmann, Evers (BIB30) 1988; 5
Lloyd (BIB2) 1984
Corradi, Leonardi (BIB16) 1990
Gabriel, White, Bobrow (BIB33) 1991; 34
Eliens (BIB7) 1992
Cheng, van Emden, Richards (BIB17) 1989
Digital Equipments Corp. (BIB18) 1990; Vol. 2
Wegner (BIB1) 1990; 1
McCabe (BIB8) 1992
Ibrahin, Cummins (BIB27) 1990
Goldberg, Robson (BIB11) 1990
Winston, Horn (BIB13) 1989
Subrahmanyan, You (BIB35) 1985
Narain (BIB36) 1990
Ng (BIB21) 1995
Kernighan, Ritchie (BIB19) 1989
Placer (BIB41) 1991; 16
Ait-Kaci (BIB39) 1991
Darlington, Field, Pull (BIB34) 1985
Wu (BIB22) 1991; 2
Cohen (BIB38) 1985
Beaven, Stansifer, Wetklow (BIB32) 1991
Ng, Luk (BIB4) 1993; 37
Zaniolo (BIB24) 1984
Ng, Luk (BIB5) 1993
Barbuti, Bellia, Levi, Martelli (BIB37) 1985
Kahn (BIB40) 1985
Yau, Jia, Bae (BIB31) 1991; 12
Hudak (BIB3) 1989; 21
Davison (BIB9) 1988
Quintus (BIB20) 1991
Ng, Luk (BIB6) 1995
Goguen, Mesegne (BIB10) 1987
Augustsson, Johnsson (BIB15) 1992
Mello, Natali (BIB25) 1986
Hodas, Miller (BIB26) 1990
Stroustrup (BIB12) 1986
Ishikawa, Tokoro (BIB28) 1987
Kahn, Tribble, Miller, Bobrow (BIB29) 1987
Narain (10.1016/0096-0551(95)00003-M_BIB36) 1990
Zaniolo (10.1016/0096-0551(95)00003-M_BIB24) 1984
Kahn (10.1016/0096-0551(95)00003-M_BIB40) 1985
Lloyd (10.1016/0096-0551(95)00003-M_BIB2) 1984
Cheng (10.1016/0096-0551(95)00003-M_BIB17) 1989
Barbuti (10.1016/0096-0551(95)00003-M_BIB37) 1985
Placer (10.1016/0096-0551(95)00003-M_BIB41) 1991; 16
Yau (10.1016/0096-0551(95)00003-M_BIB31) 1991; 12
Cohen (10.1016/0096-0551(95)00003-M_BIB38) 1985
Augustsson (10.1016/0096-0551(95)00003-M_BIB15) 1992
Digital Equipments Corp. (10.1016/0096-0551(95)00003-M_BIB18) 1990; Vol. 2
Beaven (10.1016/0096-0551(95)00003-M_BIB32) 1991
Ng (10.1016/0096-0551(95)00003-M_BIB4) 1993; 37
Kahn (10.1016/0096-0551(95)00003-M_BIB23) 1982
Ng (10.1016/0096-0551(95)00003-M_BIB6) 1995
Hodas (10.1016/0096-0551(95)00003-M_BIB26) 1990
Ait-Kaci (10.1016/0096-0551(95)00003-M_BIB39) 1991
Ishikawa (10.1016/0096-0551(95)00003-M_BIB28) 1987
Wegner (10.1016/0096-0551(95)00003-M_BIB1) 1990; 1
Eliens (10.1016/0096-0551(95)00003-M_BIB7) 1992
Wu (10.1016/0096-0551(95)00003-M_BIB22) 1991; 2
Mello (10.1016/0096-0551(95)00003-M_BIB25) 1986
van Emden (10.1016/0096-0551(95)00003-M_BIB14) 1987; 4
Corradi (10.1016/0096-0551(95)00003-M_BIB16) 1990
Hudak (10.1016/0096-0551(95)00003-M_BIB3) 1989; 21
Quintus (10.1016/0096-0551(95)00003-M_BIB20) 1991
Ng (10.1016/0096-0551(95)00003-M_BIB21) 1995
Goguen (10.1016/0096-0551(95)00003-M_BIB10) 1987
Koschmann (10.1016/0096-0551(95)00003-M_BIB30) 1988; 5
Kernighan (10.1016/0096-0551(95)00003-M_BIB19) 1989
McCabe (10.1016/0096-0551(95)00003-M_BIB8) 1992
Darlington (10.1016/0096-0551(95)00003-M_BIB34) 1985
Davison (10.1016/0096-0551(95)00003-M_BIB9) 1988
Stroustrup (10.1016/0096-0551(95)00003-M_BIB12) 1986
Winston (10.1016/0096-0551(95)00003-M_BIB13) 1989
Gabriel (10.1016/0096-0551(95)00003-M_BIB33) 1991; 34
Ibrahin (10.1016/0096-0551(95)00003-M_BIB27) 1990
Kahn (10.1016/0096-0551(95)00003-M_BIB29) 1987
Goldberg (10.1016/0096-0551(95)00003-M_BIB11) 1990
Subrahmanyan (10.1016/0096-0551(95)00003-M_BIB35) 1985
Ng (10.1016/0096-0551(95)00003-M_BIB5) 1993
References_xml – year: 1989
  ident: BIB19
  publication-title: The C Programming Language
– start-page: 218
  year: 1990
  end-page: 227
  ident: BIB36
  article-title: Lazy evaluation in logic programming
  publication-title: Proceedings of the International Symposium on Logic Programming
– year: 1990
  ident: BIB11
  publication-title: SMALLTALK-80—The Language and Its Implementation
– year: 1989
  ident: BIB13
  publication-title: LISP
– volume: 16
  start-page: 235
  year: 1991
  end-page: 258
  ident: BIB41
  article-title: The multiparadigm language G
  publication-title: Comput. Lang.
– year: 1991
  ident: BIB20
  publication-title: Quintus Prolog 3.1 Reference Manual
– volume: 5
  start-page: 36
  year: 1988
  end-page: 42
  ident: BIB30
  article-title: Bridge the gap between object-oriented and logic programming
  publication-title: IEEE Software
– start-page: 213
  year: 1982
  end-page: 230
  ident: BIB23
  article-title: Intermission-actors in Prolog
  publication-title: Logic Programming
– volume: Vol. 2
  year: 1990
  ident: BIB18
  article-title: ULTRIX Supplementary Document
  publication-title: Programmer's Manual
– year: 1986
  ident: BIB12
  publication-title: The C++ Programming Language
– start-page: 265
  year: 1984
  end-page: 270
  ident: BIB24
  article-title: Object-oriented programming in Prolog
  publication-title: Proceedings of 1984 IEEE Symposium on Logic Programming
– start-page: 511
  year: 1990
  end-page: 528
  ident: BIB26
  article-title: Representing objects in a logic programming language with scoping constructs
  publication-title: Proceedings of the Seventh International Conference of Logic Programming
– volume: 21
  start-page: 359
  year: 1989
  end-page: 411
  ident: BIB3
  article-title: Conception, evolution, and application of functional programming languages
  publication-title: ACM Comput. Surv.
– year: 1988
  ident: BIB9
  publication-title: Polka: a Parlog object oriented language. Internal Report
– volume: 12
  start-page: 202
  year: 1991
  end-page: 212
  ident: BIB31
  article-title: PROOF: a parallel object-oriented functional computation model
  publication-title: J. Parallel Distrib. Comput.
– start-page: 417
  year: 1987
  end-page: 478
  ident: BIB10
  article-title: Unifying functional, object-oriented, and relational programming with logical semantics
  publication-title: Research Directions in Object-Oriented Programming
– start-page: 75
  year: 1987
  end-page: 112
  ident: BIB29
  article-title: Vulcan: logical concurrent objects
  publication-title: Rsearch Directions in Object-Oriented Programming
– start-page: 201
  year: 1985
  end-page: 238
  ident: BIB37
  article-title: Logic. Equations and functions
  publication-title: Logic Programming: Relations, Functions and Equations
– volume: 34
  start-page: 28
  year: 1991
  end-page: 38
  ident: BIB33
  article-title: CLOS: integrating object-oriented and functional programming
  publication-title: Commun. ACM
– volume: 4
  year: 1987
  ident: BIB14
  article-title: Logic programming with equations
  publication-title: J. Logic Programm.
– year: 1984
  ident: BIB2
  publication-title: Foundations of Logic Programming
– year: 1995
  ident: BIB21
  article-title: The
  publication-title: Technical Report
– start-page: 364
  year: 1991
  end-page: 370
  ident: BIB32
  article-title: functional language with classes
  publication-title: LNCS 507
– year: 1989
  ident: BIB17
  article-title: On Warren's method for functional programming in Logic
  publication-title: Technical Report
– start-page: 129
  year: 1987
  end-page: 158
  ident: BIB28
  article-title: Orient84/K: an object-oriented concurrent programming language for knowledge representation
  publication-title: Object-Oriented Concurrent Programming
– start-page: 271
  year: 1990
  end-page: 280
  ident: BIB16
  article-title: Parallelism in object-oriented programming language
  publication-title: Prceedings of the 1990 International Conference on Computer Languages
– start-page: 228
  year: 1990
  end-page: 235
  ident: BIB27
  article-title: KSL/logic: integration of logic with objects
  publication-title: Proceedings of International Symposium on Logic Programming
– start-page: 37
  year: 1985
  end-page: 70
  ident: BIB34
  article-title: The unification of functional and logic languages
  publication-title: Logic Programming: Relations, Functions and Equations
– volume: 37
  start-page: 171
  year: 1993
  end-page: 174
  ident: BIB4
  article-title: The design of a multiparadigm programming language: I
  publication-title: Microprocess. Microprogramm.
– year: 1992
  ident: BIB8
  publication-title: Logic and Objects
– start-page: 411
  year: 1985
  end-page: 438
  ident: BIB40
  article-title: UNIFORM: a language based upon unification which unifies (much of) Lisp, Prolog, and Act 1
  publication-title: Logic Programming: Relations, Functions and Equations
– year: 1992
  ident: BIB7
  publication-title: DLP A Language for Distributed Logic Programming Design, Semantics and Implementation
– year: 1992
  ident: BIB15
  publication-title: Lazy ML User's Manual
– start-page: 42
  year: 1991
  end-page: 58
  ident: BIB39
  article-title: An overview of LIFE
  publication-title: Next Generation Information System Technology
– start-page: 239
  year: 1985
  end-page: 261
  ident: BIB38
  article-title: The Applog language
  publication-title: Logic Programming: Relations, Functions, and Equations
– year: 1995
  ident: BIB6
  article-title: The
  publication-title: Technical Report
– volume: 2
  start-page: 28
  year: 1991
  end-page: 37
  ident: BIB22
  article-title: Integrating logic and object-oriented programming
  publication-title: OOPS Messager
– volume: 1
  start-page: 7
  year: 1990
  end-page: 87
  ident: BIB1
  article-title: Concept and paradigms of object-oriented programming
  publication-title: OOPS Messager
– start-page: 157
  year: 1985
  end-page: 197
  ident: BIB35
  article-title: FUNLOG: a computational model integrating logic programming and functional programming
  publication-title: Logic Programming: Relations, Functions and Equations
– start-page: 382
  year: 1993
  end-page: 385
  ident: BIB5
  article-title: I: an Integrated programming language
  publication-title: Proceedings of IEEE TENCON '93
– start-page: 274
  year: 1986
  end-page: 288
  ident: BIB25
  article-title: Programs as collections of communicating Prolog units
  publication-title: LNCS 213
– start-page: 201
  year: 1985
  ident: 10.1016/0096-0551(95)00003-M_BIB37
  article-title: Logic. Equations and functions
– year: 1991
  ident: 10.1016/0096-0551(95)00003-M_BIB20
– volume: 4
  issue: 4
  year: 1987
  ident: 10.1016/0096-0551(95)00003-M_BIB14
  article-title: Logic programming with equations
  publication-title: J. Logic Programm.
  doi: 10.1016/0743-1066(87)90006-9
– start-page: 157
  year: 1985
  ident: 10.1016/0096-0551(95)00003-M_BIB35
  article-title: FUNLOG: a computational model integrating logic programming and functional programming
– start-page: 218
  year: 1990
  ident: 10.1016/0096-0551(95)00003-M_BIB36
  article-title: Lazy evaluation in logic programming
– volume: 37
  start-page: 171
  year: 1993
  ident: 10.1016/0096-0551(95)00003-M_BIB4
  article-title: The design of a multiparadigm programming language: I
  publication-title: Microprocess. Microprogramm.
  doi: 10.1016/0165-6074(93)90041-I
– start-page: 364
  year: 1991
  ident: 10.1016/0096-0551(95)00003-M_BIB32
  article-title: functional language with classes
– year: 1995
  ident: 10.1016/0096-0551(95)00003-M_BIB6
  article-title: The I+ programming language
– volume: 5
  start-page: 36
  issue: 5
  year: 1988
  ident: 10.1016/0096-0551(95)00003-M_BIB30
  article-title: Bridge the gap between object-oriented and logic programming
  publication-title: IEEE Software
  doi: 10.1109/52.17800
– volume: Vol. 2
  year: 1990
  ident: 10.1016/0096-0551(95)00003-M_BIB18
  article-title: ULTRIX Supplementary Document
– start-page: 417
  year: 1987
  ident: 10.1016/0096-0551(95)00003-M_BIB10
  article-title: Unifying functional, object-oriented, and relational programming with logical semantics
– year: 1989
  ident: 10.1016/0096-0551(95)00003-M_BIB19
– year: 1984
  ident: 10.1016/0096-0551(95)00003-M_BIB2
– start-page: 274
  year: 1986
  ident: 10.1016/0096-0551(95)00003-M_BIB25
  article-title: Programs as collections of communicating Prolog units
– year: 1992
  ident: 10.1016/0096-0551(95)00003-M_BIB7
– start-page: 37
  year: 1985
  ident: 10.1016/0096-0551(95)00003-M_BIB34
  article-title: The unification of functional and logic languages
– start-page: 265
  year: 1984
  ident: 10.1016/0096-0551(95)00003-M_BIB24
  article-title: Object-oriented programming in Prolog
– volume: 12
  start-page: 202
  year: 1991
  ident: 10.1016/0096-0551(95)00003-M_BIB31
  article-title: PROOF: a parallel object-oriented functional computation model
  publication-title: J. Parallel Distrib. Comput.
  doi: 10.1016/0743-7315(91)90125-S
– start-page: 239
  year: 1985
  ident: 10.1016/0096-0551(95)00003-M_BIB38
  article-title: The Applog language
– start-page: 411
  year: 1985
  ident: 10.1016/0096-0551(95)00003-M_BIB40
  article-title: UNIFORM: a language based upon unification which unifies (much of) Lisp, Prolog, and Act 1
– volume: 21
  start-page: 359
  issue: 3
  year: 1989
  ident: 10.1016/0096-0551(95)00003-M_BIB3
  article-title: Conception, evolution, and application of functional programming languages
  publication-title: ACM Comput. Surv.
  doi: 10.1145/72551.72554
– year: 1995
  ident: 10.1016/0096-0551(95)00003-M_BIB21
  article-title: The I+ programming environment
– volume: 2
  start-page: 28
  issue: 1
  year: 1991
  ident: 10.1016/0096-0551(95)00003-M_BIB22
  article-title: Integrating logic and object-oriented programming
  publication-title: OOPS Messager
  doi: 10.1145/122438.122440
– start-page: 382
  year: 1993
  ident: 10.1016/0096-0551(95)00003-M_BIB5
  article-title: I: an Integrated programming language
– volume: 16
  start-page: 235
  year: 1991
  ident: 10.1016/0096-0551(95)00003-M_BIB41
  article-title: The multiparadigm language G
  publication-title: Comput. Lang.
  doi: 10.1016/0096-0551(91)90009-X
– volume: 34
  start-page: 28
  issue: 9
  year: 1991
  ident: 10.1016/0096-0551(95)00003-M_BIB33
  article-title: CLOS: integrating object-oriented and functional programming
  publication-title: Commun. ACM
  doi: 10.1145/114669.114671
– start-page: 271
  year: 1990
  ident: 10.1016/0096-0551(95)00003-M_BIB16
  article-title: Parallelism in object-oriented programming language
– start-page: 228
  year: 1990
  ident: 10.1016/0096-0551(95)00003-M_BIB27
  article-title: KSL/logic: integration of logic with objects
– start-page: 129
  year: 1987
  ident: 10.1016/0096-0551(95)00003-M_BIB28
  article-title: Orient84/K: an object-oriented concurrent programming language for knowledge representation
– start-page: 75
  year: 1987
  ident: 10.1016/0096-0551(95)00003-M_BIB29
  article-title: Vulcan: logical concurrent objects
– year: 1986
  ident: 10.1016/0096-0551(95)00003-M_BIB12
– year: 1992
  ident: 10.1016/0096-0551(95)00003-M_BIB15
– year: 1990
  ident: 10.1016/0096-0551(95)00003-M_BIB11
– start-page: 511
  year: 1990
  ident: 10.1016/0096-0551(95)00003-M_BIB26
  article-title: Representing objects in a logic programming language with scoping constructs
– year: 1992
  ident: 10.1016/0096-0551(95)00003-M_BIB8
– year: 1989
  ident: 10.1016/0096-0551(95)00003-M_BIB17
  article-title: On Warren's method for functional programming in Logic
– year: 1988
  ident: 10.1016/0096-0551(95)00003-M_BIB9
– year: 1989
  ident: 10.1016/0096-0551(95)00003-M_BIB13
– start-page: 213
  year: 1982
  ident: 10.1016/0096-0551(95)00003-M_BIB23
  article-title: Intermission-actors in Prolog
– volume: 1
  start-page: 7
  issue: 1
  year: 1990
  ident: 10.1016/0096-0551(95)00003-M_BIB1
  article-title: Concept and paradigms of object-oriented programming
  publication-title: OOPS Messager
  doi: 10.1145/382192.383004
– start-page: 42
  year: 1991
  ident: 10.1016/0096-0551(95)00003-M_BIB39
  article-title: An overview of LIFE
SSID ssj0007279
Score 1.2500776
Snippet This paper presents a multiparadigm language I + which is an integration of the three major programming paradigms: object-oriented, logic and functional. I +...
SourceID pascalfrancis
crossref
elsevier
SourceType Index Database
Enrichment Source
Publisher
StartPage 81
SubjectTerms Applied sciences
Computer science; control theory; systems
Exact sciences and technology
functional paradigm
logic paradigm
multiparadigm
object-oriented paradigm
Programming languages
Software
Software engineering
Title I+: A multiparadigm language for object-oriented declarative programming
URI https://dx.doi.org/10.1016/0096-0551(95)00003-M
Volume 21
WOSCitedRecordID wos009605519500003M&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  issn: 0096-0551
  databaseCode: AIEXJ
  dateStart: 19950401
  customDbUrl:
  isFulltext: true
  dateEnd: 20011231
  titleUrlDefault: https://www.sciencedirect.com
  omitProxy: false
  ssIdentifier: ssj0007279
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bT9swFLY22MMkBGMXcZ38MKRNk7vGjhObt4KY6BjVHpjWt8hxXIQEadUWxM_nOL40MG2Mh71EkZWcRP2Oz_niHn8HoQ88rUwCiZFoM9IkVd0RUSzVMN27BgKiSksnkvQ9HwzEcCh_-G6js6adQF7X4vZWTv4r1DAGYNuts0-AOxqFATgH0OEIsMPxn4Dv79EDt9_cFQuqqaouzq_iymRTWDgu7foLGVuVY8s5K6Mvgwi4L9m6Ckkt6Bj4_g_RUGTjAxcuOr86sbznugmyh52TzmJZwW3TzsOygg-VtjqZezVYHypp0nIJ2op7ru2Kz6BJoz36e3B26wTRMDBoyfeo7VraZeR0kZDCn_AP8lSsHgyFadZSYS0VkheNleL0OVqmOZcQopd7_aPht5iVgae5TyH_9LCNMsm-xLGPkn_yb_MnmrIyUTOYPCPX9aRFRc5eoVX_DYF7Dvt19MzUr9FawAf7cP0GHfc_7-MevucGOKCHwQ3wAzfALTfALTd4i35-PTo7PCa-cwbRjLE5EYxRYdKEGsakEZnIZK4UNxRGaVIyk2VlonIhmKZVaYRWWrBKwmwWPNVSsHdoqR7XZgNhmZXc0rhcygqodaKAc6Z0lEor3d-tsk3Ewg9VaC8rb7ubXBZ_g2kTkXjXxMmqPHJ9HjAoPDV0lK8A53rkzt17kMXHsczKHIitJ77JNnq5mC47aGk-vTa76IW-mV_Mpu-9190BgsKEiA
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=I%2B%3A+A+multiparadigm+language+for+object-oriented+declarative+programming&rft.jtitle=Computer+languages&rft.au=Ng%2C+K.W.&rft.au=Luk%2C+C.K.&rft.date=1995-07-01&rft.issn=0096-0551&rft.volume=21&rft.issue=2&rft.spage=81&rft.epage=100&rft_id=info:doi/10.1016%2F0096-0551%2895%2900003-M&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_0096_0551_95_00003_M
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0096-0551&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0096-0551&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0096-0551&client=summon