906 search results - page 80 / 182 » Language and program design for functional dependencies |
LISP
2007
14 years 9 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
IFIP
1993
Springer
15 years 1 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
HOLOMAS
2009
Springer
15 years 2 months ago
2009
Springer
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
VL
1995
IEEE
15 years 1 months ago
1995
IEEE
A critical incident is reported where a discretionary user needed to partition the spreadsheet grid into an arithmetic series of blocks and apply a function to each, but was unabl...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...