A central dichotomy for specialization mechanisms is the divide between static class-based inheritance and dynamic instance-based delegation. Despite its greater flexibility delegation has not found its way into mains...
详细信息
Reverse inheritance is a new class reuse mechanism, an experimental implementation of which we have built for Eiffel. It enables a more natural design approach, factorization of common features (members), insertion of...
详细信息
this paper proposes a new programming language EventCJ. Its design stems from our observation that, in many context-aware applications, context changes are triggered by external events. thus, in addition to the curren...
详细信息
the proceedings contain 3 papers. the topics discussed include: towards a full multiple-inheritance virtual machine;empirical assessment of C++-like implementations for multiple inheritance;and efficient compilation o...
ISBN:
(纸本)9781450305372
the proceedings contain 3 papers. the topics discussed include: towards a full multiple-inheritance virtual machine;empirical assessment of C++-like implementations for multiple inheritance;and efficient compilation of .net languages for embedded systems.
Characteristics of inheritance metrics are compared with size and length measurement using the property based validation framework of Briand et al. About a dozen inheritance metrics are analyzed and compared with some...
详细信息
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensive set of empirical facts on this prob...
详细信息
ISBN:
(纸本)9783642141065
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensive set of empirical facts on this problem, starting from traces of missing method calls in a bug repository. We propose a new system, which automatically detects them during both software development and quality assurance phases. the evaluation shows that it has a low false positive rate (<5%) and that it is able to find missing method calls in the source code of the Eclipse IDE.
Specifications of object-oriented programs conventionally employ Boolean expressions of the programming language for assertions. programming errors can be discovered by checking at runtime whether an assertion, such a...
详细信息
ISBN:
(纸本)9783642141065
Specifications of object-oriented programs conventionally employ Boolean expressions of the programming language for assertions. programming errors can be discovered by checking at runtime whether an assertion, such as a precondition or class invariant, holds. In this work, we show how separation logic can be used to verify that these executable specifications will always hold at runtime. Boththe program and its executable assertions are verified with respect to separation logic specifications. A novel notion called relative purity embraces historically problematic side-effects in executable specifications, and verification boils down to proving connecting implications. Even model-based specifications can be verified. the framework is also well-suited to separation logic proof tools and now implemented in jStar. Numerous automatically verified examples illustrate the framework's use and utility.
A concurrent simulation technique based on the Java programming language and Java threads (lightweight processes) is introduced. the simulation events and process actions are represented by Java threads, and the simul...
详细信息
ISBN:
(纸本)9789077381571
A concurrent simulation technique based on the Java programming language and Java threads (lightweight processes) is introduced. the simulation events and process actions are represented by Java threads, and the simulation model structure is represented by shared variables and data structures. the threads may be executed interleaved on a single-processor machine, or in parallel on a multi-processor shared memory machine. the read and write operations on the shared variables are synchronized in simulated time by the semaphore and barrier constructs. A semaphore restricts the number of threads that can access some variable, and a barrier is a rendezvous technique used to block threads until a specific number of threads have reached the barrier.
We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation even an object's own access to its internal structure is performed by ...
详细信息
ISBN:
(纸本)9783642141065
We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation even an object's own access to its internal structure is performed by invoking methods on objects. However, like Smalltalk, Newspeak is class-based. Classes can be nested arbitrarily, as in Beta [44]. Since all names denote method invocations, all classes are virtual;in particular, superclasses are virtual, so all classes act as mixins. Unlike its predecessors, there is no static state in Newspeak, nor is there a global namespace. Modularity in Newspeak is based exclusively on class nesting. there are no separate modularity constructs such as packages. Top level classes act as module definitions, which are independent, immutable, self-contained parametric namespaces. they can be instantiated into modules which may be stateful and mutually recursive.
the paper deals with a synthesis of control law for a discrete chaotic Henon system by means of analytic programming. this is a preliminary study in which the aim is to show that tool for symbolic regression - analyti...
详细信息
ISBN:
(纸本)9780956494405
the paper deals with a synthesis of control law for a discrete chaotic Henon system by means of analytic programming. this is a preliminary study in which the aim is to show that tool for symbolic regression - analytic programming - is possible to use for such kind of problems. the paper consists of description of analytic programming as well as chaotic Henon system. this article contents only 21 successful simulations in the result section and will be extended within future tests in this field. SOMA (Self-Organizing Migrating Algorithm) with analytic programming was used for experiments in this case.
暂无评论