4959 search results - page 430 / 992 » Imperative Functional Programming |
212
click to vote
FMCAD
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
327
click to vote
Book
The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes
Monads,...
183
click to vote
ICRA
2008
IEEE
16 years 2 months ago
2008
IEEE
— We present a framework for the programming of manipulation behavior by means of an intrinsic reward function that encourages the building of deep control knowledge. We show how...
182
click to vote
FLAIRS
2008
15 years 10 months ago
2008
An important hypothesis of the research reported in this paper is that dynamic space warping (DSW), a dynamic programming (DP) technique (Bellman 1965, Brown 1996), can be effecti...
183
click to vote
CIE
2008
Springer
15 years 9 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...