899 search results - page 149 / 180 » A CTL-Based Logic for Program Abstractions |
126
click to vote
DBPL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
117
click to vote
IJFCS
2006
15 years 1 months 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...
112
click to vote
ECOOP
2008
Springer
15 years 3 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...
125
click to vote
GECCO
2010
Springer
15 years 2 months 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...
117
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....