{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:04:39Z","timestamp":1765667079105,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,11]],"date-time":"2014-01-11T00:00:00Z","timestamp":1389398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,1,11]]},"DOI":"10.1145\/2543728.2543744","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T13:40:06Z","timestamp":1389706806000},"page":"181-188","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["A modular and generic analysis server system for functional logic programs"],"prefix":"10.1145","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[{"name":"University of Kiel, Kiel, Germany"}]},{"given":"Fabian","family":"Skrlac","sequence":"additional","affiliation":[{"name":"University of Kiel, Kiel, Germany"}]}],"member":"320","published-online":{"date-parts":[[2014,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647706.734659"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773205"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11680093_2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721675"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/347476.347484"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562931_21"},{"key":"e_1_3_2_1_8_1","first-page":"1","volume-title":"Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011","author":"Bra\u00dfel B.","year":"2011","unstructured":"B. Bra\u00dfel , M. Hanus , B. Peem\u00f6ller , and F. Reck . KiCS2: A new compiler from Curry to Haskell . In Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011 ), pages 1 -- 18 . Springer LNCS 6816 , 2011 . http:\/\/dx.doi.org\/10.1007\/978--3--642--22531--4_1. 10.1007\/978--3--642--22531--4_1 B. Bra\u00dfel, M. Hanus, B. Peem\u00f6ller, and F. Reck. KiCS2: A new compiler from Curry to Haskell. In Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), pages 1--18. Springer LNCS 6816, 2011. http:\/\/dx.doi.org\/10.1007\/978--3--642--22531--4_1."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263744"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263710"},{"key":"e_1_3_2_1_13_1","first-page":"225","volume-title":"Proc. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002","author":"Hanus M.","year":"2002","unstructured":"M. Hanus . CurryDoc : A documentation tool for declarative programs . In Proc. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002 ), pages 225 -- 228 . Research Report UDMI\/18\/ 2002 \/RR, University of Udine, 2002. M. Hanus. CurryDoc: A documentation tool for declarative programs. In Proc. 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), pages 225--228. Research Report UDMI\/18\/2002\/RR, University of Udine, 2002."},{"key":"e_1_3_2_1_14_1","first-page":"61","volume-title":"Proc. of the 16th Workshop on Logic-based Methods in Programming Environments (WLPE'06)","author":"Hanus M.","year":"2006","unstructured":"M. Hanus . CurryBrowser : A generic analysis environment for Curry programs . In Proc. of the 16th Workshop on Logic-based Methods in Programming Environments (WLPE'06) , pages 61 -- 74 , 2006 . M. Hanus. CurryBrowser: A generic analysis environment for Curry programs. In Proc. of the 16th Workshop on Logic-based Methods in Programming Environments (WLPE'06), pages 61--74, 2006."},{"key":"e_1_3_2_1_15_1","volume-title":"Technical Communications of the 28th International Conference on Logic Programming, volume 17, pages 130--143. Leibniz International Proceedings in Informatics (LIPIcs), 2012","author":"Hanus M.","year":"2012","unstructured":"M. Hanus . Improving lazy non-deterministic computations by demand analysis . In Technical Communications of the 28th International Conference on Logic Programming, volume 17, pages 130--143. Leibniz International Proceedings in Informatics (LIPIcs), 2012 . http:\/\/dx.doi.org\/10.4230\/LIPIcs.ICLP. 2012 .130. 10.4230\/LIPIcs.ICLP.2012.130 M. Hanus. Improving lazy non-deterministic computations by demand analysis. In Technical Communications of the 28th International Conference on Logic Programming, volume 17, pages 130--143. Leibniz International Proceedings in Informatics (LIPIcs), 2012. http:\/\/dx.doi.org\/10.4230\/LIPIcs.ICLP.2012.130."},{"key":"e_1_3_2_1_16_1","first-page":"123","volume-title":"Programming Logics - Essays in Memory of Harald Ganzinger","author":"Hanus M.","year":"2013","unstructured":"M. Hanus . Functional logic programming: From theory to Curry . In Programming Logics - Essays in Memory of Harald Ganzinger , pages 123 -- 168 . Springer LNCS 7797, 2013 . M. Hanus. Functional logic programming: From theory to Curry. In Programming Logics - Essays in Memory of Harald Ganzinger, pages 123--168. Springer LNCS 7797, 2013."},{"key":"e_1_3_2_1_17_1","first-page":"369","volume-title":"Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001","author":"Hanus M.","year":"2017","unstructured":"M. Hanus and J. Koj . CIDER: An integrated development environment for Curry . In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001 ), pages 369 -- 373 . Report No. 2017 , University of Kiel, 2001. M. Hanus and J. Koj. CIDER: An integrated development environment for Curry. In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), pages 369--373. Report No. 2017, University of Kiel, 2001."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11503-5_18"},{"key":"e_1_3_2_1_19_1","volume-title":"PAKCS: The Portland Aachen Kiel Curry System.","author":"Hanus M.","year":"2013","unstructured":"M. Hanus , S. Antoy , B. Bra\u00dfel , M. Engelke , K. H\u00f6ppner , J. Koj , P. Niederau , R. Sadre , and F. Steiner . PAKCS: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/pakcs\/, 2013 . M. Hanus, S. Antoy, B. Bra\u00dfel, M. Engelke, K. H\u00f6ppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http:\/\/www.informatik.uni-kiel.de\/pakcs\/, 2013."},{"key":"e_1_3_2_1_20_1","volume-title":"Curry: An integrated functional logic language (vers. 0.8.3).","author":"Hanus M.","year":"2012","unstructured":"M. Hanus (ed.). Curry: An integrated functional logic language (vers. 0.8.3). Available at http:\/\/www.curry-language.org, 2012 . M. Hanus (ed.). Curry: An integrated functional logic language (vers. 0.8.3). Available at http:\/\/www.curry-language.org, 2012."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000457"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512672"},{"key":"e_1_3_2_1_24_1","first-page":"244","volume-title":"Proc. of RTA'99","author":"L\u00f3pez-Fraguas F.","year":"1999","unstructured":"F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez . TOY: A multiparadigm declarative system . In Proc. of RTA'99 , pages 244 -- 247 . Springer LNCS 1631, 1999 . F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A multiparadigm declarative system. In Proc. of RTA'99, pages 244--247. Springer LNCS 1631, 1999."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/647324.721526"},{"key":"e_1_3_2_1_26_1","volume-title":"Christian-Albrechts-Universit\u00e4t zu Kiel","author":"Palkus M.","year":"2012","unstructured":"M. Palkus . An Eclipse-based integrated development environment for Curry. Master's thesis , Christian-Albrechts-Universit\u00e4t zu Kiel , 2012 . M. Palkus. An Eclipse-based integrated development environment for Curry. Master's thesis, Christian-Albrechts-Universit\u00e4t zu Kiel, 2012."},{"key":"e_1_3_2_1_27_1","volume-title":"Haskell 98 Language and Libraries--The Revised Report","author":"Peyton Jones S.","year":"2003","unstructured":"S. Peyton Jones , editor. Haskell 98 Language and Libraries--The Revised Report . Cambridge University Press , 2003 . S. Peyton Jones, editor. Haskell 98 Language and Libraries--The Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863539"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"e_1_3_2_1_31_1","first-page":"441","volume-title":"Machine Intelligence 10","author":"Warren D.","year":"1982","unstructured":"D. Warren . Higher-order extensions to Prolog: are they needed ? In Machine Intelligence 10 , pages 441 -- 454 , 1982 . D. Warren. Higher-order extensions to Prolog: are they needed? In Machine Intelligence 10, pages 441--454, 1982."}],"event":{"name":"POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"San Diego California USA","acronym":"POPL '14"},"container-title":["Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543728.2543744","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2543728.2543744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:15Z","timestamp":1750234215000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543728.2543744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,11]]},"references-count":31,"alternative-id":["10.1145\/2543728.2543744","10.1145\/2543728"],"URL":"https:\/\/doi.org\/10.1145\/2543728.2543744","relation":{},"subject":[],"published":{"date-parts":[[2014,1,11]]},"assertion":[{"value":"2014-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}