940 search results - page 110 / 188 » Rules and Strategies in Java |
109
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
108
click to vote
FLAIRS
2004
15 years 1 months ago
2004
Many dramatizations have depicted a fully automated home living environment, where actions and events are understood or even anticipated. While the realization of such environment...
128
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...
109
click to vote
NJC
2006
15 years 15 days ago
2006
Object-oriented frameworks play an essential role in the implementation of product-line architectures (PLAs) for product families. However, recent case studies reveal that deriving...
79
Voted
NAR
2007
15 years 1 days ago
2007
The PEDANT genome database provides exhaustive annotation of 468 genomes by a broad set of bioinformatics algorithms. We describe recent developments of the PEDANT Web server. The...