Feature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement. In their GPCE'07 paper, thaker et a]. suggest the develop...
详细信息
ISBN:
(纸本)9781605582672
Feature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement. In their GPCE'07 paper, thaker et a]. suggest the development of a type system for FOP to guarantee safe feature composition, Le, to guarantee the absence of type errors during feature composition. We present such a type system along with a calculus for a simple feature-oriented, Java-like language, called Feature Featherweight Java (FFJ). Furthermore, we explore four extensions of FFJ and how they affect type soundness.
We develop a framework for linear-programming (LP) decoding of non-binary linear codes over rings. We prove that the resulting LP decoder has the 'maximum likelihood certificate' property, and we show that the...
详细信息
ISBN:
(纸本)9783800730773
We develop a framework for linear-programming (LP) decoding of non-binary linear codes over rings. We prove that the resulting LP decoder has the 'maximum likelihood certificate' property, and we show that the decoder output is the lowest cost pseudocodeword. Equivalence between pseudocodewords of the linear program and pseudocodewords of graph covers is proved. LP decoding performance is illustrated for the (11, 6, 5) ternary Golay code with ternary PSK modulation over AWGN, and in this case it is shown that the LP decoder performance is comparable to codeword-error-rate-optimum hard-decision based decoding.
this work presents an integer programming formulation for an important variant of the Class-Teacher Timetabling problem, which considers the satisfaction of teacher preferences and also the proper distribution of less...
详细信息
State-of-the-art implementations of common aspect-oriented languages weave residual dispatching logic for advice whose applicability cannot be determined at compile-time. But being derived from the residue's formu...
详细信息
ISBN:
(纸本)9781605581101
State-of-the-art implementations of common aspect-oriented languages weave residual dispatching logic for advice whose applicability cannot be determined at compile-time. But being derived from the residue's formula representation the woven code often implements an evaluation strategy which mandates redundant evaluations of atomic pointcuts. In order to improve upon the average-case run-time cost, this paper presents an alternative representation which enables efficient residual dispatch, namely ordered binary decision diagrams. In particular, this representation facilitates the complete elimination of redundant evaluations across all point-cuts sharing a join point shadow. Copyright 2008 ACM.
Aspect-oriented programming methods today have gained a significant following in the area of object-oriented high-level programming languages since their invention more than ten years ago. More recent developments hav...
详细信息
Article explores three possible implementations of the division operator in genetic programming - protected division, division throwing an exception and division returning an undefined result. the article proposes a s...
详细信息
ISBN:
(纸本)9780769534954
Article explores three possible implementations of the division operator in genetic programming - protected division, division throwing an exception and division returning an undefined result. the article proposes a simple classification scheme and discusses the subtle differences between operators. Results of a case study on the well known binomial-3 problem are presented they suggest that the (most common) protected division returning I is not always the safest bet.
this short paper presents how rostering problems can be modeled and solved using constraint programming. the emphasis is on the choice of constraints which efficiently exploit the substructures of rostering problems, ...
详细信息
Crosscutting concerns in object-oriented programming hinder evolution because of their symptoms: tangling and scattering. To benefit from the modularisation capabilities for crosscutting concerns provided by aspect-or...
详细信息
We describe our efforts to bring media arts into design work withthe goals to introduce new expressive forms in programming to urban youth. We're presenting the findings from a series of workshop organized togeth...
详细信息
ISBN:
(纸本)9781595939944
We describe our efforts to bring media arts into design work withthe goals to introduce new expressive forms in programming to urban youth. We're presenting the findings from a series of workshop organized together with professional media artists that focused on immersion, interaction, color and perspective using Scratch, a media-rich programming environment. Our findings illustrate that a focused introduction of these features can be easily accomplished and help young designers to become more sophisticated in their creative expression. in the discussion we outline suggestions for activity and theme designs for future workshops.
暂无评论