{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:09Z","timestamp":1725662949315},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108856"},{"type":"electronic","value":"9783540387947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10885-8_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:35:24Z","timestamp":1330191324000},"page":"173-199","source":"Crossref","is-referenced-by-count":0,"title":["Problems in compiling Ada"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Goos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Winterstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"J.D. Ichbiah, J.D. Heliard, O. Roubine, J.G.P. Barnes, B. Krieg-Br\u00fcckner, B.A. Wichman: Preliminary ADA Reference Manual. ACM SIGPLAN Notices 14, No. 6, Part A, June 1979","DOI":"10.1145\/956653.956654"},{"key":"12_CR2","unstructured":"Ada Reference Manual. Department of Defense. July 1980 Reprinted in: Lecture Notes in Computer Science, vol. 106, 1981 and in [Ledgard 81]"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1002\/spe.4380101102","volume":"10","author":"J. G. P. P. Barnes","year":"1980","unstructured":"J.G. P. Barnes: An Overview of Ada. Software Practice and Experience, Vol. 10, 1980, 851\u2013887","journal-title":"Software Practice and Experience"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"D. Bj\u00f8rner, O.N. Oest (ed.): Towards a Formal Description of Ada. Lecture Notes in Computer Science, Vol. 98, Springer 1980","DOI":"10.1007\/3-540-10283-3_1"},{"issue":"6","key":"12_CR5","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/C-M.1981.220486","volume":"14","author":"W. E. Carlson","year":"1981","unstructured":"W.E. Carlson: Ada: A Promising Beginning. IEEE Computer, Vol. 14,6 (June 1981), 13\u201316","journal-title":"IEEE Computer"},{"issue":"2","key":"12_CR6","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/954269.954275","volume":"16","author":"G. V. Cormack","year":"1981","unstructured":"G. V. Cormack: An Algorithm for the Selection of Overloaded Functions in Ada. SIGPLAN Notices 16,2 (1981), 48\u201352","journal-title":"SIGPLAN Notices"},{"key":"12_CR7","unstructured":"M. Dausmann, G. Persch, G. Winterstein: LIS as Object-Code for an ADA-0 Translator. in: Informatik-Fachberichte, IFB 25, (H.J.Hofmann, ed.), 6. GI-Fachtagung, Programmiersprachen und Programmentwicklung, Darmstadt, 1980, 95\u2013110"},{"key":"12_CR8","unstructured":"M.Dausmann, S.Drossopoulou, G.Goos, G.Persch, G.Winterstein: Preliminary AIDA Reference Manual. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 2\/80"},{"key":"12_CR9","unstructured":"M.Dausmann, S.Drossopoulou, G.Goos, G.Persch, G.Winterstein: AIDA Introduction and User Manual. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 38\/80"},{"key":"12_CR10","unstructured":"M.Dausmann, S.Drossopoulou, G.Persch, G.Winterstein: SEPAREE \u2014 A Separate Compilation System for Ada. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 32\/80"},{"key":"12_CR11","unstructured":"M.Dausmann, S.Drossopoulou, G.Persch, G.Winterstein: Efficient Recompilation Checks for Ada. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 30\/80"},{"key":"12_CR12","unstructured":"M.Dausmann, S.Drossopoulou, G.Persch, G.Winterstein: On Reusing Units of other Program Libraries. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 31\/80"},{"key":"12_CR13","unstructured":"P. Dencker: Benutzerbeschreibung des PGS. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 8\/80"},{"issue":"2","key":"12_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/947586.947589","volume":"15","author":"H. Ganzinger","year":"1980","unstructured":"H. Ganzinger, K. Ripken: Operator identification in Ada: Formal specification, complexity, and concrete implementation. SIGPLAN Notices 15,2 (1980), 39\u201343","journal-title":"SIGPLAN Notices"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"J. Goodenough: Ada Compiler Validation Implementer's Guide. Softech Inc., October 1980","DOI":"10.1145\/800004.807929"},{"issue":"11","key":"12_CR16","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/947783.948639","volume":"15","author":"G. Goos","year":"1980","unstructured":"G. Goos, G. Winterstein: Towards a compiler front-end for Ada. SIGPLAN Notices 15, 11 (1980), 36\u201346","journal-title":"SIGPLAN Notices"},{"key":"12_CR17","unstructured":"G. Goos, W.M. Wulf: DIANA Reference Manual Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 1\/81"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"G.J. Kahn, V. Donzeau-Gouge, B. Lang: Formal definition of the Ada Programming Language Preliminary Version for Public Review Honeywell Inc. Minneapolis, CII Honeywell Bull Louveciennes, INRIA Le Chesnay, November 1980","DOI":"10.1007\/3-540-10250-7_34"},{"key":"12_CR19","unstructured":"U. Kastens: ALADIN \u2014 eine Definitionssprache f\u00fcr attributierte Grammatiken. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 7\/79"},{"key":"12_CR20","unstructured":"U. Kastens, E. Zimmermann: GAG \u2014 A Generator Based on Attributed Grammars. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 14\/80"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"H. Ledgard: ADA \u2014 An Introduction. Springer Verlag 1981","DOI":"10.1007\/978-1-4684-0126-4"},{"key":"12_CR22","unstructured":"J.D. Ichbiah, J.P. Rissen, J.D. Heliard, P. Cousot: LIS Reference Manual. Report 4549 E\/EN. CII Honeywell-Bull, Louveciennes, France, 1975. Also available from: SIEMENS, UB D Dv WS SP31, 8000 Munich, 1978"},{"issue":"11","key":"12_CR23","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/947783.948640","volume":"15","author":"G. Persch","year":"1980","unstructured":"G. Persch, G. Winterstein, M. Dausmann, S. Drossopoulou: Overloading in Preliminary ADA. SIGPLAN Notices 15,11 (1980), 47\u201356","journal-title":"SIGPLAN Notices"},{"key":"12_CR24","unstructured":"G.Persch, G.Winterstein, M.Dausmann, S.Drossopoulou, G.Goos: AIDA Reference Manual Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 39\/80"},{"key":"12_CR25","unstructured":"G.Persch, G.Winterstein, M.Dausmann, S.Drossopoulou: ADA-0 Reference and User Manual. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 9\/81"},{"issue":"3","key":"12_CR26","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/947825.947832","volume":"16","author":"G. Persch","year":"1981","unstructured":"G. Persch, G. Winterstein, S. Drossopoulou, M. Dausmann: An LALR(1)-Grammar for (Revised) Ada. SIGPLAN Notices, Vol. 16, 3 (1981), 85\u201398","journal-title":"SIGPLAN Notices"},{"key":"12_CR27","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF00263989","volume":"13","author":"J. R\u00f6hrich","year":"1980","unstructured":"J. R\u00f6hrich: Methods for the Automatic Construction of Error Correcting Parsers. Acta Informatica 13 (1980), 115\u2013139","journal-title":"Acta Informatica"},{"key":"12_CR28","unstructured":"Stoneman Requirements for Ada Programming Support Environments. US Department of Defense, February 1980"},{"key":"12_CR29","unstructured":"J. Uhl: An Attributed Grammar for Ada. Fakult\u00e4t f\u00fcr Informatik II, University of Karlsruhe, Diplomarbeit, 1981"}],"container-title":["Lecture Notes in Computer Science","Trends in Information Processing Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10885-8_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:12Z","timestamp":1605643452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10885-8_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108856","9783540387947"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-10885-8_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}