Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
The C++ programming language
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
CommonLoops: merging Lisp and object-oriented programming
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
GENESIS: An Extensible Database Management System
IEEE Transactions on Software Engineering
Type inference in a database programming language
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
An algebra for structured office documents
ACM Transactions on Information Systems (TOIS)
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the second international workshop on Database programming languages
Queries and views in an object-oriented data model
Proceedings of the second international workshop on Database programming languages
An object-oriented query algebras
Proceedings of the second international workshop on Database programming languages
Manipulation of structured values in object-oriented databases
Proceedings of the second international workshop on Database programming languages
A query language for the O2 object-oriented databases
Proceedings of the second international workshop on Database programming languages
Proceedings of the second international workshop on Database programming languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
The Iris Architecture and Implementation
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Architecture of the ORION Next-Generation Database System
IEEE Transactions on Knowledge and Data Engineering
An Overview of the Object-Oriented Functional Data Language
Proceedings of the Fifth International Conference on Data Engineering
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
An ideal model for recursive polymorphic types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A semantic model of types for applicative languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
ACM SIGPLAN OOPS Messenger
Functional completeness in object-oriented databases
ACM SIGMOD Record
Database model for design data
ACM SIGPLAN OOPS Messenger
Automation and Remote Control
Extensions to Query Languages for Graph Traversal Problems
IEEE Transactions on Knowledge and Data Engineering
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Object Algebra for the ODMG Standard
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
Powerdomain of Paths for Representing Object Structures
Fundamenta Informaticae
Hi-index | 0.00 |
The object-oriented functional data language (O/sup 2/FDL) is an interactive strongly typed database programming language that integrates the object-oriented and functional programming paradigms. It was designed for advanced applications that require a powerful and uniform database programming language supporting the software engineering principles of these tow paradigms. To this end, the O/sup 2/FDL supports inheritance and encapsulation of object-oriented languages, and an equational notation and strong typing of functional programming. Strong typing is extended with type restrictions to constrain the instantiations of type variables in function interfaces, while inheritance is augmented with a monotonic subtype rule for function redefinition. The O/sup 2/FDL also supports novel features. For the core of the O/sup 2/FDL, a denotational semantics based on an extended lambda -calculus is provided. For selected system-defined functions, operational semantics are provided and it is demonstrated that a subset of the O/sup 2/FDL is at least as expressive as the relational algebra.