255 search results - page 4 / 51 » Synthesis of Functions Using Generic Programming |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
DATE
2005
IEEE
13 years 9 months ago
2005
IEEE
This paper proposes a novel architecture synthesis algorithm for single-loop single-bit ∆Σ modulators. We defined a generic modulator architecture and derived its noise and si...
PADL
2005
Springer
14 years 1 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...