{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:04:54Z","timestamp":1726412694438},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354053010X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024185","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T09:49:34Z","timestamp":1132393774000},"page":"189-203","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about programs with effects"],"prefix":"10.1007","author":[{"given":"Ian","family":"Mason","sequence":"first","affiliation":[]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Felleisen, M. and Hiebe, R. [1989] The Revised Report on the Syntactic Theories of Sequential Control and State, Department of Computer Science, Rice University Technical Report Rice COMP TR89-100."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Gabriel, R. P. [1985] Performance and Evaluation of Lisp Systems, (MIT Press).","DOI":"10.7551\/mitpress\/5298.001.0001"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Guzm\u00e1n, J. C. and Hudak. P [1990] Single-Threaded Polymorphic Lambda Calculus. Fifth annual symposium on logic in computer science, (IEEE).","DOI":"10.1109\/LICS.1990.113759"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Lucasen, J. M. and Gifford, D. K. [1988] Polymorphic effect systems, in: 16th annual ACM symposium on principles of programming languages, pp. 47\u201357.","DOI":"10.1145\/73560.73564"},{"key":"14_CR5","unstructured":"Mason, I. A. [1986] The semantics of destructive Lisp, Ph.D. Thesis, Stanford University."},{"key":"14_CR6","unstructured":"Mason, I. A. and Talcott, C. L. [1989a] A Sound and Complete Axiomatization of Operational Equivalence between Programs with Memory, Stanford University Computer Science Department Report STAN-CS-89-1250. (Revised and extended version to appear in Theoretical Computer Science)."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Mason, I. A. and Talcott, C. L. [1989b] Axiomatizing Operational Equivalence in the presence of Side Effects, in: 4th Symposium on logic in computer science, Asilomar CA, (IEEE).","DOI":"10.1109\/LICS.1989.39183"},{"key":"14_CR8","unstructured":"Mason, I. A. and Talcott, C. L. [1989c] Programming, Transforming, and Proving with function abstractions and memories. in: Proceedings of the 16th EATCS Colloquium on Automata, Languages and Programming, Stresa Italy, Lecture notes in computer science, 372, (Springer-Verlag). (Revised and extended version submitted for publication)."},{"key":"14_CR9","unstructured":"Moggi, E. [1989] Computational lambda-calculus and monads, Fourth annual symposium on logic in computer science, (IEEE)."},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"Plotkin, G. [1975] Call-by-name, call-by-value and the lambda-v-calculus, Theoretical Computer Science, 1, pp. 125\u2013159.","journal-title":"Theoretical Computer Science"},{"key":"14_CR11","unstructured":"Reynolds, J. C. [1989] Syntactic Control of Interference, II in: Proceedings of the 16th EATCS Colloquium on Automata, Languages and Programming, Stresa Italy, Lecture notes in computer science, 372, (Springer-Verlag)"},{"key":"14_CR12","unstructured":"Talcott, C. [1989] Programming and proving with function and control abstractions, Stanford University Computer Science Department Technical report STAN-CS-89-1288."},{"key":"14_CR13","unstructured":"Wadler, P. [1990] Linear types can change the world! IFIP working conference on programming concepts and methods. Sea of Gallilee, Israel."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0024185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T03:19:06Z","timestamp":1572923946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024185"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354053010X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0024185","relation":{},"subject":[]}}