4895 search results - page 452 / 979 » Functional Quantum Programming |
178
click to vote
IFL
2005
Springer
16 years 16 days ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
168
click to vote
CASSIS
2004
Springer
16 years 13 days ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
174
click to vote
CD
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
158
click to vote
PEPM
2004
ACM
16 years 12 days ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
191
click to vote
STEP
2003
IEEE
16 years 9 days ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...