5314 search results - page 255 / 1063 » Hybrid Dynamic Programming |
171
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
171
click to vote
POPL
1989
ACM
15 years 10 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
141
click to vote
FPCA
1991
15 years 10 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
153
click to vote
JAPLL
2006
15 years 6 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
168
click to vote
FMOODS
2003
15 years 8 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...