Design by Contract is commonly cited as an example of the “crosscutting” concerns that aspect-oriented programming can address. We test this conjecture by attempting to implement contracts through aspects and assessing the outcome. The results of this experiment cast doubt on the validity of the conjecture, showing that aspects appear unable to capture contracts in a way that retains the benefi...

In our work we propose implementing fuzzy logic using memristors. Min and max operations are done by antipodally configured memristor circuits that may be assembled into computational circuits. We discuss computational power of such circuits with respect to m-efficiency and experimentally observed behavior of memristive devices. Circuits implemented with real devices are likely to manifest lear...

To the best of our knowledge, this is the first work to present an implementation of Lüttgen and Mendler’s intuitionistic characterisation of Pnueli and Shalev’s step construction. However, the original step construction is faster for most Statecharts, because a non-compositional approach will almost always outperform any compositional one. For incremental code-generation or compositional verif...