7103 search results - page 61 / 1421 » Components and Generative Programming |
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
UM
2005
Springer
14 years 1 months ago
2005
Springer
GPCE
2004
Springer
14 years 1 months ago
2004
Springer
TYPES
2004
Springer
14 years 1 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...