899 search results - page 149 / 180 » A CTL-Based Logic for Program Abstractions |
113
click to vote
DBPL
1999
Springer
15 years 4 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...
90
Voted
IJFCS
2006
15 years 12 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...
94
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...
109
Voted
GECCO
2010
Springer
15 years 18 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...
108
Voted
FOSSACS
2009
Springer
15 years 7 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....