{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T10:00:29Z","timestamp":1648893629744},"reference-count":8,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2015]]},"DOI":"10.1587\/transinf.2013edl8047","type":"journal-article","created":{"date-parts":[[2015,1,31]],"date-time":"2015-01-31T22:09:43Z","timestamp":1422742183000},"page":"437-438","source":"Crossref","is-referenced-by-count":0,"title":["Towards Interactive Object-Oriented Programming"],"prefix":"10.1587","volume":"E98.D","author":[{"given":"Keehang","family":"KWON","sequence":"first","affiliation":[{"name":"Computer Eng., DongA Univ."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyunghwan","family":"PARK","sequence":"additional","affiliation":[{"name":"Computer Eng., DongA Univ."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mi-Young","family":"PARK","sequence":"additional","affiliation":[{"name":"Computer Eng., DongA Univ."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] G. Japaridze, \u201cIntroduction to computability logic,\u201d Annals of Pure and Applied Logic, vol.123, pp.1-99, 2003.","DOI":"10.1016\/S0168-0072(03)00023-X"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] G. Japaridze, \u201cSequential operators in computability logic,\u201d Information and Computation, vol.206, no.12, pp.1443-1475, 2008.","DOI":"10.1016\/j.ic.2008.10.001"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov, \u201cUniform proofs as a foundation for logic programming,\u201d Annals of Pure and Applied Logic, vol.51, pp.125-157, 1991.","DOI":"10.1016\/0168-0072(91)90068-W"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] L.A. Stein, \u201cInteractive programming: Revolutionizing introductory computer science,\u201d ACM Comput. Surv. 28, 4es, Article no.103, Dec. 1996.","DOI":"10.1145\/242224.242358"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] R. Perera, \u201cFirst-order interactive programming,\u201d 12th International Conference on Practical Aspects of Declarative Languages (PADL'10), pp.186-200, Jan. 2010.","DOI":"10.1007\/978-3-642-11503-5_17"},{"key":"6","unstructured":"[6] A.C. Kak, Programming with Objects: A Comparative Presentation of Object-Oriented Programming with C++ and Java, John Wiley & Sons, New York, NY, USA, 2003."},{"key":"7","unstructured":"[7] J. Albahari and B. Albanhari, C# 5.0 Pocket Reference, O'Reilly Media, 224 pages, May 2012."},{"key":"8","unstructured":"[8] J. Bloch, Effective Java, second Ed., Addison-Wesley, 2008."}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E98.D\/2\/E98.D_2013EDL8047\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,20]],"date-time":"2019-08-20T11:48:36Z","timestamp":1566301716000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E98.D\/2\/E98.D_2013EDL8047\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2013edl8047","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}