1131 search results - page 175 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
86
Voted
FSKD
2006
Springer
15 years 4 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
104
click to vote
ICFP
2007
ACM
16 years 13 days ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
108
click to vote
ICFP
2001
ACM
16 years 13 days ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
116
Voted
IFIP
1989
Springer
15 years 4 months ago
1989
Springer
The designation “fault tolerant software” has been used for techniques ranging from roll-back and retry to N-version programming, from data mirroring to functional redundancy....