Separation of concerns is a key goal in achieving software reusability. Meta-Level Programming approaches pave the way to separation of concerns by handling functional and non-functional aspects in different levels, but provide little help for software composition, verification and evolution activities. Approaches based on Software Architecture / Configuration Programming can overcome these def...

We propose mathematical programming models for solving problems arising from planning and running an energy production process based on burning biomasses. The models take into account different aspects of the problem: determination of the biomasses to produce and/or buy, transportation decisions to convey the materials to the respective plants, and plant design. Whereas the “running model” is l...

Software development has evolved from structured programming to component based software development with in between stages of structural programming and then object oriented programming before we found component based software development. Component based software development basically involves creating individual components at the same time and then integrating them. This paper intends to stu...

Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. This paper presents a snapshot of current research, aimed at combining the best aspects of inductive logic programming with the uncertainty representation of Fril to create a sophisticated and novel approach to knowledge discovery. An ex...

We introduce a new semantics for logic programming languages. It generalises the traditional Herbrand universe semantics, and specialises the semantics of logical relations, as used in analysing parametricity in functional and imperative programming languages. We outline a typed logic programming language, give it this semantics, and show how it supports structured development of logic programs...

ions and all aspects of recon gurable technology including platforms, programming environments and application successes. www.acm.org/trets www.acm.org/subscribe

ions and all aspects of recon gurable technology including platforms, programming environments and application successes. www.acm.org/trets www.acm.org/subscribe

Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an important problem. Currently there is almost no support for the detection and resolution of such interactions. The programmer is responsible for identifying interactions between con icting aspects and implementing con ict resoluti...

MetaJ is a programming environment that supports metaprogramming in the Java language. The environment is designed to allow extensions via plug-ins which permit the user to manipulate programs written in different languages. This facilities concern only syntactic aspects. Semantics aspects are language-dependent and are not addressed here, but could be tackled with other tools, which could even...

While writing a compiler in Haskell, we had a problem with a large memory usage. We show how, by changing only a few small aspects of our design, we were able to reduce the live memory use of our program from 650 megabytes down to a mere 10 megabytes. We examine the aspects of our program that caused this problem: the writer monad and generic programming. We conclude that Haskell is a powerful,...