3573 search results - page 59 / 715 » Reasoning about Codata |
ICNP
1998
IEEE
15 years 2 months ago
1998
IEEE
AIIA
1995
Springer
15 years 2 months ago
1995
Springer
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...