This paper discusses about the related issues occurring with adoption of concurrency and object-orientedness into a modular programming language, and presents new features for concurrent object-orientedprogramming. T...
详细信息
ISBN:
(纸本)0897918207
This paper discusses about the related issues occurring with adoption of concurrency and object-orientedness into a modular programming language, and presents new features for concurrent object-orientedprogramming. The base language of this work is CHILL, which is a high-level language for system programming recommended by CCITT(ITU-T). CHILL has been widely used by many telecommunication areas. Currently the effort to adopt object-oriented concepts into CHILL has been also actively done at ITU-T. The experimental language COOC(Concurrent object-oriented CHILL) is designed and implemented for testing object-orientedprogramming in concurrent and distributed environments such as telecommunication area. The language model of this work is based on the proposals for ITU-T. Various implementation schemes for the new language have been also presented here.
The denotational semantics of object-orientedprogramming languages (OOPL’s) are used to derive the control and data dependencies that exist within programs and this information is then used to produce parallel objec...
详细信息
This paper describes MOCS, an object-orientedprogramming model for multimedia object communication and synchronization. MOCS serves to hide the details of communication of various types of data over the network and s...
详细信息
This paper describes MOCS, an object-orientedprogramming model for multimedia object communication and synchronization. MOCS serves to hide the details of communication of various types of data over the network and synchronization of the playback of various data streams at the destination system through high-level programming support. In MOCS, the concept of mirror object is used to provide the application a consistent view of the objects in different systems. The concept of composite object is employed to encapsulate the synchronization of multiple data streams. A declarative approach to specify synchronization, which is easy to understand, is advocated. A mechanical way to transform a declarative synchronization specification to operational implementation is devised and implemented in SAMOCS (software architecture for MOCS), which provides application programming interface routines to let the programmer develop distributed multimedia programs more easily.
In this paper we introduce a statically-typed, functional, object-orientedprogramming language, TOOPL, which supports classes, objects, methods, instance variables, subtypes, and inheritance. It has proved to be surp...
详细信息
ISBN:
(纸本)0897915607
In this paper we introduce a statically-typed, functional, object-orientedprogramming language, TOOPL, which supports classes, objects, methods, instance variables, subtypes, and inheritance. It has proved to be surprisingly difficult to design statically-type object-oriented languages which are nearly as expressive as Smalltalk and yet have no holes in their typing systems. A particular problem with statically type checking object-oriented languages is determining whether a method provided in a superclass will continue to type check when inherited in a subclass. This problem is solved in our language by providing type checking rules which guarantee that a method which type checks as part of a class will type check correctly in all legal subclasses in which it is inherited. This feature enables library providers to provide only the interfaces of classes with executables and still allow users to safely create subclasses. The design of TOOPL has been guided by an analysis of the semantics of the language, which is given in terms of a sufficiently rich model of the F-bounded second-order lambda calculus. This semantics supported the language design by provided a means of proving that the type-checking rules for the language are sound, ensuring that well-typed terms produce objects of the appropriate type. In particular, in a well-typed program it is impossible to send a message to an object which lacks a corresponding method.
Firstly, the importance of object-orientedprogramming is pointed because of the rapid changes in information technology, and secondly the reason interfered with college students' learning on the object-oriented p...
详细信息
Currently there is a serious conceptual and technical gap between ideas emphasized in object-orientedprogramming and ideas as taught in algorithms courses. We suggest both a paradigm for "re-expressing" alg...
详细信息
Currently there is a serious conceptual and technical gap between ideas emphasized in object-orientedprogramming and ideas as taught in algorithms courses. We suggest both a paradigm for "re-expressing" algorithms in terms of classes and objects, and a set of criteria relative to which the quality of such re-expressions can be evaluated. A detailed example is provided for re-expressing the algorithmic idea of sorting.
In this paper, we propose an indicator-based approach to support teachers' activities. It consists in supplying teachers with indicators which report critical situations or interesting moments about learners' ...
详细信息
In [1] Jean-Francis Perrot presents the concepts of object-oriented languages and programming. In the course of this presentation, he highlights eight difficult or controversial points (multiple inheritance, expressin...
详细信息
We describe the use of object-orientedprogramming (OOP) in the design and implementation of TSA, a system for interactive time series and spectral analysis. We show how such features of OOP as inheritance, generic me...
详细信息
暂无评论