{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:11Z","timestamp":1725663371885},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129257"},{"type":"electronic","value":"9783540388098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12925-1_43","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:00:18Z","timestamp":1330192818000},"page":"240-250","source":"Crossref","is-referenced-by-count":0,"title":["Proving properties of Snobol4 patterns: Selecting the assertion format"],"prefix":"10.1007","author":[{"given":"Morris M.","family":"Siegel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"2","key":"21_CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/361952.361960","volume":"16","author":"James F. F. Gimpel","year":"1973","unstructured":"Gimpel, James F. \"A Theory of Discrete Patterns and Their Implementation in SNOBOL4\", Comm. ACM 16, 2 (Feb. 1973), 91\u2013100.","journal-title":"Comm. ACM"},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/BF00288727","volume":"4","author":"James F. F. Gimpel","year":"1975","unstructured":"\u2014. \"Nonlinear Pattern Theory\". Acta Informatica 4 (1975), 213\u2013229.","journal-title":"Acta Informatica"},{"key":"21_CR3","volume-title":"Algorithms in SNOBOL4","author":"James F. F. Gimpel","year":"1976","unstructured":"\u2014. Algorithms in SNOBOL4. John Wiley & Sons, New York, 1976."},{"key":"21_CR4","volume-title":"The SNOBOL4 Programming Language","author":"R. E. Griswold","year":"1971","unstructured":"Griswold, R. E., J. F. Poage, and I. P. Polonsky. The SNOBOL4 Programming Language (2nd ed.). Prentice-Hall, Englewood Cliffs, N. J., 1971.","edition":"2nd ed."},{"issue":"10","key":"21_CR5","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R. \"An Axiomatic Basis for Computer Programming\". Comm. ACM 12, 10 (Oct. 1969), 576\u2013580.","journal-title":"Comm. ACM"},{"key":"21_CR6","volume-title":"An Axiomatic Definition of Pattern Matching in SNOBOL4: Preliminary Findings","author":"Lutz","year":"1978","unstructured":"Lutz, Peter H., and Narain Gehani. \"An Axiomatic Definition of Pattern Matching in SNOBOL4: Preliminary Findings\", Technical report, Computer Science Department, State University of New York at Buffalo, Amherst, N. Y., Jan. 1978."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Tennent, Robert D. \"Mathematical Semantics of SNOBOL4\". Conference Record of [the First] ACM Symposium on Principles of Programming Languages (held in Boston, Oct. 1973), 95\u2013107.","DOI":"10.1145\/512927.512936"},{"key":"21_CR8","unstructured":"\u2014. \"Mathematical Semantics and Design of Programming Languages\", Technical Report 59, Department of Computer Science, University of Toronto, Sept. 1973."}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12925-1_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:22Z","timestamp":1619556742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12925-1_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129257","9783540388098"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-12925-1_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}