A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
Deductive database languages: problems and solutions
1999
ACM Computing Surveys
Preserved Fulltext
In this paper, we discuss these problems from four different aspects: complex values, object orientation, higherorderness, and updates. ...
Deductive databases result from the integration of relational database and logic programming techniques. ...
Methods Objects in an object-oriented database are manipulated with methods. A method has a name, a signature, and an implementation. ...
doi:10.1145/311531.311533
fatcat:wv53x2zaxvbmpdjsklsgeumfvy
Integrating dynamic aspects into deductive object-oriented databases
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We s h o w h o w the dynamics of database systems can be modeled by making states rst-class citizens in an object-oriented deductive database language. ...
The method is applicable to arbitrary object-oriented deductive database languages which provide a su ciently exible syntax and semantics. ...
Updates and versioning of objects in F-Logic has been presented in KLS92] . There, updates are restricted to the form ins, mod, a n d del of method applications. ...
doi:10.1007/3-540-63516-5_15
fatcat:qzqxzhhxpbfqtkxb6s5y5tyeii
Refinable Function : An Object-oriented Approach to Procedure Modularity
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2017 pre-print arXiv:1707.02590v1 fatcat:okkld3jfz5c3dbccmstmwnhlai
In this paper, we present Refinable Function, an object-oriented approach to advanced language-based, symmetric modularity technique for the procedure. ...
We conceptually compare Refinable Function to existing technique to substantiate benefits of modularity can be implemented in on well-established object-oriented language without compiler support. ...
Object-oriented Approach The common sense of programming for Imperative programming is algorithm plus data, logic programming is rule plus fact. ...
arXiv:1707.02590v2
fatcat:r2ksfcdyunayrl2nmhxvmdueuq
Logical Foundations for Typed Object-Oriented Languages
[chapter]
1998
Programming Concepts and Methods PROCOMET '98
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
These foundations are introduced along with an object-oriented kernel language. We show how object environments of such languages can be formalized in an algebraic way. ...
This paper presents logical foundations for the most important object-oriented language features, including abstract types, dynamic binding, subtyping, and inheritance. ...
INTRODUCTION Typed object-oriented programming languages like C++, Java, Eiffel, Oberon, Modula-3, BETA, and Ada95 form an important practical class of languages. ...
doi:10.1007/978-0-387-35358-6_26
fatcat:6ysi3tzocbfchm7tk4ehx43o6y
The KIWIS knowledge base management system
[chapter]
1991
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
An efficient underlying main-memory resident database management system that is tuned to the requirements of the efficient manipulation of large numbers of complex objects and deductive queries. ...
It should be stressed that in both cases, the imported information is, in the user's or LOCO programmer's view, completely integrated with the local knowledge base. ...
LOCO is an object-oriented database programming language which models all of these concepts and integrates them with the logic programming paradigm. ...
doi:10.1007/3-540-54059-8_81
fatcat:fvsoiijgsfc67nucrjgbwzcnh4
Object-oriented databases: definition and research directions
1990
IEEE Transactions on Knowledge and Data Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
During the past several years, an object-oriented approach to programming and designing complex software systems has received tremendous attention in the programming languages, knowledge representation ...
Index Terms-Class-composition hierarchy, integration of a programming language and database, class hierarchy, object-oriented data model, object-oriented databases, object-oriented database architecture ...
One is the integration of an object-oriented programming language with a database system, in effect, support for persistent programming. ...
doi:10.1109/69.60796
fatcat:6m7zpgmffbhr7eqnr6ijeuu3lq
Type-theoretic foundations for concurrent object-oriented programing
1994
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Since Higher-Order ACL has a strong type system with a polymorphic type inference mechanism, programs of the concurrent object-oriented language can be automatically type-checked by the encoding in Higher-Order ...
We choose our own Higher-Order ACL as a basic concurrent calculus, and show that a concurrent object-oriented language can be easily encoded in the Higher-Order ACL extended with record operations. ...
This line of our work has been much improved by conversations with many people including Atsushi Ohori, Jean-Marc Andreoli, Remo Pareschi, Dale Miller, Vijay Saraswat, Samson Abramsky, Simon Gay, and Vasco ...
doi:10.1145/191081.191088
fatcat:7kcexsy7wvgg7buqpbpmojjbnq
A survey of languages integrating functional, object-oriented and logic programming
1995
Microprocessing and Microprogramming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Functional, object-oriented and logic programming are widely regarded as the three most dominant programming paradigms nowadays. ...
All possible combinations of the three paradigms, namely logic + object-oriented, functional + logic, functional + object-oriented, and object-oriented + logic + functional, are considered separately. ...
LIFE LIFE (stands for Logic, Inheritance, Functions and Equations) [AK91b, AKMR92] is a language that combines logic programming and functional programming with a facility for structured type inheritance ...
doi:10.1016/0165-6074(94)00017-5
fatcat:wsjk5mpohnd2llne5k5s4i67iu
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams
2004
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose Concurrent Transaction Frame Logic (CTFL), an extension of first-order Horn logic that gives declarative semantics to object-oriented deductive databases, as a language to provide formal semantics ...
CTFL extends Horn logic with object-oriented class hierarchy and object definition terms, and with three new logical connectives -serial conjunction, concurrent conjunction and atomic modality -that declaratively ...
CTFL is the straightforward integration of two orthogonal yet synergetic extensions of FOHL: Frame Logic (FL), an object-oriented extension dealing with complex structural modeling with inheritance hierarchies ...
doi:10.1016/s1571-0661(04)05016-9
fatcat:e6lqe6jkqnhqdf76dl6dokcasq
A Comparative Analysis of Structured and Object-Oriented Programming Methods
2010
Journal of Applied Sciences and Environmental Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
With the traditional, procedural-oriented/structured programming, a program describes a series of steps to be performed (an algorithm). ...
The concepts of structured and object-oriented programming methods are not relatively new but these approaches are still very much useful and relevant in today's programming paradigm. ...
The state of an object in an object-oriented language is primarily internal, or local to the object itself. ...
doi:10.4314/jasem.v11i4.55190
fatcat:ba6prdy77beg5c2gslbtari6oa
A Comparative Analysis of Structured and Object-Oriented Programming Methods
2010
Journal of Applied Sciences and Environmental Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
With the traditional, procedural-oriented/structured programming, a program describes a series of steps to be performed (an algorithm). ...
The concepts of structured and object-oriented programming methods are not relatively new but these approaches are still very much useful and relevant in today's programming paradigm. ...
The state of an object in an object-oriented language is primarily internal, or local to the object itself. ...
doi:10.4314/jasem.v12i4.55217
fatcat:fdf6o46subhovkxipyzethvoeu
Design and implementation aspects of an experimental C++ programming environment
1995
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Providing a programmer with information about an object-oriented software system requires extracting information from the source code, e.g. class, method and variable names. ...
A good programming language alone is not sufficient for economic software production. The programming environment has a significant influence on the productivity of software engineers. ...
Language-independent browser The logical structure of object-oriented software systems is very similar regardless of the programming language used. ...
doi:10.1002/spe.4380250202
fatcat:s4vby4oolvabffge6js3mjj7yi
A Survey of Object Oriented JavaScript Language
2014
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this work the various object oriented concepts are discussed. The methods and operation supported by the object oriented JavaScript language is likewise talked about. ...
Many of the programmers move towards object oriented programming languages due to its reusability nature, whereas in procedural programming languages reusability is not allowed, which may contribute to ...
JavaScript is an effective mechanism that is used to write object oriented programming languages. In the client side programming language which requires a user interaction, JavaScript is mostly used. ...
doi:10.5120/18158-9358
fatcat:nun3xx43obbhpisjbmh2rxou3e
Qualities of Grid Computing that can last for Ages
2010
Journal of Applied Sciences and Environmental Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
With the traditional, procedural-oriented/structured programming, a program describes a series of steps to be performed (an algorithm). ...
The concepts of structured and object-oriented programming methods are not relatively new but these approaches are still very much useful and relevant in today's programming paradigm. ...
The state of an object in an object-oriented language is primarily internal, or local to the object itself. ...
doi:10.4314/jasem.v12i4.55218
fatcat:567g36vd75dmlncjcefi4zdrty
Qualities of Grid Computing that can last for Ages
2010
Journal of Applied Sciences and Environmental Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
With the traditional, procedural-oriented/structured programming, a program describes a series of steps to be performed (an algorithm). ...
The concepts of structured and object-oriented programming methods are not relatively new but these approaches are still very much useful and relevant in today's programming paradigm. ...
The state of an object in an object-oriented language is primarily internal, or local to the object itself. ...
doi:10.4314/jasem.v11i4.55192
fatcat:zi7ecrgwzzfodgtx343clcweuu
« Previous
Showing results 1 — 15 out of 26,664 results