{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:23:59Z","timestamp":1725629039519},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540112044"},{"type":"electronic","value":"9783642683558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68355-8_4","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T15:03:00Z","timestamp":1320246180000},"page":"33-44","source":"Crossref","is-referenced-by-count":0,"title":["Findet Ada Zur\u00fcck Nach Europa"],"prefix":"10.1007","author":[{"given":"Horst","family":"H\u00fcnke","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Amtsblatt der Europ\u00e4ischen Gemeinschaften No. L 231 vom 13. 9. 1979"},{"key":"4_CR2","unstructured":"Community Policy for data-processing Document COM(75) 467 final, Sept. 1975"},{"key":"4_CR3","unstructured":"Beschluss des Rates, Amtsblatt No. L 255 vom 6. 10. 1977"},{"key":"4_CR4","unstructured":"Requirements for High Order Computer Programming Languages, \u201cSteelman\u201d, US Department of Defense, 1978"},{"key":"4_CR5","volume-title":"Introducing Ada","author":"WE Carlson","year":"1980","unstructured":"Carlson W.E., L.E. Druffel, D.A. Fisher, W.A. Whitaker; Introducing Ada. Proceedings ACM 1980 Annual Conference"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R.2The Emperor\u2019s Old Clothes, CACM Vol. 24 No. 2, Feb. 1981","DOI":"10.1145\/358549.358561"},{"key":"4_CR7","unstructured":"D. Fisher, Schlussvortrag beim ACM SIGPLAN Symposium on Ada, Dec. 1980. (Nicht in den Proceedings ACM SIGPLAN Notices, Vol. No. 1980 enthalten)"},{"key":"4_CR8","unstructured":"Requirements for Ada Programming Support Environments \u201cStoneman\u201d, US Department of Defense, February 1980"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Goodenough J.B.: The Ada Compiler Validation Capability, IEEE Computer, June 1981","DOI":"10.1145\/800004.807929"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner D., O.N. Oest, Editors, Towards a Formal Description of Ada, Lecture Notes in Computer Science Vol. 98, 1981","DOI":"10.1007\/3-540-10283-3"},{"key":"4_CR11","unstructured":"Formal Definition of the Ada Programming Language# INRIA, November 1980"},{"key":"4_CR12","volume-title":"ACM SIGPLAN Notices","author":"FC Belz","year":"1980","unstructured":"Belz F.C., E.K. Blum, D. Heimbigner, A Multi-Processing Implementation-Oriented Formal Definition of Ada in SEMANOL, ACM SIGPLAN Notices Vol. 15, Number 11, November 1980"},{"key":"4_CR13","volume-title":"ACM SIGPLAN Notices","author":"RBK Dewar","year":"1980","unstructured":"Dewar R.B.K., G.A. Fisher, E. Schonberg, R. Froehlich, S. Bryant, C.F. Goss, M. Burke, The NYU Ada Translator and Interpreter, ACM SIGPLAN Notices Vol. 15, Number 11, November 1980"},{"key":"4_CR14","unstructured":"IBM Software Engineering Exchange, Vol. 3 No. 1, October 1980"},{"key":"4_CR15","volume-title":"Rationale for the Design of the Ada Programming Language. ACM SIGPLAN Notices","author":"JD Ichbiah","year":"1979","unstructured":"Ichbiah, J.D., J.G.P. Barnes, J.C. Heliard, B. Krieg- Br\u00fcckner, O. Roubine, B.A. Wichman, Rationale for the Design of the Ada Programming Language. ACM SIGPLAN Notices Vol. 14 Number 5, June 1979, Part B"},{"key":"4_CR16","unstructured":"Amtsblatt der Europ\u00e4ischen Gemeinschaften C46 vom 23. Februar 1980"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68355-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:28:22Z","timestamp":1606256902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68355-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540112044","9783642683558"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68355-8_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}