19 search results - page 1 / 4 » flops 2008 |
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...