4895 search results - page 84 / 979 » Functional Quantum Programming |
CEFP
2005
Springer
14 years 2 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
ERLANG
2006
ACM
14 years 2 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
COMPUTING
2006
13 years 9 months ago
2006
Sparse grid methods represent a powerful and efficient technique for the representation and approximation of functions and particularly the solutions of partial differential equat...