Filters








109,828 Hits in 6.5 sec

Type Safe Metadata Combining

Mikus Vanags, Rudite Cevere
2017 Computer and Information Science  
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

Bertrand Meyer
1995 Addendum to the proceedings of the 10th annual conference on Object-oriented programming systems, languages, and applications (Addendum) - OOPSLA '95  
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]

H. -D. Ehrich, A. Sernadas, C. Sernadas
1988 Lecture Notes in Computer Science  
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]

Luca Cardelli
1988 Lecture Notes in Computer Science  
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]

R. Morrison, A. Brown, R. Carrick, R. Connor, A. Dearle, M. P. Atkinson
1990 Persistent Object Systems  
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

A. Ohori, P. Buneman
1989 Conference proceedings on Object-oriented programming systems, languages and applications - OOPSLA '89  
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

A. Ohori, P. Buneman
1989 SIGPLAN notices  
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  
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

Swadhin KumarBarisal, Gayatri Nayak, Bighnaraj Naik
2012 International Journal of Computer Applications  
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

Yuri Leontiev, M. Tamer Özsu, Duane Szafron
2002 ACM Computing Surveys  
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

Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh
2006 Electronical Notes in Theoretical Computer Science  
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]

Peer Hasselmeyer
2005 Lecture Notes in Computer Science  
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

Atsushi Ohori, Peter Buneman, Val Breazu-Tannen
1989 SIGMOD record  
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

Todd Millstein, Craig Chambers
2002 Information and Computation  
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

Atsushi Ohori, Peter Buneman, Val Breazu-Tannen
1989 Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89  
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