Aliasing is a known source of challenges in the context of imperative object-oriented languages, which have led to important advances in type systems for aliasing control. However, their large-scale adoption has turne...
详细信息
Semantic subtyping is an approach for defining sound and complete procedures to decide subtyping for expressive types, including union and intersection types;although it has been exploited especially in functional lan...
详细信息
A large set of object-orientedprogramming (OOP) languages exists to realize software for different purposes. Companies often create variants of their existing software by copying and modifying them to changed require...
详细信息
Starting from the first investigations with strictly functional languages, reactive programming has been proposed as the programming paradigm for reactive applications. The advantages of designs based on this style ov...
详细信息
ISBN:
(纸本)9783885796466
Starting from the first investigations with strictly functional languages, reactive programming has been proposed as the programming paradigm for reactive applications. The advantages of designs based on this style over designs based on the Observer design pattern have been studied for a long time. Over the years, researchers have enriched reactive languages with more powerful abstractions, embedded these abstractions into mainstream languages - including object-oriented languages - and applied reactive programming to several domains, like GUIs, animations, Web applications, robotics, and sensor networks. However, an important assumption behind this line of research - That, beside other advantages, reactive programming makes a wide class of otherwise cumbersome applications more comprehensible - has never been evaluated. In this paper, we present the design and the results of the first empirical study that evaluates the effect of reactive programming on comprehensibility compared to the traditional object-oriented style with the Observer design pattern. Results confirm the conjecture that comprehensibility is enhanced by reactive programming. In the experiment, the reactive programming group significantly outperforms the other group.
Described herein is a general-purpose software engineering architecture for autonomous, computer controlled opponent implementation in modern maneuver warfare simulation and training. The implementation has been devel...
详细信息
Within contemporary philosophy, two apparently similar movements have gained atention recently, New Materialism and objectoriented Ontology. Although these movements have quite distnct genealogies, they overlap on on...
详细信息
Traditionally, research on software distributed shared memory has been focused on optimizing the memory consistency models and the coherence protocols rather than the underlying run-time mechanisms. Thus, these system...
详细信息
programming languages serve a dual purpose: to communicate programs to computers, and to communicate programs to humans. Indeed, it is this dual purpose that makes programming language design a constrained and challen...
详细信息
The majority of modern programming languages provide concurrency and object-orientation in some form. However, object-oriented concurrency remains cumbersome in many situations. We introduce the language OrcO, Orc wit...
详细信息
Systems that integrate constraint solving with general purpose programming languages must strike a balance between exposing the full power of solvers and how aware programmers need to be of the solving process to writ...
详细信息
暂无评论