Titlebook: ECOOP 2011--Object-Oriented Programming; 25th European Confer Mira Mezini Conference proceedings 2011 Springer-Verlag GmbH Berlin Heidelber

reptile

桶去微染

landmark

uccessful. Oftentimes it is the simplest ideas that seem to get the most traction in the larger research or user community and therefore have the greatest impact. Ideas I might consider the most sophisticated and advanced can be challenging to communicate, leading to less influence and adoption. Thi

OVER

Rainer-Olaf Schultze,Tanja Zinterer As models, programs, and systems evolve over time, during the development lifecycle and beyond it, effective change management is a major challenge in software development, which has attracted much research efforts in recent years..In this paper we present ., a semantic diff operator for CDs. Unlik

不要不誠實(shí)

Theorie des f?derativen Staatesrefactorings in a completely declarative way. We present a compiler that transforms specifications in our language to plug-ins for an IDE that, together with an accompanying framework providing the necessary infrastructure, implement the specified refactoring tools. We evaluate our approach by prese

慢慢沖刷

Die Regierungssysteme in den L?nderne specific possible snapshots of the system at hand. In this paper we introduce ... (MODs), which extend the classical OD language with positive/negative and example/invariant modalities. The extended language allows the designer to specify not only positive example models but also negative examples

拖債

Systematische und historische Grundlagen,the user fill in the details with sequential code. However, such frameworks can produce incorrect behavior if they are not carefully used, e.g., if a user-supplied function performs an unsynchronized access to a global variable. We develop novel techniques that can prevent such errors. Building on a

含沙射影

on overhead of ownership type systems hampers their widespread application. This paper addresses this issue by presenting a tunable static type inference for Generic Universe Types. In contrast to classical type systems, ownership types have no single most general typing. Our inference chooses among

地牢

Airtight