{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:35:08Z","timestamp":1743143708270,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415234"},{"type":"electronic","value":"9783642415241"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41524-1_3","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T10:48:20Z","timestamp":1384512500000},"page":"41-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Translating Nondeterministic Functional Language Based on Attribute Grammars into Java"],"prefix":"10.1007","author":[{"given":"Masanobu","family":"Umeda","sequence":"first","affiliation":[]},{"given":"Ryoto","family":"Naruse","sequence":"additional","affiliation":[]},{"given":"Hiroaki","family":"Sone","sequence":"additional","affiliation":[]},{"given":"Keiichi","family":"Katamine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/S1386-5056(01)00183-6","volume":"64","author":"B Kaplan","year":"2001","unstructured":"Kaplan, B.: Evaluating informatics applications - clinical decision support systems literature review. Int. J. Med. Inform. 64, 15\u201337 (2001)","journal-title":"Int. J. Med. Inform."},{"key":"3_CR2","first-page":"315","volume":"27","author":"A Takada","year":"2007","unstructured":"Takada, A., Nagase, K., Ohno, K., Umeda, M., Nagasawa, I.: Clinical decision support system, how do we realize it for hospital information system? Jpn. J. Med. Inform. 27, 315\u2013320 (2007)","journal-title":"Jpn. J. Med. Inform."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Nagasawa, H., Nagasawa, I., Takata, O., Umeda, M., Hashimoto, M., Takizawa, C.: Knowledge modeling for operation management support of a distribution center. In: The Sixth IEEE International Conference on Computer and Information Technology (CIT2006) (2006)","DOI":"10.1109\/CIT.2006.110"},{"key":"3_CR4","first-page":"157","volume":"417","author":"I Nagasawa","year":"1990","unstructured":"Nagasawa, I., Maeda, J., Tegoshi, Y., Makino, M.: A programming technique for some combination problems in a design support system using the method of generate-and-test. J. Struct. Constr. Eng. 417, 157\u2013166 (1990)","journal-title":"J. Struct. Constr. Eng."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Umeda, M., Nagasawa, I., Higuchi, T.: The elements of programming style in design calculations. In: Proceedings of the Ninth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp. 77\u201386 (1996)","DOI":"10.1201\/9780429332111-13"},{"key":"3_CR6","first-page":"147","volume":"24","author":"T Katayama","year":"1983","unstructured":"Katayama, T.: A computation model based on attribute grammar. J. Inf. Process. Soc. Jpn. 24, 147\u2013155 (1983)","journal-title":"J. Inf. Process. Soc. Jpn."},{"volume-title":"Attribute Grammars and their Applications. LNCS","year":"1990","key":"3_CR7","unstructured":"Deransart, P., Jourdan, M. (eds.): Attribute Grammars and their Applications. LNCS, vol. 461. Springer, Heidelberg (1990)"},{"key":"3_CR8","first-page":"877","volume":"E87\u2013D","author":"K Katamine","year":"2004","unstructured":"Katamine, K., Umeda, M., Nagasawa, I., Hashimoto, M.: Integrated development environment for knowledge-based systems and its practical application. IEICE Trans. Inf. Syst. E87\u2013D, 877\u2013885 (2004)","journal-title":"IEICE Trans. Inf. Syst."},{"key":"3_CR9","unstructured":"ISO\/IEC: 13211\u20131 Information technology - Programming Languages - Prolog - Part 1: General core (1995)"},{"key":"3_CR10","first-page":"200","volume-title":"INAP 2005. LNCS (LNAI)","author":"M Umeda","year":"2006","unstructured":"Umeda, M., Katamine, K., Nagasawa, I., Hashimoto, M., Takata, O., et al.: Multi-threading inside prolog for knowledge-based enterprise applications. In: Umeda, M., Wolf, A., Bartenstein, O., Geske, U., Seipel, D., Takata, O. (eds.) INAP 2005. LNCS (LNAI), vol. 4369, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"3_CR11","first-page":"1965","volume":"48","author":"M Umeda","year":"2007","unstructured":"Umeda, M., Katamine, K., Nagasawa, I., Hashimoto, M., Takata, O.: The design and implementation of knowledge processing server for enterprise information systems. Trans. Inf. Process. Soc. Jpn. 48, 1965\u20131979 (2007)","journal-title":"Trans. Inf. Process. Soc. Jpn."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"1429","DOI":"10.2493\/jjspe.54.1429","volume":"54","author":"I Nagasawa","year":"1988","unstructured":"Nagasawa, I.: Feature of design and intelligent CAD. J. Jpn. Soc. Precis. Eng. 54, 1429\u20131434 (1988)","journal-title":"J. Jpn. Soc. Precis. Eng."},{"key":"3_CR13","first-page":"188","volume-title":"INAP 2009. LNCS","author":"M Umeda","year":"2011","unstructured":"Umeda, M., Mure, Y.: Knowledge management strategy and tactics for forging die design support. In: Seipel, D. (ed.) INAP 2009. LNCS, vol. 6547, pp. 188\u2013204. Springer, Heidelberg (2011)"},{"key":"3_CR14","first-page":"1151","volume":"36","author":"T Hirota","year":"1995","unstructured":"Hirota, T., Hashimoto, M., Nagasawa, I.: A discussion on conceptual model description language specific for an application domain. Trans. Inf. Process. Soc. Jpn. 36, 1151\u20131162 (1995)","journal-title":"Trans. Inf. Process. Soc. Jpn."},{"key":"3_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine","author":"H Ait-Kaci","year":"1991","unstructured":"Ait-Kaci, H.: Warren\u2019s Abstract Machine. MIT Press, Cambridge (1991)"},{"key":"3_CR16","unstructured":"Demoen, B., Tarau, P.: jprolog home page. http:\/\/www.cs.kuleuven.ac.be\/bmd\/PrologInJava\/ (1996)"},{"key":"3_CR17","first-page":"1","volume-title":"INAP 2005. LNCS (LNAI)","author":"M Banbara","year":"2006","unstructured":"Banbara, M., Tamura, N., Inoue, K.: Prolog Cafe: a prolog to Java translator system. In: Umeda, M., Wolf, A., Bartenstein, O., Geske, U., Seipel, D., Takata, O. (eds.) INAP 2005. LNCS (LNAI), vol. 4369, pp. 1\u201311. Springer, Heidelberg (2006)"},{"key":"3_CR18","first-page":"159","volume-title":"PLILP 1990. LNCS","author":"P Tarau","year":"1990","unstructured":"Tarau, P., Boyer, M.: Elementary logic programs. In: Deransart, P., Maluszy\u0144ski, J. (eds.) PLILP 1990. LNCS, vol. 456, pp. 159\u2013173. Springer, Heidelberg (1990)"},{"key":"3_CR19","unstructured":"Cook, J.J.: Language interoperability and logic programming languages. In: Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Doctor of philosophy (2004)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1017\/S1471068411000160","volume":"11","author":"Z Neng-Fa","year":"2011","unstructured":"Neng-Fa, Z.: The language features and architecture of b-prolog. Theor. Pract. Logic Program. 11, 537\u2013553 (2011)","journal-title":"Theor. Pract. Logic Program."},{"key":"3_CR21","first-page":"265","volume":"15","author":"Z Neng-Fa","year":"1993","unstructured":"Neng-Fa, Z.: Global optimizations in a prolog compiler for the TOAM. J. Logic Program. 15, 265\u2013294 (1993)","journal-title":"J. Logic Program."}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41524-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T19:50:16Z","timestamp":1676836216000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41524-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415234","9783642415241"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41524-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}