@inproceedings(AbramovGlueck2000URA, author = {Sergei Abramov and Robert Gl{\"{u}}ck}, year = {2000}, title = {The Universal Resolving Algorithm: Inverse Computation in a Functional Language}, booktitle = {Mathematics of Program Construction}, series = {MPC'00}, publisher = {Springer, Berlin, Heidelberg}, pages = {187--212}, doi = {10.1007/10722010_13}, ) @article(AbramovGlueck2002URACorrectness, author = {Sergei Abramov and Robert Gl{\"{u}}ck}, year = {2002}, title = {The Universal Resolving Algorithm and its Correctness: Inverse Computation in a Functional Language}, journal = {Science of Computer Programming}, volume = {43}, number = {2}, pages = {193--229}, doi = {10.1016/S0167-6423(02)00023-0}, ) @inproceedings(AbramovAtAl2006URALazy, author = {Sergei Abramov and Robert Gl\"{u}ck and Yuri Klimov}, year = {2007}, title = {An Universal Resolving Algorithm for Inverse Computation of Lazy Languages}, booktitle = {Proceedings of the 6th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics}, series = {PSI'06}, publisher = {Springer, Berlin, Heidelberg}, pages = {27--40}, doi = {10.1007/978-3-540-70881-0_6}, ) @inproceedings(Almendros-JimenezEtAl2006AutomaticPartial, author = {Almendros{-}Jim{\'{e}}nez, Jes{\'{u}}s M. and Germ{\'{a}}n Vidal}, year = {2007}, title = {Automatic Partial Inversion of Inductively Sequential Functions}, booktitle = {Proceedings of the 18th International Conference on Implementation and Application of Functional Languages}, series = {IFL'06}, publisher = {Springer, Berlin, Heidelberg}, pages = {253--270}, doi = {10.1007/978-3-540-74130-5_15}, ) @inproceedings(Antoy2001Constructor, author = {Sergio Antoy}, year = {2001}, title = {Constructor-Based Conditional Narrowing}, booktitle = {Proceedings of the 3rd ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming}, series = {PPDP’01}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {199--–206}, doi = {10.1145/773184.773205}, ) @inproceedings(AntoyHanus2005FunctionalPatterns, author = {Sergio Antoy and Michael Hanus}, year = {2006}, title = {Declarative Programming with Function Patterns}, booktitle = {Proceedings of the 15th International Conference on Logic-Based Program Synthesis and Transformation}, series = {LOPSTR'05}, publisher = {Springer, Berlin, Heidelberg}, pages = {6--22}, doi = {10.1007/11680093_2}, ) @article(AntoyHanus2010FunctionalLogicProgramming, author = {Sergio Antoy and Michael Hanus}, year = {2010}, title = {Functional Logic Programming}, journal = {Communications of the ACM}, volume = {53}, number = {4}, pages = {74--85}, doi = {10.1145/1721654.1721675}, ) @inproceedings(AntoyHanus2017Eliminating, author = {Sergio Antoy and Michael Hanus}, year = {2017}, title = {Eliminating Irrelevant Non-determinism in Functional Logic Programs}, booktitle = {Practical Aspects of Declarative Languages}, series = {PADL'17}, publisher = {Springer, Cham}, pages = {1--18}, doi = {10.1007/978-3-319-51676-9_1}, ) @inproceedings(AntoyHanus2018Equivalence, author = {Sergio Antoy and Michael Hanus}, year = {2018}, title = {Equivalence Checking of Non-deterministic Operations}, booktitle = {Proceedings of the 14th International Symposium on Functional and Logic Programming}, series = {FLOPS'18}, publisher = {Springer, Cham}, pages = {149--165}, doi = {10.1007/978-3-319-90686-7_10}, ) @inproceedings(BrasselChristiansen2008Relation, author = {Bra{\ss}el, Bernd and Jan Christiansen}, year = {2008}, title = {A Relation Algebraic Semantics for a Lazy Functional Logic Language}, booktitle = {Relations and Kleene Algebra in Computer Science}, series = {RelMiCS'08}, publisher = {Springer, Berlin, Heidelberg}, pages = {37--53}, doi = {10.1007/978-3-540-78913-0_5}, ) @inproceedings(ChristiansenFischer2008EasyCheck, author = {Jan Christiansen and Sebastian Fischer}, year = {2008}, title = {EasyCheck -- Test Data for Free}, booktitle = {Proceedings of the 9th International Symposium on Functional and Logic Programming}, series = {FLOPS'08}, publisher = {Springer, Berlin, Heidelberg}, pages = {322--336}, doi = {10.1007/978-3-540-78969-7_23}, ) @article(DylusEtAl2020PFLP, author = {Sandra Dylus and Jan Christiansen and Finn Teegen}, year = {2020}, title = {Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism}, journal = {Theory and Practice of Logic Programming}, volume = {20}, number = {1}, pages = {147--–175}, doi = {10.1017/S1471068419000085}, ) @inproceedings(GlueckKawabe2004Derivation, author = {Robert Gl{\"{u}}ck and Masahiko Kawabe}, year = {2004}, title = {Derivation of Deterministic Inverse Programs Based on LR Parsing}, booktitle = {Functional and Logic Programming}, series = {FLOPS'04}, publisher = {Springer, Berlin, Heidelberg}, pages = {291--306}, doi = {10.1007/978-3-540-24754-8_21}, ) @inproceedings(GlueckKlimov1993PerfectProcessTree, author = {Robert Gl{\"u}ck and Andrei V. Klimov}, year = {1993}, title = {Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree}, editor = {Patrick Cousot and Moreno Falaschi and Gilberto Fil{\'e} and Antoine Rauzy}, booktitle = {Static Analysis}, publisher = {Springer, Berlin, Heidelberg}, pages = {112--123}, doi = {10.1007/3-540-57264-3_34}, ) @article(GonzalezEtAl1999Approach, author = {Gonz{\'a}lez-Moreno, Juan Carlos and Hortal{\'a}-Gonz{\'a}lez, M.T. and L{\'o}pez-Fraguas, F.J. and Rodr{\'\i}guez-Artalejo, M.}, year = {1999}, title = {An approach to declarative programming based on a rewriting logic}, journal = {Journal of Logic Programming}, volume = {40}, pages = {47--87}, doi = {10.1016/S0743-1066(98)10029-8}, ) @inproceedings(Hanus2016CurryCheck, author = {Michael Hanus}, year = {2017}, title = {{CurryCheck}: Checking Properties of Curry Programs}, booktitle = {Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation}, series = {LOPSTR'16}, publisher = {Springer, Cham}, pages = {222--239}, doi = {10.1007/978-3-319-63139-4_13}, ) @inproceedings(HanusTeegen2020Data, author = {Michael Hanus and Finn Teegen}, year = {2020}, title = {Adding Data to Curry}, booktitle = {Declarative Programming and Knowledge Management}, publisher = {Springer, Cham}, pages = {230--246}, doi = {10.1007/978-3-030-46714-2\_15}, ) @misc(Hanus2016CurryReport, author = {Hanus (ed.), Michael}, year = {2016}, title = {{Curry}: An Integrated Functional Logic Language (Vers.\ 0.9.0)}, howpublished = {Available at \url{http://www.curry-lang.org}}, ) @inproceedings(Lopez-FraguasSanchez-Hernandez1999TOY, author = {L\'opez-Fraguas, Francisco and S\'anchez-Hern\'andez, Jaime}, year = {1999}, title = {{TOY}: A Multiparadigm Declarative System}, booktitle = {Rewriting Techniques and Applications}, series = {RTA'99}, publisher = {Springer, Berlin, Heidelberg}, pages = {244--247}, doi = {10.1007/3-540-48685-2_19}, ) @inproceedings(NishidaEtAl2005Partial, author = {Naoki Nishida and Masahiko Sakai and Toshiki Sakabe}, year = {2005}, title = {Partial Inversion of Constructor Term Rewriting Systems}, booktitle = {Proceedings of the 16th International Conference on Term Rewriting and Applications}, series = {RTA'05}, publisher = {Springer, Berlin, Heidelberg}, pages = {264--278}, doi = {10.1007/978-3-540-32033-3_20}, ) @phdthesis(Peemoeller2016Normalization, author = {Bj{\"o}rn Peem{\"o}ller}, year = {2016}, title = {Normalization and Partial Evaluation of Functional Logic Programs}, school = {Kiel University}, url = {https://macau.uni-kiel.de/receive/diss_mods_00021156}, ) @inproceedings(SecherSorensen2002Driving, author = {Jens Peter Secher and S{\o}rensen, Morten Heine}, year = {2002}, title = {From Checking to Inference via Driving and Dag Grammars}, booktitle = {Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation}, series = {PEPM'02}, publisher = {ACM}, address = {New York, NY, USA}, pages = {41--51}, doi = {10.1145/509799.503036}, )