7 search results - page 2 / 2 » wflp 2000 |
WFLP
2000
Springer
15 years 29 days ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
96
Voted
WFLP
2000
Springer
15 years 29 days 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...