{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:02:48Z","timestamp":1762297368796,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852865"},{"type":"electronic","value":"9783540852872"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85287-2_32","type":"book-chapter","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T11:59:52Z","timestamp":1219838392000},"page":"336-347","source":"Crossref","is-referenced-by-count":6,"title":["Interactive Multilingual Web Applications with Grammatical Framework"],"prefix":"10.1007","author":[{"given":"Mois\u00e9s Salvador","family":"Meza Moreno","sequence":"first","affiliation":[]},{"given":"Bj\u00f6rn","family":"Bringert","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"32_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A. Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming\u00a014(2), 145\u2013189 (2004)","journal-title":"Journal of Functional Programming"},{"key":"32_CR2","volume-title":"From semantics to computer science: essays in honor of Gilles Kahn","author":"A. Ranta","year":"2008","unstructured":"Ranta, A.: Grammars as software libraries. In: Bertot, Y., Huet, G., L\u00e9vy, J.J., Plotkin, G. (eds.) From semantics to computer science: essays in honor of Gilles Kahn. Cambridge University Press, Cambridge (2008)"},{"issue":"9","key":"32_CR3","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1145\/358746.358755","volume":"24","author":"T. Teitelbaum","year":"1981","unstructured":"Teitelbaum, T., Reps, T.: The Cornell program synthesizer: a syntax-directed programming environment. Commun. ACM\u00a024(9), 563\u2013573 (1981)","journal-title":"Commun. ACM"},{"issue":"1","key":"32_CR4","first-page":"19","volume":"1","author":"R. Furuta","year":"1988","unstructured":"Furuta, R., Quint, V., Andre, J.: Interactively Editing Structured Documents. Electronic Publishing\u00a01(1), 19\u201344 (1988)","journal-title":"Electronic Publishing"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-36456-0_48","volume-title":"Computational Linguistics and Intelligent Text Processing","author":"J. Khegai","year":"2003","unstructured":"Khegai, J., Nordstr\u00f6m, B., Ranta, A.: Multilingual Syntax Editing in GF. In: Gelbukh, A. (ed.) CICLing 2003. LNCS, vol.\u00a02588, pp. 199\u2013204. Springer, Heidelberg (2003)"},{"key":"32_CR6","unstructured":"Bringert, B.: Rapid Development of Dialogue Systems by Grammar Compilation. In: Keizer, S., Bunt, H., Paek, T. (eds.) Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue, Antwerp, Belgium, pp. 223\u2013226 (2007)"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Burden, H., Ljungl\u00f6f, P.: Parsing Linear Context-Free Rewriting Systems. In: Proceedings of the Ninth International Workshop on Parsing Technology, Vancouver, British Columbia, pp. 11\u201317. Association for Computational Linguistics (2005)","DOI":"10.3115\/1654494.1654496"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Angelov, K., Bringert, B., Ranta, A.: PGF: A Portable Run-Time Format for Type-Theoretical Grammars (manuscript, 2008), http:\/\/www.cs.chalmers.se\/~bringert\/publ\/pgf\/pgf.pdf","DOI":"10.1007\/s10849-009-9112-y"},{"key":"32_CR9","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Verification of Object-Oriented Software. The KeY Approach","year":"2007","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS (LNAI), vol.\u00a04334. Springer, Heidelberg (2007)"},{"key":"32_CR10","unstructured":"Johannisson, K., Khegai, J., Forsberg, M., Ranta, A.: From Grammars to Gramlets. In: The Joint Winter Meeting of Computing Science and Computer Engineering. Chalmers University of Technology (2003)"},{"key":"32_CR11","unstructured":"Power, R., Scott, D., Evans, R.: What You See Is What You Meant: direct knowledge editings with natural language feedback. In: 13th European Conference on Artificial Intelligence (ECAI 1998), pp. 677\u2013681 (1998)"},{"key":"32_CR12","unstructured":"Cohen, A., Cuypers, H., Poels, K., Spanbroek, M., Verrijzer, R.: WExEd - WebALT Exercise Editor for Multilingual Mathematical Exercises. In: Sepp\u00e4l\u00e4, M., Xambo, S., Caprotti, O. (eds.) WebALT 2006, First WebALT Conference and Exhibition, Eindhoven, Netherlands, pp. 141\u2013145 (January 2006)"}],"container-title":["Lecture Notes in Computer Science","Advances in Natural Language Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85287-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:39:33Z","timestamp":1557751173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85287-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540852865","9783540852872"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85287-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}