TTC'2015 is the 8th Transformation Tool Contest for users and developers of transformation tools. In this paper, we present the use of Spoon, an open-source library to transform and analyze java source code for th...
详细信息
In this paper we extend our java with type inference by adding methods. Functions had been realized as lambda expressions defined in fields until now, which led to the restrictions that no overloading is available. Th...
详细信息
In this paper we extend our java with type inference by adding methods. Functions had been realized as lambda expressions defined in fields until now, which led to the restrictions that no overloading is available. Therefore the main challenge of adding methods is to deal with overloading. We present the change of the data-structures and the algorithm.
The large array of recommendation algorithms proposed over the years brings a challenge in reproducing and comparing their performance. This paper introduces an open-source java library that implements a suite of stat...
详细信息
This paper describes the FunnyQT solution to the TTC 2015 java Refactoring transformation case. The solution solves all core tasks and also the extension tasks 1 and 2, and it has been elected as overall winner of thi...
详细信息
作者：
Hinkel, Georg
Haid-und-Neu-Straße 10-14 Karlsruhe Germany
Lehman's laws state that dedicated efforts must be spent for any software artifact to prevent a loss of quality. For code, such efforts are called refactoring operations and are an important aspect of many softwar...
详细信息
Runtime verification validates the correctness of a program's execution trace. Much work has been done on improving the expressiveness and efficiency of runtime verification. However, current approaches require st...
详细信息
ISBN:
(纸本)1891706373
Runtime verification validates the correctness of a program's execution trace. Much work has been done on improving the expressiveness and efficiency of runtime verification. However, current approaches require static deployment of the verification logic and are often restricted to a limited set of events that can be captured and analyzed, hindering the adoption of runtime verification in production systems. A popular system for runtime verification in java, javaMOP (Monitor- Oriented programming in java), suffers from the aforementioned limitations due to its dependence on AspectJ, which supports neither dynamic weaving nor an extensible join-point model. In this paper, we extend the javaMOP framework with a dynamic deployment API and a new MOP specification translator, which targets the domain-specific aspect language DiSL instead of AspectJ;DiSL offers an open join-point model that allows for extensions. A case study on lambda expressions in java8 demonstrates the extensibility of our approach. Moreover, in comparison with javaMOP using load-time weaving, our implementation reduces runtime overhead by 21%, and heap memory usage by 16%, on average.
Many factor that affected schedule arrangement made the problem became more complicated. Searching of timetabling solution using optimization process is a real example for a complex computation. One of the ways to sol...
详细信息
Uncertainty in programming is one of the challenging issues to be tackled, because it is error-prone for many programmers to temporally avoid uncertain concerns only using simple language constructs such as comments a...
详细信息
There are many factors and concerns surrounding the choice of the first programminglanguage to be taught in ICT studies, both didactical and pedagogical, as well as business and technologydriven. After reviewing the ...
详细信息
A computer application was written to complete the task of contour reduction. The application was used to complete analyses of twentieth-century post-tonal works for solo flute. The methodology of Rob Schultz’s Conto...
详细信息
暂无评论