Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,771
Logical foundations of object-oriented and frame-based languages
- JOURNAL OF THE ACM
, 1995
"... We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, ..."
Abstract
-
Cited by 876 (65 self)
- Add to MetaCart
, encapsulation, and others. In a sense, F-logic stands in the same relationship to the objectoriented paradigm as classical predicate calculus stands to relational programming. F-logic has a model-theoretic semantics and a sound and complete resolution-based proof theory. A small number of fundamental concepts
Model checking and abstraction
- ACM Transactions on Programming Languages and Systems
, 1994
"... software developers are using the Java language as the language of choice on many applications. This is due to the effective use of the object-oriented (OO) paradigm to develop large software projects and the ability of the Java language to support the increasing use of web technologies in business ..."
Abstract
-
Cited by 742 (55 self)
- Add to MetaCart
software developers are using the Java language as the language of choice on many applications. This is due to the effective use of the object-oriented (OO) paradigm to develop large software projects and the ability of the Java language to support the increasing use of web technologies in business
The Object-Oriented Database System Manifesto
, 1989
"... This paper attempts to define an object-oriented database system. It describes the main features and characteristics that a system must have to qualify as an objectoriented database system. We have separated these characteristics into three groups: ffl Mandatory, the ones the system must satisfy in ..."
Abstract
-
Cited by 361 (5 self)
- Add to MetaCart
This paper attempts to define an object-oriented database system. It describes the main features and characteristics that a system must have to qualify as an objectoriented database system. We have separated these characteristics into three groups: ffl Mandatory, the ones the system must satisfy
The Object-Oriented Paradigm
, 1998
"... The object-oriented paradigm is a concept-centric paradigm encompassing the following pillars (first principles): abstraction, encapsulation, inheritance, and polymorphism. It was originally conceived by three of the most prominent Greek philosophers, Socrates (470-399 BC), Plato (428-348 BC), and A ..."
Abstract
- Add to MetaCart
The object-oriented paradigm is a concept-centric paradigm encompassing the following pillars (first principles): abstraction, encapsulation, inheritance, and polymorphism. It was originally conceived by three of the most prominent Greek philosophers, Socrates (470-399 BC), Plato (428-348 BC
AN APPLICATION OF THE OBJECT-ORIENTED PARADIGM
"... Puoi ( ' 7-: 4 " s I.-em on of infornaton is estimated to a ve,aele! nour Der 'eswose. ndwing the tinne for rev ewin anstrictons. searc ".- e. sling data sources. ..."
Abstract
- Add to MetaCart
Puoi ( ' 7-: 4 " s I.-em on of infornaton is estimated to a ve,aele! nour Der 'eswose. ndwing the tinne for rev ewin anstrictons. searc ".- e. sling data sources.
Semantic database modeling: Survey, applications, and research issues
- ACM Computing Surveys
, 1987
"... Most common database management systems represent information in a simple record-based format. Semantic modeling provides richer data structuring capabilities for database applications. In particular, research in this area has articulated a number of constructs that provide mechanisms for representi ..."
Abstract
-
Cited by 262 (3 self)
- Add to MetaCart
for representing structurally complex interrelations among data typically arising in commercial applications. In general terms, semantic modeling complements work on knowledge representation (in artificial intelligence) and on the new generation of database models based on the object-oriented paradigm
Living with CLASSIC: When and How to Use a KL-ONE-Like Language
- Principles of Semantic Networks
, 1991
"... classic is a recently-developed knowledge representation system that follows the paradigm originally set out in the kl-one system: it concentrates on the definition of structured concepts, their organization into taxonomies, the creation and manipulation of individual instances of such concepts, ..."
Abstract
-
Cited by 257 (18 self)
- Add to MetaCart
classic is a recently-developed knowledge representation system that follows the paradigm originally set out in the kl-one system: it concentrates on the definition of structured concepts, their organization into taxonomies, the creation and manipulation of individual instances of such concepts
Structured Interviews on the Object-Oriented Paradigm
, 1995
"... The method of structured interviewing is an appropriate means of conducting a primary investigation when beginning a programme of research involving different empirical techniques because (i) interviewing experienced users from academia and industry should determine if academics are exploring issues ..."
Abstract
-
Cited by 11 (5 self)
- Add to MetaCart
issues that industrialists deem important, (ii) interviewing users from industry helps provide external validity, (iii) users of object-oriented systems have their own views on the benefits and drawbacks of the paradigm. These opinions could then be used as evidence to decide whether an empirically
Results 1 - 10
of
1,771
