5415 search results - page 352 / 1083 » The Implementation of Functional Programming Languages |
196
click to vote
ICML
1989
IEEE
15 years 10 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
211
click to vote
DLS
2007
15 years 10 months ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
181
click to vote
SFP
2004
15 years 8 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
190
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
Kolmogorov complexity measures the ammount of information in a string as the size of the shortest program that computes the string. The Kolmogorov structure function divides the s...
170
click to vote
ISHPC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Writing e cient iterative solvers for irregular, sparse matrices in HPF is hard. The locality in the computations is unclear, and for e ciency we use storage schemes that...