Sharing and transfer of object references is difficult to control in object-oriented languages. Unconstrained sharing poses serious problems for writing secure components in object-oriented languages. In this paper, w...
详细信息
Sharing and transfer of object references is difficult to control in object-oriented languages. Unconstrained sharing poses serious problems for writing secure components in object-oriented languages. In this paper, we present a set of inexpensive syntactic constraints that strengthen encapsulation in object-oriented programs and facilitate the implementation of secure systems. We introduce two mechanisms: confined types to impose static scoping on dynamic object references and, for technical reasons, anonymous methods which are methods that do not reveal the identity of the current instance (this). Confined types protect objects from use by untrusted code, while anonymous methods allow standard classes to be reused from confined classes. We have implemented a verifier which performs a modular analysis of Java programs and provides a static guarantee that confinement is respected. We present security related programming examples.
The executable data structures method is a kind of run-time code generation. It reduces the traversal time of data structures by implementing the traversal operation as self-traversal code stored in each data structur...
详细信息
Many applications related to graphical user interface, multimedia, and communication protocols have been developed using the event-driven programming. This approach of programming is fundamentally different from the p...
详细信息
Many applications related to graphical user interface, multimedia, and communication protocols have been developed using the event-driven programming. This approach of programming is fundamentally different from the procedural approach which can lead, in a GUI application for example, to some structures which are very rigid and hard to maintain and extend, especially when the number of events to be handled is considerable. This is among the reasons why another programming approaches have been proposed. This paper proposes a new approach for handling events in complex applications such as real time and telecommunication applications. It results that this approach is easy to understand and suitable for developing interactive applications.
An MCM's increased throughput and dense circuitry can easily result in failure if the board contains `hot spots'. Therefore, an accurate thermal model of an MCM was needed in the development of a new placement...
详细信息
An MCM's increased throughput and dense circuitry can easily result in failure if the board contains `hot spots'. Therefore, an accurate thermal model of an MCM was needed in the development of a new placement algorithm designed to consider both total net length and heat constraints. This algorithm uses a combination of simulated evolution and simulated annealing in an iterative approach. The fitness method evaluates the maximum heat for each chip, considering the chip's own heat and the heat from surrounding chips at its hottest point. Results are shown and comparisons are drawn to other placement algorithms.
This chapter contains a summary of the presentations given at the Workshop on Parallel/High-Performance object-oriented Scientific Computing (POOSC’99) at the European Conference on object-orientedprogramming (ECOOP...
详细信息
There has been a lot of interest recently in the problem of building object-oriented applications by somehow combining other application fragments that provide their own overlapping definitions or expectations of the ...
详细信息
Virtual types have been proposed as a notation for generic programming in object-oriented languages|an alternative to the more familiar mechanism of parametric classes. The tradeoffs between the two mechanisms are a m...
详细信息
An emerging trend in the engineering of complex systems is the use of component integration frameworks. Such a framework prescribes an architectural design that permits flexible composition of third-party components i...
详细信息
Accurate, flexible, and dynamic mathematical computer modeling tools are required for the development and parametric evaluation of the various possible Advanced Life Support Systems (ALSS) configurations. Such models ...
详细信息
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with the object model. In some respects they ...
详细信息
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with the object model. In some respects they seem to be objects, in others they are not. This typically creates the need to introduce special cases into the language definition. This paper discusses the problems involved and proposes an approach to the definition of an object model that allows the elegant inclusion of simple data types.
暂无评论