3572 search results - page 71 / 715 » Nominal Logic Programming |
103
click to vote
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
110
click to vote
ISHPC
2000
Springer
15 years 4 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
106
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
123
Voted
CADE
2001
Springer
16 years 26 days ago
2001
Springer
101
Voted
AAAI
1990
15 years 1 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...