19 search results - page 1 / 4 » flops 2008 |
68
Voted
FLOPS
2008
Springer
15 years 28 days ago
2008
Springer
78
Voted
FLOPS
2008
Springer
15 years 28 days ago
2008
Springer
FLOPS
2008
Springer
15 years 28 days ago
2008
Springer
FLOPS
2008
Springer
15 years 28 days 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
15 years 28 days 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...