{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:06:58Z","timestamp":1773655618816,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540569923","type":"print"},{"value":"9783540478904","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56992-8_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:00:02Z","timestamp":1330257602000},"page":"274-308","source":"Crossref","is-referenced-by-count":46,"title":["The semantics of the C programming language"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Gurevich","sequence":"first","affiliation":[]},{"given":"James K.","family":"Huggins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"17_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman, \u201cCompilers: Principles, Techniques, and Tools\u201d, Addison-Wesley, 1988."},{"key":"17_CR2","unstructured":"Yuri Gurevich, \u201cEvolving Algebras: An Introductory Tutorial\u201d, Bulletin of European Assocation for Theoretical Computer Science, February 1991. (A slightly updated version will appear in the EATCS Book of Columns, World Scientific Publishers.)"},{"key":"17_CR3","unstructured":"Yuri Gurevich and James K. Huggins, \u201cThe Evolving Algebra Semantics of C: Preliminary Version\u201d, CSE-TR-141-92, EECS Department, University of Michigan, 1992."},{"key":"17_CR4","unstructured":"Brian W. Kernighan and Dennis M. Ritchie, \u201cThe C Programming Language\u201d, 2nd edition, Prentice Hall, 1988."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56992-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:58:02Z","timestamp":1619571482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56992-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569923","9783540478904"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-56992-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}