{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:08:19Z","timestamp":1725725299960},"publisher-location":"New York, NY, USA","reference-count":2,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1997,8]]},"DOI":"10.1145\/258948.258986","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"page":"317","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Synthesis of functions by transformations and constraints (poster)"],"prefix":"10.1145","author":[{"given":"Crist\u00f3bal","family":"Pareja-Flores","sequence":"first","affiliation":[{"name":"Univ. Complutense de Madrid"}]},{"given":"J. \u00c1ngel","family":"Vel\u00e1zquez-Iturbide","sequence":"additional","affiliation":[{"name":"Univ. Polit\u00e9cnica de Madrid"}]}],"member":"320","published-online":{"date-parts":[[1997,8]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321996"},{"key":"e_1_3_2_1_3_2","volume-title":"Complutense de Madrid","author":"Pareja-Flores C.","year":"1997","unstructured":"C. Pareja-Flores and J. A. Velazquez-Iturbide . Synthesis of functions by transformations and constraints: rules, applications and examples. Technical report, Depto. Inform~tica y Autom&tica, U . Complutense de Madrid , April 1997 . C. Pareja-Flores and J. A. Velazquez-Iturbide. Synthesis of functions by transformations and constraints: rules, applications and examples. Technical report, Depto. Inform~tica y Autom&tica, U. Complutense de Madrid, April 1997."}],"event":{"name":"ICFP97: International Conference on Functional Programming 1997","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","IFIP WG 2.8 IFIP WG 2.8"],"location":"Amsterdam The Netherlands","acronym":"ICFP97"},"container-title":["Proceedings of the second ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/258948.258986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:12:28Z","timestamp":1693847548000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/258948.258986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,8]]},"references-count":2,"alternative-id":["10.1145\/258948.258986","10.1145\/258948"],"URL":"https:\/\/doi.org\/10.1145\/258948.258986","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/258949.258986","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1997,8]]},"assertion":[{"value":"1997-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}