4895 search results - page 127 / 979 » Functional Quantum Programming |
108
click to vote
CC
2007
Springer
15 years 6 months ago
2007
Springer
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
113
Voted
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
272
Voted
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Graphics processing units (GPUs) provide both memory bandwidth and arithmetic performance far greater than that available on CPUs but, because of their Single-Instruction-Multiple...
102
Voted
ENTCS
2002
15 years 2 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
109
click to vote
SERP
2004
15 years 3 months ago
2004
Program restructuring or refactoring is often required when a function becomes too large or is involved in multiple activities and therefore exhibits low cohesion. A critical fact...