We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated testing and synthesis. SciFe is capable of exhaustive, memoized enumeration of values from finite or infi...
详细信息
ISBN:
(纸本)9781450328685
We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated testing and synthesis. SciFe is capable of exhaustive, memoized enumeration of values from finite or infinite domains. SciFe is based on the concept of an enumerator, defined as an efficiently computable bijection between natural numbers and values from a given set. SciFe introduces higher-order enumerators which define enumerators that depend on additional parameters. SciFe also includes combinators that can construct more complex enumerators from existing ones while preserving exhaustiveness and efficiency. SciFe is a Scala library that implements a domain-specific language. this tool demo presents an overview of SciFe as well as its use to generate complex structures such as search trees and models of class hierarchies. Our experiments demonstrate better performance and shorter specifications when compared to existing approaches.
this paper presents an open source, object-oriented machine learning framework, formally named Java Intelligent Optimisation (JIOP). While JIOP is still in the early stages of development, it already provides a wide v...
详细信息
Agent-based Simulation is used for different purposes in Computer Science and Economics. While computer scientists design agents for controlling complex systems or for instilling objects with autonomy and intelligence...
详细信息
ISBN:
(纸本)9789077381861
Agent-based Simulation is used for different purposes in Computer Science and Economics. While computer scientists design agents for controlling complex systems or for instilling objects with autonomy and intelligence, economists use agents for gaining a better understanding of the dynamics within economic systems. For the modelling task both communities use their specialised modelling approaches which are very different from each other. We believe that the tools used for the purpose of designing software agents have great potential to be useful for designing agent-based models to study Economics problems. In this paper, we provide some general guidance for building Agent-based Computational Economics (ACE) models using Software Engineering (SE) modelling methods. the applicability of these methods is demonstrated by studying a real-life multi-player dilemma using an ACE and SE approach.
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifications to the base code of an aspect-o...
详细信息
C++ object layout schemes rely on (sometimes numerous) compiler generated fields. We describe a new language-independent object layout scheme, which is space optimal, i.e., objects are contiguous, and contain no compi...
详细信息
this book constitutes the proceedings of the 28th european conference on object-oriented programming, ecoop 2014, held in Uppsala, Sweden, in July/August 2014. the 27 papers presented in this volume were carefully rev...
详细信息
ISBN:
(数字)9783662442029
ISBN:
(纸本)9783662442012
this book constitutes the proceedings of the 28th european conference on object-oriented programming, ecoop 2014, held in Uppsala, Sweden, in July/August 2014. the 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. they are organized in topical sections named: analysis; design; concurrency; types; implementation; refactoring; JavaScript, PHP and frameworks; and parallelism.
暂无评论