4224 search results - page 69 / 845 » Reasoning about Choice |
AIIA
1995
Springer
15 years 2 months ago
1995
Springer
77
Voted
SAIG
2000
Springer
15 years 2 months ago
2000
Springer
CHARME
1995
Springer
15 years 2 months ago
1995
Springer
102
click to vote
WFLP
2000
Springer
15 years 2 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
127
click to vote
HLPPP
1991
15 years 2 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...