{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:52Z","timestamp":1725663112396},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:11:39Z","timestamp":1330193499000},"page":"148-162","source":"Crossref","is-referenced-by-count":1,"title":["Experiences with the PSG \u2014 Programming System Generator"],"prefix":"10.1007","author":[{"given":"G.","family":"Snelting","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"10_CR1","unstructured":"Bahlke, R. and Snelting, G.: Programmiersystemgenerator. Arbeitsbericht 1984. Bericht PU2R2\/84, Fachgebiet Programmiersprachen und \u0170bersetzer II, Technische Hochschule Darmstadt, Februar 1984."},{"key":"10_CR2","unstructured":"Bahlke, R. and Letschert, T.: Ausf\u0171hrbare denotationale Semantik. Proc. 4. GI-Fachgespr\u00e4ch Implementierung von Programmiersprachen, Z\u0171rich, M\u00e4rz 1984."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D. and Jones, C.B. (eds.): The Vienna Development Method: The metalanguage. LNCS 61, Springer Verlag 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"10_CR4","unstructured":"Kaiser, G.E. and Feiler, P.: Generation of language-oriented editors. Proc. Programmierumgebungen und Compiler, Berichte des German Chapter of the ACM 18, Teubner 1984."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, M.J.C.: The denotational description of programming languages, an introduction. Springer 1979.","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"10_CR6","unstructured":"Habermann, N. et al.: The second compendium of GANDALF documentation. Carnegie-Mellon-University, May 1982."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Henhapl, W. and Snelting, G.: Context relations \u2014 a concept for incremental context analysis in program fragments. Proc. 8. GI-Fachtagung Programmiersprachen und Programmentwicklung, Informatik Fachberichte 77, Springer Verlag 1984.","DOI":"10.1007\/978-3-642-69393-9_9"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(83)90009-6","volume":"3","author":"G. Kahn","year":"1983","unstructured":"Kahn, G. et al.: Metal: A Formalism to specify formalisms. Science of Computer Programming 3 (1983) 151\u2013188.","journal-title":"Science of Computer Programming"},{"key":"10_CR9","unstructured":"Kastens, U. and Zimmermann, E.: GAG \u2014 A generator based on attributed Grammars. Universit\u00e4t Karlsruhe, Institut f\u0171r Informatik, Bericht Nr 14\/80, 1980."},{"key":"10_CR10","unstructured":"Klug, M.: Implementation of MODULA-2 with the PSG-System. Diploma Thesis, TH Darmstadt, 1984 (In German)."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages, Mathematical Systems Theory 2, 127\u2013145, June 1968.","journal-title":"Mathematical Systems Theory"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Letschert,T.: Type inference in the presence of overloading, polymorphism, and type coercions. Proc 8. GI-Fachtagung Programmiersprachen und Programmentwicklung, Informatik Fachberichte 77, Springer 1984.","DOI":"10.1007\/978-3-642-69393-9_4"},{"key":"10_CR13","unstructured":"Mosses, P.: SIS \u2014 Semantics implementation system, Reference Manual and user guide, Report DAIMI DC-30, Aarhus University 1979."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Paulson, L.: A semantics-directed compiler generator. Proc. 9th ACM POPL conference, Albuquerque 1982, 224\u2013239.","DOI":"10.1145\/582153.582178"},{"key":"10_CR15","unstructured":"Pleban, U.: Formal Semantics and Compiler Generation. Proc. Programmiersprachen und Compiler, Berichte des German Chapter of the ACM 18, Teubner 1984."},{"issue":"3","key":"10_CR16","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1145\/2166.357218","volume":"5","author":"T. Reps","year":"1983","unstructured":"Reps, T., Teitelbaum, T. and Demers, A.: Incremental context-dependent analysis for language-based editors. ACM TOPLAS 5, No. 3 (1983), 449\u2013477.","journal-title":"ACM TOPLAS"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Reps, T. and Teitelbaum, T.: The Synthesizer Generator. SIGPLAN Notices Vol. 19, No. 5, 1984.","DOI":"10.1145\/390011.808247"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Teitelbaum, T. and Reps, T.: The Cornell Programm Synthesizer: a syntax-directed programming environment. CACM 24, No. 9 (1981).","DOI":"10.1145\/358746.358755"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:06Z","timestamp":1605643686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}