{"id":59885,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00059885","sets":["5471:5515:5516"]},"path":["5516"],"owner":"11","recid":"59885","title":["An Alternative Scheme for Evaluating Combinator Expressions"],"pubdate":{"attribute_name":"公開日","attribute_value":"1985-02-05"},"_buckets":{"deposit":"7212243a-473e-4731-ae28-697aeb685fc0"},"_deposit":{"id":"59885","pid":{"type":"depid","value":"59885","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"An Alternative Scheme for Evaluating Combinator Expressions","author_link":["361347","361346"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"An Alternative Scheme for Evaluating Combinator Expressions"},{"subitem_title":"An Alternative Scheme for Evaluating Combinator Expressions","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"（IPSJ Best Paper Award、論文賞受賞）","subitem_subject_scheme":"Other"}]},"item_type_id":"5","publish_date":"1985-02-05","item_5_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science  The University of Electro-Communications."}]},"item_5_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science, The University of Electro-Communications.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/59885/files/IPSJ-JIP0704005.pdf","label":"IPSJ-JIP0704005"},"date":[{"dateType":"Available","dateValue":"1987-02-05"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JIP0704005.pdf","filesize":[{"value":"857.7 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"620d5f88-ac6d-4c78-9b75-60d8e01e8232","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1985 by the Information Processing Society of Japan"}]},"item_5_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masato, Takeichi"}],"nameIdentifiers":[{}]}]},"item_5_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masato, Takeichi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_5_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00700121","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_5_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-6652","subitem_source_identifier_type":"ISSN"}]},"item_5_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"Turner shows how combinators can be used for implementing applicative languages. In his method  a combinator expression is represented by a graph with the nodes comprising functions and their arguments. Application of a function to an argument causes graph reduction which corresponds to the beta-reduction of lambda calculus. Graph reduction is performed in a way such that the node representing a functional application is over-written by its result. Another scheme for combinator expression evaluation is proposed by Jones and Muchnick. Although their evaluator is a fixed-program and would have some advantages over Turner's graph reduction scheme  it seems unusual in dealing with higher order functions. In this paper we describe an alternative scheme for evaluating combinator expressions. The evaluator is almost a fixed-program and is easily extended to include new combinators. It deals with higher order functions consistently as Turner's evaluator does. That is  the proposed scheme shares both advantages of Turner's graph reduction and of a fixed-program. And it is most attractive in implementing the evaluator on conventional hardware. An experimental evaluator is also presented.","subitem_description_type":"Other"}]},"item_5_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Turner shows how combinators can be used for implementing applicative languages. In his method, a combinator expression is represented by a graph with the nodes comprising functions and their arguments. Application of a function to an argument causes graph reduction which corresponds to the beta-reduction of lambda calculus. Graph reduction is performed in a way such that the node representing a functional application is over-written by its result. Another scheme for combinator expression evaluation is proposed by Jones and Muchnick. Although their evaluator is a fixed-program and would have some advantages over Turner's graph reduction scheme, it seems unusual in dealing with higher order functions. In this paper we describe an alternative scheme for evaluating combinator expressions. The evaluator is almost a fixed-program and is easily extended to include new combinators. It deals with higher order functions consistently as Turner's evaluator does. That is, the proposed scheme shares both advantages of Turner's graph reduction and of a fixed-program. And it is most attractive in implementing the evaluator on conventional hardware. An experimental evaluator is also presented.","subitem_description_type":"Other"}]},"item_5_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"253","bibliographic_titles":[{"bibliographic_title":"Journal of Information Processing "}],"bibliographicPageStart":"246","bibliographicIssueDates":{"bibliographicIssueDate":"1985-02-05","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicVolumeNumber":"7"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"updated":"2025-01-20T06:33:49.743239+00:00","created":"2025-01-18T23:22:33.978303+00:00","links":{}}