9595 search results - page 286 / 1919 » Functional programming in C |
151
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
190
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes the innovative use of genetic programming (GP) to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a Ò...
162
click to vote
GRAPHICSINTERFACE
1998
15 years 8 months ago
1998
Fractal functions are explored as a representation for rough data in computer graphics. Two new techniques for using fractal interpolation functions to approximate rough functions...
320
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
203
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...