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.
Filters
Type Safe Metadata Combining
2017
Computer and Information Science
Preserved Fulltext
Problem can be solved by introducing syntax and methods for type safe metadata combining so that, metadata could be processed at compile time in a fully type safe way. ...
Common metadata combining use cases are data abstraction layer creation and database querying. ...
The example of selector usage is following: In static object oriented languages, the selector can be described as one of 2 options: a) When working with types specified in type-constraints, but from database ...
doi:10.5539/cis.v10n2p97
fatcat:mn3zoa4565hlnpho3alc6fqz4e
Static typing
1995
Addendum to the proceedings of the 10th annual conference on Object-oriented programming systems, languages, and applications (Addendum) - OOPSLA '95
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.
I I Informally, an entity is polymorphic if it can be attached to objects of more than one type. ...
One can say without fear of exaggeration that without anchored redeclarations it would be impossible to write realistic typed object-oriented software. But what about the problems of covariance? ...
This solution can be implemented in Eiffel right now; it does not require any language change. ...
doi:10.1145/260094.260214
fatcat:bmjz254he5buvlcviz7rndxxha
Abstract object types for databases
[chapter]
1988
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.
In analogy to algebraic data type theory, we propose mathematical models for the basic notions of object, object type and abstract object type. ...
Our approach combines the object-oriented paradigm with experiences in formal methods in software engineering, especially algebraic data type theory, logical approaches to systems specification and design ...
Introduction What is a database object in the sense of object-oriented databases? How are database objects put together into object types? What is an abstract object type? ...
doi:10.1007/3-540-50345-5_10
fatcat:lz3i7wzojzbovcrx6wgcrsr5ri
Types for data-oriented languages
[chapter]
1988
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 2016; you can also visit the original URL.
The file type is application/pdf.
There are two main situations: • In the untyped language, some functions can be applied to objects of different types without ever failing, since they do not examine objects too closely: this phenomenon ...
We can do this in many different ways, but any static type system restricts the class of programs that can be written, and hence reduces the expressiveness of the language. ...
doi:10.1007/3-540-19074-0_44
fatcat:alatxtfdczaybjoimcmtbaegi4
The Napier Type System
[chapter]
1990
Persistent Object Systems
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.
In designing and building persistent object systems, we are attempting to regularise the activities that are performed on data by programming languages, operating systems, database management systems and ...
In this paper, we describe the data modelling facilities of the Napier type system. ...
This gives a form of object-oriented database where the objects are processes that receive and send messages [28] . ...
doi:10.1007/978-1-4471-3173-1_1
fatcat:mzlzc64ilfer3jbiafff32uwaq
Static type inference for parametric classes
1989
Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '89
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.
Moreover, the type system can be extended to include the structures and operations needed for database programming and therefore can serve as a basis of an object-oriented database programming language ...
Classes can be parameterized by types allowing "generic" definitions. ...
Moreover, the type system can be further extended to include the structures and operations needed for database systems, and can therefore serve as a basis of object-oriented databases. ...
doi:10.1145/74877.74923
dblp:conf/oopsla/OhoriB89
fatcat:x5ldjk76wvcptavt2da5manrp4
Static type inference for parametric classes
1989
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 2017; you can also visit the original URL.
The file type is application/pdf.
Moreover, the type system can be extended to include the structures and operations needed for database programming and therefore can serve as a basis of an object-oriented database programming language ...
Classes can be parameterized by types allowing "generic" definitions. ...
Moreover, the type system can be further extended to include the structures and operations needed for database systems, and can therefore serve as a basis of object-oriented databases. ...
doi:10.1145/74878.74923
fatcat:cszor2migndrletthkhcq547me
Dynamically Typed Languages
2008
IEEE Software
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.
In this chapter I explore the general topic of dynamically typed languages, how they differ from statically typed languages, their history, and their defining features. ...
However, there is much confusion as to what makes these languages interesting relative to statically typed languages, and little knowledge of their rich history. ...
In object orientated languages in general, instances of subclasses (e.g. A2) can be considered as instances of superclasses (e.g. ...
doi:10.1109/ms.2008.35
fatcat:yt4g4zyfsbhs7jqt52xusn3xre
Enhanced Type Safety in Java
2012
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.
Such results may violate type safe property of object oriented programming. Here the translator is designed using ANTLR which is going to check availability of this method in the input java file. ...
If this method is not found then add the method and generate a type safe program at output.The same translator can be applicable for generics and their limitations. ...
Secondly Java Generics has some limitations where it fails to hold some object oriented properties. ...
doi:10.5120/7503-0417
fatcat:jwgumhhbpngmpaku36qposa2wm
On type systems for object-oriented database programming languages
2002
ACM Computing Surveys
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.
The concept of an object-oriented database programming language (OODBPL) is appealing because it has the potential of combining the advantages of object orientation and database programming to yield a ...
consistent, and theoretically sound type system that is sufficiently expressive to satisfy the combined needs of object orientation and database programming. ...
These additional requirements have to be taken into account when designing a type system for a pure object-oriented database programming language. ...
doi:10.1145/592642.592643
fatcat:mz2t56cf6vcpzisqgsckkgy77a
Incremental Confined Types Analysis
2006
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.
The contribution of this paper is twofold: First, we discuss the incrementalization of the confined types analysis and second, we present the integration of the analysis into Eclipse using the static analysis ...
Research related to alias protection and related concepts, such as, confined types and ownership types has a long tradition and is a promising concept for the design and implementation of more reliable ...
Confinement ensures that objects of a confined type can only be accessed within a certain protection domain. ...
doi:10.1016/j.entcs.2006.10.006
fatcat:ag3wbq36srdgzei5yqkovdmgi4
On Service Discovery Process Types
[chapter]
2005
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 2016; you can also visit the original URL.
The file type is application/pdf.
Finding commonalities of and differences between these systems can be hard due to the lack of criteria to compare and classify various discovery schemes. ...
With the growing adoption of service-oriented computing, locating services becomes increasingly commonplace. Accordingly, a large number of systems for service discovery have been developed. ...
The European Commission is not liable for any use that may be made of the information contained in this paper. ...
doi:10.1007/11596141_12
fatcat:pteiuszgwjeq5mo7c3jhpdod4e
Database programming in Machiavelli---a polymorphic language with static type inference
1989
SIGMOD record
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.
Moreover, by implementing database objects as reference types and generating the appropriate views -sets of structures with "identity" -we can achieve a degree of static type checking for object-oriented ...
In particular, a function that selects a field f of a records is polymorphic in the sense that it can be applied to any record which contains a field f with the appropriate type. ...
Section 4 and 5 respectively show how Machiavelli can be used to represent relational and object oriented databases. ...
doi:10.1145/66926.66931
fatcat:pktjago3gjcilgckej2o6vejii
Modular Statically Typed Multimethods
2002
Information and Computation
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.
However, previous work on statically typed multimethods whose arguments are treated symmetrically has required the whole program to be available in order to perform typechecking. ...
We describe Dubious, a simple core language including first-class generic functions with symmetric multimethods, a classless object model, and modules that can be separately typechecked. ...
This research is supported in part by an NSF grant (number CCR-9503741), an NSF Young Investigator Award (number CCR-9457767), and gifts from Sun Microsystems, IBM, Xerox PARC, Object Technology International ...
doi:10.1006/inco.2002.3103
fatcat:oztmp7f7pfg47lsixm24rs6tnm
Database programming in Machiavelli---a polymorphic language with static type inference
1989
Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89
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.
Moreover, by implementing database objects as reference types and generating the appropriate views -sets of structures with "identity" -we can achieve a degree of static type checking for object-oriented ...
In particular, a function that selects a field f of a records is polymorphic in the sense that it can be applied to any record which contains a field f with the appropriate type. ...
Section 4 and 5 respectively show how Machiavelli can be used to represent relational and object oriented databases. ...
doi:10.1145/67544.66931
dblp:conf/sigmod/OhoriBT89
fatcat:lnv36khi4vbipiuexhdymoline
« Previous
Showing results 1 — 15 out of 109,828 results