{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:47:11Z","timestamp":1725619631094},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540099376"},{"type":"electronic","value":"9783642676000"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/978-3-642-67600-0_15","type":"book-chapter","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T02:30:11Z","timestamp":1318300211000},"page":"199-209","source":"Crossref","is-referenced-by-count":0,"title":["A Basis for Secure Systems Implementation Languages"],"prefix":"10.1007","author":[{"given":"Klaus-Peter","family":"L\u00f6hr","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"The architecture of concurrent programs","author":"PB Hansen","year":"1977","unstructured":"P. Brinch Hansen: The architecture of concurrent programs. Prentice-Hall 1977"},{"key":"15_CR2","volume-title":"Practical applications of Path Pascal in systems programming","author":"RB Kolstad","year":"1979","unstructured":"R.H. Campbell, R.B. Kolstad: Practical applications of Path Pascal in systems programming. Proc. ACM Ann. Conf., 1979"},{"key":"15_CR3","series-title":"ACM Sigplan Notices","volume-title":"Preliminary ADA Reference Manual","author":"JGP Barnes","year":"1979","unstructured":"J.D. Ichbiah, J.G.P. Barnes, J.C. Heliard, B. Krieg-Br\u00fcckner, O. Roubine, B.A. Wichmann: Preliminary ADA Reference Manual. ACM Sigplan Notices 14.6, 1979"},{"key":"15_CR4","volume-title":"Language and structure in an operating system","author":"VR Prasad","year":"1978","unstructured":"M. Joseph, V.R. Prasad, K.T. Narayana, I.V. Ramakrishnan, S. Desai: Language and structure in an operating system. Proc. 2. Int. Symp. Operating Systems, IRIA Rocquencourt, 1978 (Operating Systems \u2014 Theory and Practice, D. Lanciaux(Ed.), North-Holland 1979)"},{"key":"15_CR5","series-title":"ACM Sigplan Notices","volume-title":"Report on the programming language EUCLID","author":"JJ Horning","year":"1977","unstructured":"B.W. Lampson, J.J. Horning, R.L. London, J.G. Mitchell, G.L. Popek: Report on the programming language EUCLID. ACM Sigplan Notices 12.2, 1977"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Proc. Conf. Language Design for Reliable Software. ACM Sigplan Notices 12.3, 1977","DOI":"10.1145\/954668.954672"},{"key":"15_CR7","series-title":"ACM Sigops Operating Systems Review","volume-title":"Beyond Concurrent Pascal","author":"K-P L\u00f6hr","year":"1977","unstructured":"K.-P. L\u00f6hr: Beyond Concurrent Pascal. ACM Sigops Operating Systems Review 11.5, 1977"},{"key":"15_CR8","volume-title":"COLA \u2014 an object-oriented language and its application in the design of well-structured operating systems","author":"K Nagel","year":"1977","unstructured":"R. Massar, K. Nagel, H. Ortheil, H.D. Schmidtlein: COLA \u2014 an object-oriented language and its application in the design of well-structured operating systems. Diplomarbeit, Fachbereich Informatik, TU Berlin 1977"},{"key":"15_CR9","volume-title":"Some aspects of concurrent programming in CCNPASCAL","author":"VR Prasad","year":"1979","unstructured":"K.T. Narayana, V.R. Prasad, M. Joseph: Some aspects of concurrent programming in CCNPASCAL. Software \u2014 Practice and Experience 9, 1979"},{"key":"15_CR10","volume-title":"Response to undesired events in software systems","author":"H V\u00fcrges","year":"1976","unstructured":"D.L. Parnas, H. V\u00fcrges: Response to undesired events in software systems. Proc. 2. Int. Conf. Software Engineering, San Francisco 1976"},{"key":"15_CR11","volume-title":"Report on the concurrent programming language CCNPASCAL","author":"VR Prasad","year":"1978","unstructured":"V.R. Prasad: Report on the concurrent programming language CCNPASCAL. TR 28, NCSDCT Tata Institute of Fundamental Research, Bombay 1978"},{"key":"15_CR12","volume-title":"C Reference Manual","author":"DM Ritchie","year":"1975","unstructured":"D.M. Ritchie; C Reference Manual. Bell Telephone Laboratories, Murray Hill 1975"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"A. Silberschatz: On the safety of the IO primitive in Concurrent Pascal. Comp. J. 22.2, 1979","DOI":"10.1093\/comjnl\/22.2.142"},{"key":"15_CR14","series-title":"Software \u2014 Practice and Experience","volume-title":"MODULA: A language for modular multiprogramming","author":"N Wirth","year":"1977","unstructured":"N. Wirth: MODULA: A language for modular multiprogramming. Software \u2014 Practice and Experience 7. 1977"},{"key":"15_CR15","volume-title":"BLISS: A language for systems programming","author":"DB Russell","year":"1971","unstructured":"W.S. Wulf, D.B. Russell, A.N. Habermann: BLISS: A language for systems programming. Comm. ACM 14.12, 1971"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67600-0_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T16:53:55Z","timestamp":1606236835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67600-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540099376","9783642676000"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67600-0_15","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1980]]}}}