11089 search results - page 1688 / 2218 » Developing software families |
175
click to vote
LCPC
2004
Springer
16 years 17 days ago
2004
Springer
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
162
click to vote
OOPSLA
2004
Springer
16 years 17 days ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they deļ...
202
click to vote
RISE
2004
Springer
16 years 16 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for deļ¬ning a lightweight modelāchecking algorithm for re...
180
click to vote
SSPR
2004
Springer
16 years 16 days ago
2004
Springer
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...
179
click to vote
ARITH
2003
IEEE
16 years 15 days ago
2003
IEEE
Decimal arithmetic is the norm in human calculations, and human-centric applications must use a decimal floating-point arithmetic to achieve the same results. Initial benchmarks i...