Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
 

Summary: 



A Formal Approach to Reasoning about the

Effectiveness of Partial Evaluation



Elvira Albert1, Sergio Antoy2, and Germ'an Vidal1

1DSIC, Technical University of Valencia, {ealbert,gvidal}@dsic.upv.es
2 Department of Computer Science, Portland State University, antoy@cs.pdx.edu



Abstract. 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 a functional logic pro-

  

Source: Antoy, Sergio - Department of Computer Science, Portland State University

 

Collections: Computer Technologies and Information Sciences