{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:39:27Z","timestamp":1742387967106},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405399"},{"type":"electronic","value":"9783540450757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45075-0_9","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T21:49:12Z","timestamp":1193521752000},"page":"150-165","source":"Crossref","is-referenced-by-count":6,"title":["Generating a Compiler for SDL from the Formal Language Definition"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Prinz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"v. L\u00f6wis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"9_CR1","unstructured":"A. Prinz. Formal Semantics for SDL \u2014 Definition and Implementation. Humboldt-Universit\u00e4t zu Berlin, 2001."},{"key":"9_CR2","unstructured":"ITU-T. Recommendation Z.100 (08\/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva."},{"key":"9_CR3","volume-title":"International Reference Alphabet (IRA) (Formerly International Alphabet No. 5 or IA5)-Information technology-7-bit coded character set for information interchange","author":"ITU","year":"1992","unstructured":"ITU-T. Recommendation T.50 (1992) International Reference Alphabet (IRA) (Formerly International Alphabet No. 5 or IA5)-Information technology-7-bit coded character set for information interchange. International Telecommunication Union, Geneva."},{"key":"9_CR4","unstructured":"M. Piefel. Kimwitu++. http:\/\/site.informatik.hu-berlin.de\/kimwitu++"},{"key":"9_CR5","unstructured":"Y. Gurevich. Evolving Algebras 1993: Lipari Guide. Specification and Validation Methods, pages 9\u201336, Oxford University Press, 1995."},{"issue":"11","key":"9_CR6","first-page":"1025","volume":"7","author":"R. Eschbach","year":"2001","unstructured":"R. Eschbach, U. Gl\u00e4sser, R. Gotzhein, M. von L\u00f6wis, A. Prinz. Formal Definition of SDL-2000 \u2014 Compiling and Running SDL Specifications as ASM Models. Journal of Universal Computer Science 7(11), 2001, Springer, pp. 1025\u20131050.","journal-title":"Journal of Universal Computer Science"},{"key":"9_CR7","unstructured":"Microsoft Research. AsmL. http:\/\/research.microsoft.com\/foundations\/AsmL\/"},{"key":"9_CR8","unstructured":"M. von L\u00f6wis, M. Piefel. The Term Processor Kimwitu++. Proceedings of the 6th World Conference on Systemics, Cybernetics, and Informatics, Orlando, 2002."},{"key":"9_CR9","unstructured":"P. van E\u00ffk. Tools for LOTOS, a Lotosphere overview. Tutorial proceedings of 11th Symposium on Protocol Specification, Testing and Verification, Sydney, 1991."},{"key":"9_CR10","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Executable Specifications for Language Implementation","author":"U. Kastens","year":"1993","unstructured":"U. Kastens. Executable Specifications for Language Implementation. Fifth International Symposium on Programming Language Implementations and Logic Programming, Tallinn, 1993, Springer LNCS 714, pp. 1\u201311."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Y. Gurevich, J.K. Huggins. The Semantics of the C Programming Language. Springer LNCS 702, Springer, 1993.","DOI":"10.1007\/3-540-56992-8_17"},{"key":"9_CR12","unstructured":"C. Wallace. The Semantics of the C++ Programming Language. Specification and Validation Methods, Oxford University Press, 1995."},{"key":"9_CR13","unstructured":"J. Grosch, H. Emmelmann. Werkzeuge f\u00fcr den \u00dcbersetzerbau. Achern, 1995."}],"container-title":["Lecture Notes in Computer Science","SDL 2003: System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45075-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T10:12:56Z","timestamp":1629972776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45075-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405399","9783540450757"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45075-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}