{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:35Z","timestamp":1725663395757},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:02Z","timestamp":1330199702000},"page":"425-443","source":"Crossref","is-referenced-by-count":0,"title":["A treatment of languages with stages of evaluation"],"prefix":"10.1007","author":[{"given":"Laurette","family":"Bradley","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"issue":"1","key":"23_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. W. Thatcher","year":"1977","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B., \"Initial algebra semantics and continuous algebras\", JACM Vol 24, No 1, January 1977, p 68\u201395.","journal-title":"JACM"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B., \"More Advice on Structuring Compilers and Proving Them Correct\", In: Semantics Directed Compiler Generation,N. Jones editor, Springer-Verlag, 1980, p. 165\u2013189.","DOI":"10.1007\/3-540-10250-7_22"},{"key":"23_CR3","unstructured":"Bradley, Laurette, A Study of Language Representation of Semantic Domains with Applications to Language Design and Definition, Dissertation, University of Michigan, 1985."},{"key":"23_CR4","unstructured":"Bradley, Laurette, \"Timely Semantics: Definitions for Languages in Complex Settings\", in preparation."},{"key":"23_CR5","unstructured":"Carnap, Rudolf. Meaning and Necessity. University of Chicago, 1947."},{"key":"23_CR6","unstructured":"Frege, Gottlob. Ueber Sinn und Bedeutung in Zeitshr. fur Philos. und philos Kritik. 100 (new ser. 1892) 25\u201350. English translation in Translations from the Philosophical Writings, translated by P. Geach and M. Black, Oxford, 1952."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Jorring, Ulrik and Scherlis, William. \"Compilers and Staging Transformations\" Thirteenth Symposium on Principles of Programming Languages, pp 86\u201396, 1986.","DOI":"10.1145\/512644.512652"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Lee, Peter and Pleban, Uwe. \"A Realistic Compiler Generator Based on High-Level Semantics\", Fourteenth Symposium on Principles of Programming Languages, pp 284\u2013295, 1987.","DOI":"10.1145\/41625.41651"},{"key":"23_CR9","unstructured":"Lucas, P., Lauer, P, Stigleitner, H., \"Method and Notation for the Formal Definition of Programming Languages\", Technical Report 25.087, IBM Laboratories, Vienna Austria."},{"key":"23_CR10","unstructured":"Montague, Richard. Formal Philosophy, Yale University, 1974."},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Morris, F.L., \"Advice on Structuring Compilers and Proving Them Correct\", Proceedings ACM Symposium on Principles of Programming Languages, 1973, p. 144\u2013152.","DOI":"10.1145\/512927.512941"},{"key":"23_CR12","unstructured":"Mosses, P., \"SIS-reference manual and user's guide\", DAIMI MD-30, Aarhus University, Aarhus, Denmark."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Nielson, H. R. and Nielson F. \"Semantics directed compiling for functional languages\", Proc. 1986 ACM Conf. LISP and Functional Programming, p. 249\u2013257. DAIMI MD-30, Aarhus University, Aarhus, Denmark.","DOI":"10.1145\/319838.319867"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Paulson, L., A semantics-directed compiler generator, Ninth Symposium on Principles of Programming Languages, pp 224\u2013233, 1982.","DOI":"10.1145\/582153.582178"},{"key":"23_CR15","unstructured":"Schoenfield, Joseph R. Mathematical Logic, Addison-Wesley, 1967."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:04Z","timestamp":1605644164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}