Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple "object" model and used bounded qua...
详细信息
We provide a formal agenda for teaching the object-oriented paradigm in a programming language independent manner, and a tool which supports our teaching approach. Our proposal for a comprehensive study of the subject...
详细信息
Integrated, dynamically-typed object-orientedprogramming environments offer many advantages, but have trouble producing small, self-contained applications. Recent advances in type inference have made it possible to b...
详细信息
Testing for object-oriented programs is complicated and burdensome. One reason is the difficulty associated with generating method sequences that create instances and change object states to achieve high branch covera...
详细信息
ISBN:
(纸本)9789881925251
Testing for object-oriented programs is complicated and burdensome. One reason is the difficulty associated with generating method sequences that create instances and change object states to achieve high branch coverage. Automated test generation using mixed static and dynamic analysis is not only an effective approach to save time and reduce the burden of testing, but also an efficient way to find bugs. Seeker is an implementation for automated test generation that includes method sequences using static and dynamic analysis. However, when we need to change several values of variables to cover branches, the technique cannot generate method sequences that achieve all of the desired object states. In this paper, we extend the technique for automated test generation when multiple object states are required for the coverage of more complicated branches. Our approach identifies all variables that are involved in uncovered branches and evaluates method sequences according to a fitness function. Then we apply a retrieval strategy to suppress combinatorial explosion. Our results show that the proposed approach achieves higher branch coverage than that used in a previous study and also suggest that the effectiveness of the proposed approach tends to vary according to the specific characteristics of different projects.
In order to understand the significant of object-orientedprogramming, a propriety game-based learning mobile game has been designed and develops as a learning tool to improve the student understanding toward object-o...
详细信息
With the continuous development of society, the market competition is more and more fierce, so each production enterprise urgently needs to improve the production technology. In the enterprises that need to transport ...
详细信息
"object-orientedprogramming" and "Data Abstraction" have become very common terms. Unfortunately, few people agree on what they mean. I will offer informal definitions that appear to make sense in...
详细信息
Most programming in the Garnet system uses a declarative style that eliminates the need to write new methods. One implication is that the interface to objects is typically through their data values. This contrasts sig...
详细信息
ISBN:
(纸本)0201533723
Most programming in the Garnet system uses a declarative style that eliminates the need to write new methods. One implication is that the interface to objects is typically through their data values. This contrasts significantly with other object systems where writing methods is the central mechanism of programming. Four features are combined in a unique way in Garnet to make this possible: the use of a prototype-instance object system with structural inheritance, a retained-object model where most objects persist, the use of constraints to tie the objects together, and a new input model that makes writing event handlers unnecessary. The result is that code is easier to write for programmers, and also easier for tools, such as interactive, direct manipulation interface builders, to generate.
A strictly typed modular language framework supporting the development and use of parallel cluster computing paradigms is proposed. Called Paradigm/SP, the proposed language is used to specify general parallel paradig...
详细信息
A strictly typed modular language framework supporting the development and use of parallel cluster computing paradigms is proposed. Called Paradigm/SP, the proposed language is used to specify general parallel paradigms and to derive particular parallel applications from such general paradigms. A Paradigm/SP compiler and interpreter are utilized to test specific paradigms and their derived applications. Upon validation, a Paradigm/SP program is converted into efficient C code that runs on top of a cluster computing library. The essence of parallel paradigms is presented through a case study of one specific paradigm. The master-server probabilistic paradigm is outlined and is demonstrated by solving the traveling salesman and the knapsack problems.
In Computer Science jargon, an interpreter typically implies a computer program that prosecutes the instructions written in a particular programming language. A Computer programming language provides the necessary rud...
详细信息
暂无评论