Filters








6 Hits in 1.8 sec

An Integrated Development Environment for Declarative Multi-Paradigm Programming [article]

Michael Hanus, Johannes Koj
2001 arXiv   pre-print
In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry.  ...  CIDER is completely implemented in Curry using libraries for GUI programming (based on Tcl/Tk) and meta-programming.  ...  types where α->β denotes the type of all functions mapping elements of type α into elements of type β. 3 As a default, all functions except for constraints are rigid.  ... 
arXiv:cs/0111039v2 fatcat:pwahgntrwng5tnuq4pe5uyhwla

Cost-augmented narrowing-driven specialization

Germán Vidal
2002 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '02  
An implementation of the cost-augmented specializer has been undertaken, which demonstrates the practicality of our approach.  ...  ACKNOWLEDGEMENTS We gratefully acknowledge Elvira Albert for many helpful discussions on the topic of this paper. We also acknowledge the anonymous referees for many useful comments and suggestions.  ...  As for the cost, we use the construction alt(km) to denote an alternative between different branches.  ... 
doi:10.1145/503032.503037 dblp:conf/pepm/Vidal02 fatcat:5eptxik7ibex7kfviuflpr5sou

Cost-augmented narrowing-driven specialization

Germán Vidal
2002 SIGPLAN notices  
An implementation of the cost-augmented specializer has been undertaken, which demonstrates the practicality of our approach.  ...  ACKNOWLEDGEMENTS We gratefully acknowledge Elvira Albert for many helpful discussions on the topic of this paper. We also acknowledge the anonymous referees for many useful comments and suggestions.  ...  As for the cost, we use the construction alt(km) to denote an alternative between different branches.  ... 
doi:10.1145/509799.503037 fatcat:v76j7lp4bveq3avlzr5myzmh4m

The narrowing-driven approach to functional logic program specialization

Elvira Albert, German Vidal
2002 New generation computing  
Recently, a partial evaluation framework for functional logic programs has been proposed.  ...  In this framework, narrowing-the standard operational semantics of integrated languages-is used to drive the partial evaluation process.  ...  Finally, we would like to thank the participants of the Partial Evaluation and Program Transformation Day (Waseda University, Tokyo, 1999) for useful comments and suggestions on an earlier version of this  ... 
doi:10.1007/bf03037257 fatcat:bk7s54aw4nc7tdmiuwv2cg6mdm

Cost-Augmented Partial Evaluation of Functional Logic Programs

Germán Vidal
2004 Higher-Order and Symbolic Computation  
We enhance the narrowing-driven partial evaluation scheme for lazy functional logic programs with the computation of symbolic costs.  ...  I gratefully acknowledge the anonymous referees, also of PEPM 2002, for their detailed comments and suggestions.  ...  Acknowledgements The author wishes to thank Elvira Albert, Sergio Antoy, Michael Hanus and Frank Huch for many helpful discussions on the topics of this work.  ... 
doi:10.1023/b:lisp.0000029447.02190.42 fatcat:t7q6nuoipbb4lgiyhryoaqvjem

Analytical Inductive Functional Programming [chapter]

Emanuel Kitzelmann
2009 Lecture Notes in Computer Science  
Acknowledgments We thank the reviewers for their feedback.  ...  Acknowledgements We thank the LOPSTR'2008 referees for helpful comments and suggestions.  ...  is true for these types. The predicate unsafe? is true for condemned and in-danger types. Function danger (s) denotes the in-danger version of s.  ... 
doi:10.1007/978-3-642-00515-2_7 fatcat:r3xkzawlibfcpluopvlz7ukp4y