{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T21:08:34Z","timestamp":1722978514601},"reference-count":15,"publisher":"International Academy Publishing (IAP)","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.17706\/jsw.10.10.1148-1159","type":"journal-article","created":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T04:46:40Z","timestamp":1443156400000},"page":"1148-1159","source":"Crossref","is-referenced-by-count":1,"title":["Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation"],"prefix":"10.17706","volume":"10","author":[{"name":"Department of Computer Science, Tokyo Institute of Technology, Ookayama, Meguro, Tokyo, Japan.","sequence":"first","affiliation":[]},{"given":"Shin-Ya","family":"Nishizaki","sequence":"first","affiliation":[]},{"given":"Kensuke","family":"Narita","sequence":"additional","affiliation":[]},{"given":"Tomoyuki","family":"Ueda","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2015]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90020-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3576-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232632"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/10705424_20"},{"key":"ref6","article-title":"Abstract machines, control and sequents.","author":"Curien","year":"2000","unstructured":"[8] Curien, P. L. (2000). Abstract machines, control and sequents. Lecture Notes in Computer Science.","journal-title":"Lect Notes Comput Sci","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96714"},{"key":"ref8","volume-title":"Functional programming","author":"Field","year":"1988","unstructured":"[10] Field, A. J., & Harrison, P. G. (1988). Functional programming. International Computer Science Series."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/iscit.2010.5664903"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802037"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511983504"},{"key":"ref12","volume-title":"Declarative continuations","author":"Filinski","year":"1989","unstructured":"[14] Filinski, A. (1989) Declarative continuations: An investigation of duality in programming language semantics. Category Theory and Computer Science."},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351262"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45793-3_34"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944723"}],"container-title":["Journal of Software"],"original-title":[],"link":[{"URL":"http:\/\/www.jsoftware.us\/vol10\/97-CA010.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2015,10,15]],"date-time":"2015-10-15T22:59:13Z","timestamp":1444949953000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jsoftware.us\/index.php?m=content&c=index&a=show&catid=159&id=2540"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":15,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2015]]}},"URL":"https:\/\/doi.org\/10.17706\/jsw.10.10.1148-1159","relation":{},"ISSN":["1796-217X"],"issn-type":[{"type":"electronic","value":"1796-217X"}],"subject":[],"published":{"date-parts":[[2015]]}}}