{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:16Z","timestamp":1725455956089},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019356","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"65-76","source":"Crossref","is-referenced-by-count":2,"title":["Toward knowledge-based specifications of languages"],"prefix":"10.1007","author":[{"given":"Merik","family":"Meriste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Penjam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Deransart P., Jourdan M., Lorho B. Attribute Grammars. LNCS, 1988, 323,\u2013232 pp."},{"issue":"6","key":"4_CR2","first-page":"172","volume":"17","author":"H. Ganziger","year":"1982","unstructured":"Ganziger H., et al. A Truly Generative Semantics-Directed Compiler Generator. SIGPLAN Notices, 1982, 17, 6, pp. 172\u2013184.","journal-title":"SIGPLAN Notices"},{"key":"4_CR3","unstructured":"Koskimies K.,Elomaa T.,Lehtonen T., Paakki J.: TOOLS\/HLP84 Report and User Manual. Report A-1988-2, Department of Computer Science, University of Helsinki,1988."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Koskimies K. An Experience on Language Implementation Using Attribute Grammars. Report A-1982-2,Department of Computer Science, University of Helsinki,1982.","DOI":"10.1145\/800230.806991"},{"key":"4_CR5","volume-title":"Knowledge-based programming","author":"E. Tyugu","year":"1987","unstructured":"Tyugu E. Knowledge-based programming. Turing Institute Press, Wesley Publ.Co., Glasgow, 1987, 243 p."},{"key":"4_CR6","first-page":"521","volume":"6","author":"E. Tyugu","year":"1986","unstructured":"Tyugu E., Matskin M., Penjam J., Eomois P. NUT \u2014 an Object-Oriented Language. Computers and Artificial Intelligence, C,6,1986,pp.521\u2013542.","journal-title":"Computers and Artificial Intelligence, C"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1145\/321724.321732","volume":"19","author":"G. J.N","year":"1972","unstructured":"Gray J.N., Harrison M.A. On the Covering and Reduction Problems for Context-Free Grammars. J.ACM,1972, 19, 4,pp.675\u2013698.","journal-title":"J.ACM"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0167-6423(83)90016-3","volume":"2","author":"G. Mints","year":"1982","unstructured":"Mints G., Tyugu E. Justification of the Structural Synthesis of Programs. Sci.Comput.Progr.,1982,2,pp.215\u2013240.","journal-title":"Sci.Comput.Progr."},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/S0747-7171(88)80035-X","volume":"5","author":"G. Mints","year":"1988","unstructured":"Mints G., Tyugu E. The Programming Sysrem PRIZ, J. Symbolic Comput., 1988, 5, p. 359\u2013375","journal-title":"J. Symbolic Comput."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"241+264","DOI":"10.1016\/0304-3975(90)90200-2","volume":"71","author":"J. Penjam","year":"1990","unstructured":"Penjam J. Computational and Attribute Models of Formal Languages. Theoret. Comput. Sci.,1990, 71, pp.241+264.","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0022-0000(82)90030-7","volume":"24","author":"J. Engelfriet","year":"1982","unstructured":"Engelfriet J., Fil\u00e8 G. Simple Multi-visit Attribute Grammars. J. Comput. Syst. Sci.,1982,24,pp.283\u2013314.","journal-title":"J. Comput. Syst. Sci."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00264472","volume":"19","author":"G. Fil\u00e8","year":"1983","unstructured":"Fil\u00e8 G. Interpretation and Reduction of Attribute Grammars. Acta Informatica, 1983, 19, pp.115\u2013150.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019356.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:14Z","timestamp":1607550134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019356"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0019356","relation":{},"subject":[]}}