Sciweavers

1438 search results - page 9 / 288
» Relational aspects as tracematches
Sort
View
IEE
2008
108views more  IEE 2008»
13 years 9 months ago
Mining execution relations for crosscutting concerns
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
Jens Krinke
POPL
2012
ACM
12 years 5 months ago
The marriage of bisimulations and Kripke logical relations
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Va...
C3S2E
2010
ACM
13 years 8 months ago
McLab: an extensible compiler toolkit for MATLAB and related languages
MATLAB is a popular language for scientific computation. Effectively compiling MATLAB presents many challenges due to the dynamic nature of the language. We present McLab, an ext...
Andrew Casey, Jun Li, Jesse Doherty, Maxime Cheval...
BTW
2005
Springer
82views Database» more  BTW 2005»
14 years 3 months ago
Using Aspect-Orientation to Add Persistency to Applications
: This paper presents a comfortable and customizable persistence framework that supports the access of relational databases from Java applications. In order to keep the effort for ...
Uwe Hohenstein
CHI
2006
ACM
14 years 10 months ago
Entertainment media at home: looking at the social aspects
In this paper, we consider how the relationship between content providers and content consumers is modified by configuration (especially in the case of end-user programming) and b...
Louise Barkhuus, Jennifer Ann Rode, Genevieve Bell