5243 search results - page 70 / 1049 » Reasoning About Strategies |
86
Voted
SAIG
2000
Springer
15 years 4 months ago
2000
Springer
CHARME
1995
Springer
15 years 4 months ago
1995
Springer
121
Voted
WFLP
2000
Springer
15 years 4 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...
145
Voted
HLPPP
1991
15 years 4 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...
SP
1987
IEEE
15 years 4 months ago
1987
IEEE
