5863 search results - page 807 / 1173 » Calculating Functional Programs |
181
click to vote
APL
1993
ACM
15 years 11 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
202
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
212
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new language concept called "L-closures" for a running program to legitimately inspect/modify the contents of its execution stack. L-closures are lightweight...
222
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
194
Voted
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This poster paper investigates the potential of single and multiobjective genetic operators with an object-oriented conceptual design space. Using cohesion as an objective fitness...