Many problems require recursively specified types of data and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend the toolkit or extend the types and a...
详细信息
Structural subtyping is an important notion for effective static type analysis;it can be defined either axiomatically by a collection of subtyping rules, or by means of set inclusion between type interpretations, foll...
详细信息
ISBN:
(纸本)9783662442029;9783662442012
Structural subtyping is an important notion for effective static type analysis;it can be defined either axiomatically by a collection of subtyping rules, or by means of set inclusion between type interpretations, following the more intuitive approach of semantic subtyping, which allows simpler proofs of the expected properties of the subtyping relation. In object-orientedprogramming, recursive types are typically interpreted inductively;however, cyclic objects can be represented more precisely by coinductive types. We study semantic subtyping between coinductive types with records and unions, which are particularly interesting for object-orientedprogramming, and develop and implement a sound and complete top-down direct and effective algorithm for deciding it. To our knowledge, this is the first proposal for a sound and complete top-down direct algorithm for semantic subtyping between coinductive types.
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penalty. Some of this penalty can be reduc...
详细信息
Although many temporal extensions of the relational data model have been proposed, there is no comparable amount of work in the context of object-oriented data models. Moreover, extensions to the relational model have...
详细信息
the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series - entitled “objects and Agents” (1995) and “Agents on the Move” (199...
ISBN:
(纸本)3540415130
the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series - entitled “objects and Agents” (1995) and “Agents on the Move” (1996) - were exploratory in nature, reflecting a growing awareness and interest in the possibilities of mobile code and mobile objects for Internet programming. Towards the end of the 1990s, Interest in the domain began to stabilize and several mobile object systems appeared in the research community. As a consequence, further editions of the Mobile object Systems workshop concentrated on specific aspects of mobile objects. thus, the title of the 1997 workshop was “Operating System Support”, the theme of the 1998 workshop was “Security”, and the theme of the 1999 installment was “programming Language Support”.
While context-orientedprogramming technology so far has focused mostly on behavioral adaptation, context-oriented data management has received much less attention. In this paper we make a case for the problem of cont...
详细信息
Interactive development in self-supporting systems like Smalltalk or the Lively Kernel allows for an explorative and direct development workflow. Because of the immediate and direct feedback loops, changes to core beh...
详细信息
the history of object-orientedprogramming can be interpreted as a continuing quest to capture the notion of abstraction - to create computational artifacts that represent the essential nature of a situation, and to i...
详细信息
作者：
Liquori, LuigiDIMI
Dip Matematica ed Informatica Università di Udine Via delle Scienze 206 UdineI-33100 Italy
the last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of objects of Fisher, Hon-sell, and Mitchell...
详细信息
the goal of the First ecoop Workshop on object-oriented Databases was to bring together researchers working in the field of object-oriented databases, to discuss the work which is going on. the aim of the workshop was...
详细信息
ISBN:
(纸本)354066954X
the goal of the First ecoop Workshop on object-oriented Databases was to bring together researchers working in the field of object-oriented databases, to discuss the work which is going on. the aim of the workshop was twofold: to discuss the current status of research in the field and to critically evaluate object-oriented database systems in terms of their current usage, of their successes and limitations, and their potential for new applications. the workshop thus consisted of a number of presentations of reviewed papers and of discussions on the topics mentioned above.
暂无评论