4895 search results - page 132 / 979 » Functional Quantum Programming |
159
click to vote
TACAS
2001
Springer
15 years 6 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
114
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
121
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
122
click to vote
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
111
click to vote
IWPC
2008
IEEE
15 years 8 months ago
2008
IEEE
To support understanding a specific GUI functionality in a program, we propose a visualization technique that presents the correspondence between the screens before and after the...