{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:40Z","timestamp":1750308820074,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,16]],"date-time":"2011-05-16T00:00:00Z","timestamp":1305504000000},"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":[[2011,5,16]]},"DOI":"10.1145\/1992896.1992910","type":"proceedings-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T11:53:52Z","timestamp":1307361232000},"page":"111-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A bottom-up approach to understand functional programs"],"prefix":"10.1145","author":[{"given":"Gustavo","family":"Villavicencio","sequence":"first","affiliation":[{"name":"Universidad Cat\u00f3lica de Santiago del Estero, Campus de la UCSE, Santiago del Estero, Argentina"}]}],"member":"320","published-online":{"date-parts":[[2011,5,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Toposes, Triples and Theories","author":"Barr M.","year":"2002","unstructured":"M. Barr and C. Wells . Toposes, Triples and Theories . November 2002 . Revised version - Version 1.1. M. Barr and C. Wells. Toposes, Triples and Theories. November 2002. Revised version - Version 1.1."},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","volume-title":"APPSEM:International Summer School on Applied Semantics","author":"Benton N.","year":"2000","unstructured":"N. Benton , J. Hughes , and E. Moggi . Monads and effects . In APPSEM:International Summer School on Applied Semantics , volume 2395 of LNCS . Springer Verlag , 2000 . N. Benton, J. Hughes, and E. Moggi. Monads and effects. In APPSEM:International Summer School on Applied Semantics, volume 2395 of LNCS. Springer Verlag, 2000."},{"key":"e_1_3_2_1_3_1","series-title":"Series in Computer Science","volume-title":"Algebra of Programming","author":"Bird R.","year":"1997","unstructured":"R. Bird and O. de Moor . Algebra of Programming . Series in Computer Science . Prentice-Hall International , 1997 . C. A. R. Hoare, series editor.. R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor.."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/CSMR.2005.25"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1706356.1706378"},{"key":"e_1_3_2_1_7_1","volume-title":"Workshop on Datatype-Generic Programming","author":"Cunha A.","year":"2004","unstructured":"A. Cunha . Point-free programming with hylomorphisms . In Workshop on Datatype-Generic Programming , Oxford, England , June 2004 . A. Cunha. Point-free programming with hylomorphisms. In Workshop on Datatype-Generic Programming, Oxford, England, June 2004."},{"key":"e_1_3_2_1_8_1","volume-title":"http:\/\/wiki.di.uminho.pt\/twiki\/bin\/view\/Personal\/Alcino\/DrHylo","author":"Cunha A.","year":"2007","unstructured":"A. Cunha . Drhylo. http:\/\/wiki.di.uminho.pt\/twiki\/bin\/view\/Personal\/Alcino\/DrHylo , 2007 . A. Cunha. Drhylo. http:\/\/wiki.di.uminho.pt\/twiki\/bin\/view\/Personal\/Alcino\/DrHylo, 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/11964681_1"},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"A Gentle Introduction to Category Theory -- calculational approach","author":"Fokkinga M. M.","year":"1992","unstructured":"M. M. Fokkinga . A Gentle Introduction to Category Theory -- calculational approach , pages 1 -- 72 . University of Utrecht , Utrecht, Netherlands , 1992 . M. M. Fokkinga. A Gentle Introduction to Category Theory -- calculational approach, pages 1--72. University of Utrecht, Utrecht, Netherlands, 1992."},{"unstructured":"M. Fowler. Refactoring home page. http:\/\/www.refactoring.com 2010.  M. Fowler. Refactoring home page. http:\/\/www.refactoring.com 2010.","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/581478.581492"},{"key":"e_1_3_2_1_13_1","volume-title":"New Zeland Formal Program Development Colloquium Seminar","author":"Gibbons J.","year":"1994","unstructured":"J. Gibbons . An introduction to the Bird-Meertens formalism . New Zeland Formal Program Development Colloquium Seminar , November 1994 . J. Gibbons. An introduction to the Bird-Meertens formalism. New Zeland Formal Program Development Colloquium Seminar, November 1994."},{"key":"e_1_3_2_1_14_1","volume-title":"March","author":"Gibbons J.","year":"1999","unstructured":"J. Gibbons . Lecture notes on algebraic and co-algebraic methods for calculating functional programs , March 1999 . J. Gibbons. Lecture notes on algebraic and co-algebraic methods for calculating functional programs, March 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/1159861.1159863"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/11783596_12"},{"unstructured":"C. Group. Vdm tools. http:\/\/www.vdmtools.jp\/en\/ 2010.  C. Group. Vdm tools. http:\/\/www.vdmtools.jp\/en\/ 2010.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 1st International Workshop in Design Pattern Theory and Practice. IEEE CS Press","author":"Gu\u00e9h\u00e9neuc Y. G.","year":"2005","unstructured":"Y. G. Gu\u00e9h\u00e9neuc , S. Monnier , and G. Antoniol . Evaluating the use of design patterns during program comprehension - experimental setting . In Proceedings of the 1st International Workshop in Design Pattern Theory and Practice. IEEE CS Press , 2005 . Y. G. Gu\u00e9h\u00e9neuc, S. Monnier, and G. Antoniol. Evaluating the use of design patterns during program comprehension - experimental setting. In Proceedings of the 1st International Workshop in Design Pattern Theory and Practice. IEEE CS Press, 2005."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/11877028_5"},{"key":"e_1_3_2_1_21_1","volume-title":"Glasgow workshop on functional programming, Workshops in Computing. Springer Verlag","author":"King D.","year":"1992","unstructured":"D. King and P. Wadler . Combining monads . In Glasgow workshop on functional programming, Workshops in Computing. Springer Verlag , July 1992 . D. King and P. Wadler. Combining monads. In Glasgow workshop on functional programming, Workshops in Computing. Springer Verlag, July 1992."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.5555\/851042.857044"},{"key":"e_1_3_2_1_23_1","volume-title":"Trends in Functional Programming","author":"Li H.","year":"2005","unstructured":"H. Li and S. Thompson . Formalisation of Haskell Refactorings. In M. van Eekelen and K. Hammond, editors , Trends in Functional Programming , September 2005 . H. Li and S. Thompson. Formalisation of Haskell Refactorings. In M. van Eekelen and K. Hammond, editors, Trends in Functional Programming, September 2005."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1016\/j.entcs.2005.02.053"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes for ESSLLI'95","volume-title":"Category theory for program construction by calculation","author":"Meertens L.","year":"1995","unstructured":"L. Meertens . Category theory for program construction by calculation . Lecture Notes for ESSLLI'95 , 1995 . Barcelona , Espa\u00f1a . L. Meertens. Category theory for program construction by calculation. Lecture Notes for ESSLLI'95, 1995. Barcelona, Espa\u00f1a."},{"key":"e_1_3_2_1_27_1","first-page":"228","volume-title":"Tutorial Text 1st Int. Spring School on Advanced Functional Programming Techniques, B\u00e5stad, Sweden, 24--30","author":"Meijer E.","year":"1995","unstructured":"E. Meijer and J. Jeuring . Merging monads and folds for functional programming . In J. Jeuring and E. Meijer, editors, Tutorial Text 1st Int. Spring School on Advanced Functional Programming Techniques, B\u00e5stad, Sweden, 24--30 May 1995 , volume 925 , pages 228 -- 266 . Springer-Verlag , Berlin , 1995. E. Meijer and J. Jeuring. Merging monads and folds for functional programming. In J. Jeuring and E. Meijer, editors, Tutorial Text 1st Int. Spring School on Advanced Functional Programming Techniques, B\u00e5stad, Sweden, 24--30 May 1995, volume 925, pages 228--266. Springer-Verlag, Berlin, 1995."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1109\/TSE.2004.1265817"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.5555\/77350.77353"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_31_1","first-page":"116","volume-title":"Proc. 3rd International Summer School on Advanced Functional Programming, LNCS 1608","author":"Moor O. D.","year":"1998","unstructured":"O. D. Moor and G. Sittampalam . Generic program transformation . In Proc. 3rd International Summer School on Advanced Functional Programming, LNCS 1608 , pages 116 -- 149 . Springer-Verlag , 1998 . O. D. Moor and G. Sittampalam. Generic program transformation. In Proc. 3rd International Summer School on Advanced Functional Programming, LNCS 1608, pages 116--149. Springer-Verlag, 1998."},{"key":"e_1_3_2_1_32_1","volume-title":"An introduction to point-free programming","author":"Oliveira J.","year":"1999","unstructured":"J. Oliveira . An introduction to point-free programming , 1999 . Departamento de Inform\u00e1tica, Universidade do Minho . 37p., chapter of book in preparation. J. Oliveira. An introduction to point-free programming, 1999. Departamento de Inform\u00e1tica, Universidade do Minho. 37p., chapter of book in preparation."},{"key":"e_1_3_2_1_33_1","first-page":"35","volume-title":"Proceedings of the 8th Working Conference on Reverse Engineering","author":"Oliveira J. N.","year":"2001","unstructured":"J. N. Oliveira and G. Villavicencio . Reverse program calculation supported by code slicing . In Proceedings of the 8th Working Conference on Reverse Engineering , pages 35 -- 45 , Stuttgart, Germany , October 2001 . IEEE CS Press, California, USA. J. N. Oliveira and G. Villavicencio. Reverse program calculation supported by code slicing. In Proceedings of the 8th Working Conference on Reverse Engineering, pages 35--45, Stuttgart, Germany, October 2001. IEEE CS Press, California, USA."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1016\/S0304-3975(00)00127-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1007\/11546382_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1007\/s11219-006-9216-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1109\/ISPSE.2000.913246"},{"key":"e_1_3_2_1_39_1","first-page":"368","volume-title":"Proceedings of the 7th European Conference on Software Maintenance and Reengineering","author":"Villavicencio G.","year":"2003","unstructured":"G. Villavicencio . Reverse program calculation by conditioned slicing . In Proceedings of the 7th European Conference on Software Maintenance and Reengineering , pages 368 -- 378 , Benevento, Italy , March 2003 . IEEE CS Press, California, USA. G. Villavicencio. Reverse program calculation by conditioned slicing. In Proceedings of the 7th European Conference on Software Maintenance and Reengineering, pages 368--378, Benevento, Italy, March 2003. IEEE CS Press, California, USA."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1016\/0304-3975(90)90147-A"},{"key":"e_1_3_2_1_41_1","volume-title":"Advanced Functional Programming, number 925 in LNCS","author":"Wadler P.","year":"1995","unstructured":"P. Wadler . Monads for functional programming . In Advanced Functional Programming, number 925 in LNCS . Springer Verlag , 1995 . P. Wadler. Monads for functional programming. In Advanced Functional Programming, number 925 in LNCS. Springer Verlag, 1995."},{"key":"e_1_3_2_1_42_1","volume-title":"Fifth International Conference on Software Engineering","author":"Weiser M.","year":"1981","unstructured":"M. Weiser . Program slicing . In Fifth International Conference on Software Engineering , San Diego, California , March 1981 . M. Weiser. Program slicing. In Fifth International Conference on Software Engineering, San Diego, California, March 1981."}],"event":{"sponsor":["ACM Association for Computing Machinery","BytePress","Concordia University Concordia University"],"acronym":"C3S2E '11","name":"C3S2E '11: Fourth International C* Conference on Computer Science & Software Engineering","location":"Montreal Quebec Canada"},"container-title":["Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1992896.1992910","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1992896.1992910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:39Z","timestamp":1750278399000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1992896.1992910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,16]]},"references-count":39,"alternative-id":["10.1145\/1992896.1992910","10.1145\/1992896"],"URL":"https:\/\/doi.org\/10.1145\/1992896.1992910","relation":{},"subject":[],"published":{"date-parts":[[2011,5,16]]},"assertion":[{"value":"2011-05-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}