{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:31Z","timestamp":1725663391827},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:31Z","timestamp":1330199731000},"page":"550-571","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["High-level semantics"],"prefix":"10.1007","author":[{"given":"Uwe F.","family":"Pleban","sequence":"first","affiliation":[]},{"given":"Peter","family":"Lee","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"issue":"6","key":"29_CR1","first-page":"44","volume":"17","author":"P. Bird","year":"1982","unstructured":"Bird, P. An implementation of a code generator specification language for table driven code generators. Proc. SIGPLAN '82 Symp. Compiler Construction, SIGPLAN Notices 17, 6 (June 1982), 44\u201355.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"29_CR2","first-page":"216","volume":"17","author":"J. Bodwin","year":"1982","unstructured":"Bodwin, J., Bradley, L., Kanda, K., Litle, D., and Pleban, U. Experience with a compiler generator based on denotational semantics. Proc. SIGPLAN '82 Symp. Compiler Construction, SIGPLAN Notices 17, 6 (June 1982), 216\u2013229.","journal-title":"SIGPLAN Notices"},{"key":"29_CR3","unstructured":"Clinger, W., Friedman, D. P., and Wand, M. A scheme for a higher-level semantic algebra. US-French Seminar on the Application of Algebra to Language Definition and Compilation, Fontainebleau, France, June 1982."},{"key":"29_CR4","unstructured":"Ganapathi, M. Retargetable code generation and optimization using attribute grammars. Ph. D. Thesis, Tech. Rep. 406, Computer Science Department, University of Wisconsin-Madison, 1980."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Glanville, R. S., and Graham, S. A new method for compiler code generation. Conf. Rec. 5th Ann. ACM Symp. Principles of Programming Languages, Tucson, AZ, Jan. 1978, 231\u2013240.","DOI":"10.1145\/512760.512785"},{"key":"29_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The denotational description of programming languages: An introduction","author":"M. J. C. C. Gordon","year":"1979","unstructured":"Gordon, M. J. C. The denotational description of programming languages: An introduction. Springer-Verlag, New York, 1979."},{"key":"29_CR7","volume-title":"Control flow treatment in a simple semantics-directed compiler generator. Formal Description of Programming Concepts II, IFIP IC-2 Working Conference","author":"N. D. Jones","year":"1982","unstructured":"Jones, N. D., and Christiansen, H. Control flow treatment in a simple semantics-directed compiler generator. Formal Description of Programming Concepts II, IFIP IC-2 Working Conference, North Holland, Amsterdam, 1982."},{"key":"29_CR8","unstructured":"Lee, P. The automatic generation of realistic compilers from high-level semantic descriptions. Ph. D. Dissertation, The University of Michigan, April 1987."},{"key":"29_CR9","unstructured":"Lee, P., and Pleban, U. F. The automatic generation of realistic compilers from high-level semantic descriptions: A progress report. Technical Report CRL-TR-13-86, The University of Michigan Computing Research Laboratory, June 1986."},{"key":"29_CR10","unstructured":"Lee, P., and Pleban, U. F. On the use of LISP in implementing denotational semantics. Proc. 1986 ACM Conf. LISP and Functional Programming, Cambridge, MA, August 1986, 233\u2013248."},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Lee, P., and Pleban, U. F. A realistic compiler generator based on high-level semantics. Proc. 14th Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, Munich, W.-Germany, January 1987, 284\u2013295.","DOI":"10.1145\/41625.41651"},{"key":"29_CR12","volume-title":"A theory of programming language semantics","author":"R. E. Milne","year":"1976","unstructured":"Milne, R. E., and Strachey, C. A theory of programming language semantics. Chapman and Hall, London, 1976."},{"key":"29_CR13","unstructured":"Milner, R. The standard ML core language. Polymorphism II, 2 (Oct. 1985)."},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Milos, D., Pleban, U., and Loegel, G. Direct implementation of compiler specifications, or: The Pascal P-code compiler revisited. Conf. Rec. 11th Ann. Symp. Principles of Programming Languages, Salt Lake City, UT, January 1984, 196\u2013207.","DOI":"10.1145\/800017.800531"},{"key":"29_CR15","unstructured":"Mosses, P. SIS\u2014Semantics implementation system. Tech. Rep. DAIMI MD-30, Computer Science Dept., Aarhus Univ., Aug. 1979."},{"key":"29_CR16","first-page":"63","volume-title":"Formal description of programming concepts II","author":"P. Mosses","year":"1982","unstructured":"Mosses, P. Abstract semantic algebras! In: D. Bjoerner (Ed.), Formal description of programming concepts II. North Holland, Amsterdam, 1982, 63\u201388."},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-13346-1_4","volume-title":"Semantics of data type","author":"P. Mosses","year":"1984","unstructured":"Mosses, P. A basic abstract semantic algebra. In: Semantics of data type, Lecture Notes in Computer Science, Vol. 173. Springer-Verlag, Berlin, 1984, 87\u2013107."},{"key":"29_CR18","unstructured":"Mosses, P. Modularity in action semantics (Preliminary Version). Presented at a Workshop on Semantic Issues in Human and Computer Languages, Half Moon Bay, CA, March 1987."},{"key":"29_CR19","series-title":"Technical Report","volume-title":"The use of action semantics","author":"P. Mosses","year":"1986","unstructured":"Mosses, P., and Watt, D. A. The use of action semantics. Technical Report DAIMI PB-217, Aarhus University, Aarhus, Denmark, August 1986."},{"key":"29_CR20","volume-title":"Pascal: Action semantics. Draft \u2014 Version 0.3","author":"P. Mosses","year":"1986","unstructured":"Mosses, P., and Watt, D. A. Pascal: Action semantics. Draft \u2014 Version 0.3). Computer Science Dept., Aarhus University, Aarhus, Denmark, Sept. 1986."},{"key":"29_CR21","unstructured":"Nielson, H. R., and Nielson, F. Semantics directed compiling for functional languages. Proc. 1986 ACM Conf. LISP and Functional Programming, 249\u2013257."},{"key":"29_CR22","unstructured":"Paulson, L. A compiler generator for semantic grammars. Ph. D. Dissertation, Stanford University, December 1981."},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Paulson, L. A semantics-directed compiler generator. Conf. Rec. 9th Ann. ACM Symp. Principles of Programming Languages, Albuquerque, NM, Jan. 1982, 224\u2013239.","DOI":"10.1145\/582153.582178"},{"key":"29_CR24","first-page":"145","volume-title":"Programmierumgebungen und Compiler","author":"U. Pleban","year":"1984","unstructured":"Pleban, U. Formal semantics and compiler generation. In: Morgenbrod, H., and Sammer, W. (Eds.) Programmierumgebungen und Compiler. Teubner-Verlag, Stuttgart, 1984, 145\u2013161."},{"issue":"6","key":"29_CR25","first-page":"94","volume":"19","author":"U. Pleban","year":"1984","unstructured":"Pleban, U. Compiler prototyping using formal semantics. Proc. SIGPLAN '84 Symp. Compiler Construction, SIGPLAN Notices 19, 6 (June 1984), 94\u2013105.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"29_CR26","first-page":"68","volume":"21","author":"V. Royer","year":"1986","unstructured":"Royer, V. Transformations of denotational semantics in semantics directed compiler generation. Proc. SIGPLAN '86 Symp. Compiler Construction, SIGPLAN Notices 21, 6 (June 1986), 68\u201373.","journal-title":"SIGPLAN Notices"},{"key":"29_CR27","unstructured":"Schmidt, D. A. Denotational Semantics. Allyn & Bacon, 1986."},{"issue":"6","key":"29_CR28","first-page":"245","volume":"17","author":"R. Sethi","year":"1982","unstructured":"Sethi, R. Control flow aspects of semantics directed compiling. Tech. Rep. 98, Bell Labs., 1981; also in Proc. SIGPLAN '82 Symp. Compiler Construction, SIGPLAN Notices 17, 6 (June 1982), 245\u2013260.","journal-title":"SIGPLAN Notices"},{"key":"29_CR29","volume-title":"Denotational semantics: The Scott-Strachey approach to programming language theory","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J. E. Denotational semantics: The Scott-Strachey approach to programming language theory. MIT Press, Cambridge, 1977."},{"issue":"3","key":"29_CR30","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1145\/357172.357179","volume":"4","author":"M. Wand","year":"1982","unstructured":"Wand, M. Deriving target code as a representation of continuation semantics. ACM TOPLAS 4, 3 (July 1982), 496\u2013517.","journal-title":"ACM TOPLAS"},{"key":"29_CR31","doi-asserted-by":"crossref","unstructured":"Wand, M. A semantic prototyping system. Proc. SIGPLAN '84 Symp. Compiler Construction, SIGPLAN Notices 19, 6 (June 1984), 213\u2013221.","DOI":"10.1145\/502949.502895"},{"key":"29_CR32","unstructured":"Watt, D. A. Modular language definitions. Rep. CSC\/82\/R3, Computing Science Department, University of Glasgow, Oct. 1982."},{"key":"#cr-split#-29_CR33.1","unstructured":"Watt, D. A. Executable semantic descriptions. Rep. CSC\/84\/R2, Computing Science Department, University of Glasgow, Oct. 1984"},{"key":"#cr-split#-29_CR33.2","unstructured":"also Software-Practice and Experience 16, 1 (Jan. 1986), 13-43."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T02:22:40Z","timestamp":1578536560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_29"}},"subtitle":["An integrated approach to programming language semantics and the specification of implementations"],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"26 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}