Modern programming languages have little or no support for querying objects and collections. Programmers are forced to hand code such queries using nested loops, which is both cumbersome and inefficient. We demonstrat...
详细信息
Component-based programming is currently carried out using mainstream object-oriented languages. the languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility....
详细信息
ISBN:
(纸本)3540437592
Component-based programming is currently carried out using mainstream object-oriented languages. the languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility. this paper investigates abstractions for component-orientedprogramming on the programming language level. We propose a simple prototype-based model for first-class components on top of a class-based object-oriented language. the model is formalized as an extension of Featherweight Java. Our calculus includes a minimal set of primitives to dynamically build, extend, and compose software components, while supporting features like explicit context dependencies, late composition, unanticipated component extensibility, and strong encapsulation. We present a type system for our calculus that ensures type-safe component definition, composition, and evolution.
the assembly of components that can handle continuously changing data results in programs that are more interactive. Unfortunately, the code that glues together such components is often difficult to write because it i...
详细信息
We present F(EML), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized modules permit subclasses and function extensi...
详细信息
A session takes place between two parties;after establishing a connection, each party interleaves local computations with communications (sending or receiving) withthe other. Session types characterise such sessions ...
详细信息
作者：
Mitchell, NickIBM
TJ Watson Research Center 19 Skyline Drive Hawthorne NY 10532 United States
object-oriented programs often require large heaps to run properly or meet performance goals. they use high-overhead collections, bulky data models, and large caches. Discovering this is quite challenging. Manual brow...
详细信息
the proceedings contain 15 papers. the topics discussed include: implementation, compilation, optimization of object-oriented languages, programs and systems;aspects, dependencies, and interactions;formal techniques f...
详细信息
ISBN:
(纸本)9783540717720
the proceedings contain 15 papers. the topics discussed include: implementation, compilation, optimization of object-oriented languages, programs and systems;aspects, dependencies, and interactions;formal techniques for Java-like programs;program analysis for security and privacy;object-oriented reengineering;quantitative approaches in object-oriented software engineering;component-orientedprogramming;fractal component-based software engineering;object technology for ambient intelligence and pervasive computing: language constructs and infrastructures;parallel/high-performance object-oriented scientific computing today;and tenth workshop on pedagogies and tools for the teaching and learning of objectoriented concepts.
this report summarizes the main activities held during the second workshop on object-technology for Ambient Intelligence and Pervasive Computing held at ecoop 2006. the workshop covered topics varying from low-level c...
详细信息
object persistence architectures support transparent access to persistent objects. For efficiency, many of these architectures support queries that can prefetch associated objects as part of the query result. While sp...
详细信息
Generic types in C# behave invariantly with respect to sub-typing. We propose a system of type-safe variance for C# that supports the declaration of covariant and contravariant type parameters on generic types. To sup...
详细信息
暂无评论