3738 search results - page 565 / 748 » Parametrized Logic Programming |
FOAL
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
96
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
112
Voted
GECCO
2010
Springer
15 years 21 days ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
111
click to vote
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
95
Voted
IJFCS
2006
15 years 15 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...