APAL
2016
8 years 7 months ago
2016
We separate various weak forms of Club Guessing at ω1 in the presence of 2ℵ0 large, Martin’s Axiom, and related forcing axioms. We also answer a question of Abraham and Cummin...
APAL
2016
8 years 7 months ago
2016
Abstract. In this article we give a classi cation of the binary, simple, ω−categorical structures with SU−rank 1 and trivial pregeometry. This is done both by showing that the...
APAL
2016
8 years 7 months ago
2016
Geometry of Interaction (GoI) is a research program initiated by Jean-Yves Girard which aims at defining a semantics of linear logic proofs accounting for the dynamical aspects o...
APAL
2016
8 years 7 months ago
2016
we show that the automorphism groups of certain countable structures obtained using the Hrushovski amalgamation method are simple groups. The structures we consider are the ‘unco...
AOSD
2016
ACM
8 years 7 months ago
2016
ACM
Class extensions are frequently used in programming languages such as Ruby and Smalltalk to add or change methods of a class that is defined in the same application or in a diffe...
AOSD
2016
ACM
8 years 7 months ago
2016
ACM
We present Matriona, a module system for Squeak, a Smalltalk dialect. It supports class nesting and parameterization and is based on a hierarchical name lookup mechanism. Matriona...
AOSD
2016
ACM
8 years 7 months ago
2016
ACM
Although software product lines are widely used in practice, their maintenance is challenging. Features as units of behaviour can be heavily scattered across the source code of a ...
AOSD
2016
ACM
8 years 7 months ago
2016
ACM
Commonly, during programming the code related to use cases becomes scattered across different modules and at the same time the code related to different use cases becomes tangled....
AOSD
2016
ACM
8 years 7 months ago
2016
ACM
Object-constraint programming provides a design to integrate constraints with dynamic, object-oriented programming languages. It allows developers to encode multi-way constraints ...
AOSD
2016
ACM
8 years 7 months ago
2016
ACM
Use cases are a practically proven choice to concisely and precisely express what highly interactive systems do. Several attempts have been made to modularize code according to us...