We apply the principles of the intersection type discipline to the study of class-based objectoriented programs and;our work follows from a similar approach (in the context of Abadi and Cardelli's σ-object calcu...
详细信息
ISBN:
(纸本)9781605585406
We apply the principles of the intersection type discipline to the study of class-based objectoriented programs and;our work follows from a similar approach (in the context of Abadi and Cardelli's σ-object calculus) taken by van Bakel and de'Liguoro. We define an extension of Featherweight Java, pFJ, and present a predicate system which we show to be sound and expressive. We also show that our system provides a semantic underpinning for the objectoriented paradigm by generalising the concept of approximant from the Lambda Calculus and demonstrating an approximation result: all expressions to which we can assign a predicate have an approximant that satisfies the same predicate. Crucial to this result is the notion of predicate language, which associates a family of predicates with a class.
An objectoriented approach has been developed using Lab VIEW RT. This real-time variant of the well known graphical programming language is based on the PharLap OS. This approach allows for two different scenarios. F...
详细信息
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstracting and validating structured comm...
详细信息
In this paper we present the OOP-Anim learning environment. It was developed to help our students to learn the basic concepts of object oriented programming and to develop their programming capabilities using this par...
详细信息
This contribution details the application of object oriented programming techniques to existing time domain methodologies for the steady state solution of electric networks containing linear and nonlinear components. ...
详细信息
This contribution details the application of object oriented programming techniques to existing time domain methodologies for the steady state solution of electric networks containing linear and nonlinear components. The methodology is compared in terms of efficiency against conventional computer solution procedures.
Emerging computer architectures intend to overcome limitations imposed by the power consumption, thermal issues and physics. Multicore processors and computing platforms where GPUs and CPUs are combined, are turning i...
详细信息
ISBN:
(纸本)9781605585475
Emerging computer architectures intend to overcome limitations imposed by the power consumption, thermal issues and physics. Multicore processors and computing platforms where GPUs and CPUs are combined, are turning into attractive computing platforms for developers. These architectures are characterized for breaking the trend in computing. They are single computing entities built on an aggregate of smaller and pseudo independent processing silicon dies. New trends in parallel computing are shifting towards the multicore arena. A new factor arises in such scenario, the concurrence. But concurrence is not parallelism. Parallel applications (and sequential ones, of course) that wish to take advantage of this new environment need to take this into consideration, or being completely rewritten in such a way that parallelism can be expressed by means of concurrence. In this changing scenario, ions may help to keep performance. This paper shows how the ions employed to model a problem, may play an important role from the performance and scalability perspectives. Copyright 2009 ACM.
At least since the introduction of the SMALLTALK-80 programming system the objectorientedprogramming style is a very much discussed software design method. For the realization of most applications object-oriented pro...
详细信息
In this paper we introduce a new view on roles in object oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and also to an o...
详细信息
ISBN:
(纸本)1595931082
In this paper we introduce a new view on roles in object oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and also to an object instance (its institution) which represents its context. The definition of a role depends on the definition of the institution. This property allows to endow role-players with powers that can modify the state of the institution and of the other roles defined in it. As an example, we introduce a role construct in Java, where the abolve features are interpreted as follows. Roles are implemented as classes, which can be instantiated only in presence of an instance of the player and of an instance of an institution. The definition of a class implementing a role is included in the class of the institution, the role belongs to. Powers are methods which can access private fields and methods of the institution they belong to, and of the other roles of the same institution. Copyright 2006 ACM.
The IEEE SCC20 committee on Test and Diagnostics for Electronic Systems in concert with Department of Defense Automatic Test System Research and Development Integrated Project Team (ARI) is developing the next generat...
详细信息
The IEEE SCC20 committee on Test and Diagnostics for Electronic Systems in concert with Department of Defense Automatic Test System Research and Development Integrated Project Team (ARI) is developing the next generation of ATLAS test language. The ATLAS2000 development is aimed to redress many of the criticisms heaped upon ATLAS and also to introduce newer and proven capabilities into the ATLAS language. This will allow the effective applications and use of ATLAS into the 21st century. This paper will address one of the many improvements being inserted into ATLAS, specifically the addition of object-oriented extensions. Through this effort, the language developers intend to provide test program developers with the power and effectiveness of the object-orientedprogramming paradigm/technique. This paper will present the approach of the ATLAS 2000 developer to include the requirements for the object-oriented methodology within ATLAS 2000. It will also provide an indication of the new robustness and extensibility of the ATLAS 2000 language.
The application of motion control to solve general automation problems has been hampered in the past by the steep learning curve of traditional programming languages. From the application development standpoint, tradi...
详细信息
The application of motion control to solve general automation problems has been hampered in the past by the steep learning curve of traditional programming languages. From the application development standpoint, traditional motion control languages demand not only a complete understanding of the details of the application, but also a thorough knowledge of programming concepts before a solution can be implemented. A motion control concept utilizing a graphical user interface and icons to represent motion function is presented. This graphical motion control language allows free-form motion programming by simply connecting the icons to conceptualize the application in block diagram form. Motion and process details can be filled in later. Once the diagram is complete, it is converted into a text file in the native language of the particular motion controller to be used and downloaded for execution. An example implementation is presented.< >
暂无评论