8766 search results - page 486 / 1754 » Functional logic programming |
125
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
231
click to vote
ACMMPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
117
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
This paper describes a function-based timing-driven optimization technique for the synthesis of multi-level logic circuits. Motivated by the principles of parallel prefix computat...
150
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...
127
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...