Constraint imperative programming is an integration of declarative constraints and imperative object-orientedprogramming. The primary goal of this integration is to use constraints to express relations among objects ...
详细信息
This paper introduces and illustrates the use of ObjLog, an algebraic specification language for object-oriented Analysis and Design. ObjLog is fully abstract, i.e., it specifies the message-passing and instantiation ...
详细信息
Method look-up for dynamically typed object-oriented languages, such as SMALLTALK-80 or objectIVE-C, is usually implemented by a cached inheritance search. Unfortunately, this technique is slow. A selector-indexed dis...
详细信息
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In applications developed by current real-time objec...
详细信息
We have integrated digital video into Trestle, an object-oriented user interface toolkit written in Modula-3. The display of video frames is managed within the application process using, where possible, shared memory ...
详细信息
This paper presents a programming model for concurrent object-oriented applications by which concurrency issues are abstracted and separated from the code. The main goal of the model is to minimize dependency between ...
详细信息
The Rigorous object-oriented Analysis (ROOA) method provides a systematic development process by proposing a set of rules to be followed during the analysis phase. ROOA takes a set of informal requirements and an obje...
详细信息
This paper proposes a new approach to model deductive object databases. Each object database is described by means of a Datalog language extended with extensional updates, called U-Datalog. Each object can change its ...
详细信息
Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and databases. One emerging model for the supp...
详细信息
In distributed environments, location control of objects among hosts is a crucial concern. This paper proposes a new mechanism of object location control using meta-level programming which provides the following advan...
详细信息
暂无评论