19 search results - page 1 / 4 » flops 2008 |
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
FLOPS
2008
Springer
13 years 6 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 6 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...