{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:52:23Z","timestamp":1725537143651},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041631"},{"type":"electronic","value":"9783642041648"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04164-8_14","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T16:10:48Z","timestamp":1252944648000},"page":"274-296","source":"Crossref","is-referenced-by-count":0,"title":["An Action Semantics Based on Two Combinators"],"prefix":"10.1007","author":[{"given":"Kyung-Goo","family":"Doh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","first-page":"230","volume-title":"PEPM 1995","author":"K.-G. Doh","year":"1995","unstructured":"Doh, K.-G.: Action transformation by partial evaluation. In: PEPM 1995, pp. 230\u2013240. ACM Press, New York (1995)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(02)00107-7","volume":"47","author":"K.-G. Doh","year":"2003","unstructured":"Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Sci. Computer Prog.\u00a047, 3\u201336 (2003)","journal-title":"Sci. Computer Prog."},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-55253-7_9","volume-title":"ESOP \u201992","author":"K.-G. Doh","year":"1992","unstructured":"Doh, K.-G., Schmidt, D.A.: Extraction of strong typing laws from action semantics definitions. In: Krieg-Br\u00fcckner, B. (ed.) ESOP 1992. LNCS, vol.\u00a0582, pp. 151\u2013166. Springer, Heidelberg (1992)"},{"unstructured":"Doh, K.-G., Schmidt, D.A.: The facets of action semantics: some principles and applications. In: Workshop on Action Semantics, pp. 1\u201315. Univ. of Aarhus, BRICS NS-94-1 (1994)","key":"14_CR4"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0096-0551(93)90008-O","volume":"19","author":"K.-G. Doh","year":"1993","unstructured":"Doh, K.-G., Schmidt, D.A.: Action semantics-directed prototyping. Computer Languages\u00a019, 213\u2013233 (1993)","journal-title":"Computer Languages"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10284-1","volume-title":"Algebraic Semantics","author":"I. Guessarian","year":"1981","unstructured":"Guessarian, I.: Algebraic Semantics. In: Guessarian, I. (ed.) Algebraic Semantics. LNCS, vol.\u00a099, Springer, Heidelberg (1981)"},{"key":"14_CR7","first-page":"633","volume-title":"Handbook of Theoretical Computer Science","author":"C. Gunter","year":"1991","unstructured":"Gunter, C., Scott, D.S.: Semantic domains. In: Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 633\u2013674. MIT Press, Cambridge (1991)"},{"key":"14_CR8","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-10699-5_115","volume-title":"Formalization of Programming Concepts","author":"P.D. Mosses","year":"1981","unstructured":"Mosses, P.D.: A semantic algebra for binding constructs. In: D\u00edaz, J., Ramos, I. (eds.) Formalization of Programming Concepts. LNCS, vol.\u00a0107, pp. 408\u2013418. Springer, Heidelberg (1981)"},{"key":"14_CR10","first-page":"45","volume-title":"Formal Description of Programming Concepts II, Proceedings of the IFIP TC2 Working Conference, Garmisch-Partenkirchen, 1982","author":"P.D. Mosses","year":"1983","unstructured":"Mosses, P.D.: Abstract semantic algebras! In: Formal Description of Programming Concepts II, Proceedings of the IFIP TC2 Working Conference, Garmisch-Partenkirchen, 1982, pp. 45\u201372. IFIP, North-Holland, Amsterdam (1983)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-13346-1_4","volume-title":"Semantics of Data Types","author":"P.D. Mosses","year":"1984","unstructured":"Mosses, P.D.: A basic abstract semantic algebra. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol.\u00a0173, pp. 87\u2013107. Springer, Heidelberg (1984)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028970","volume-title":"STACS 89","author":"P.D. Mosses","year":"1989","unstructured":"Mosses, P.D.: Unified algebras and action semantics. In: Cori, R., Monien, B. (eds.) STACS 1989. LNCS, vol.\u00a0349, Springer, Heidelberg (1989)"},{"key":"14_CR13","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569869","volume-title":"Action Semantics","author":"P.D. Mosses","year":"1992","unstructured":"Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol.\u00a026. Cambridge University Press, Cambridge (1992)"},{"key":"14_CR14","series-title":"Formal Models and Sematics (B)","first-page":"575","volume-title":"Handbook of Theoretical Computer Science","author":"P.D. Mosses","year":"1990","unstructured":"Mosses, P.D.: Denotational semantics. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics (B), vol.\u00a0B, pp. 575\u2013631. MIT Press, Cambridge (1990)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-61550-4_139","volume-title":"Mathematical Foundations of Computer Science 1996","author":"P.D. Mosses","year":"1996","unstructured":"Mosses, P.D.: Theory and practice of action semantics. In: Penczek, W., Sza\u0142as, A. (eds.) MFCS 1996. LNCS, vol.\u00a01113, pp. 37\u201361. Springer, Heidelberg (1996)"},{"unstructured":"Mosses, P.D., Watt, D.A.: The use of action semantics. In: Wirsing, M. (ed.) Formal Description of Programming Concepts III, Proc. IFIP TC2 Working Conference, Gl.\u00a0Avern\u00e6s, 1986, IFIP, North-Holland (1987)","key":"14_CR16"},{"key":"14_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526572","volume-title":"Two-Level Functional Languages","author":"F. Nielson","year":"1992","unstructured":"Nielson, F., Nielson, H.R.: Two-Level Functional Languages. Cambridge University Press, Cambridge (1992)"},{"unstructured":"Schmidt, D.A.: Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc. (1986)","key":"14_CR18"},{"unstructured":"Scott, D.S., Strachey, C.: Toward a mathematical semantics for computer languages. In: Fox, J. (ed.) Proceedings of Symposium on Computers and Automata, Polytechnic Institute of Brooklyn. Microwave Research Institute Symposia Series, vol.\u00a021, pp. 19\u201346 (1971)","key":"14_CR19"},{"key":"14_CR20","volume-title":"Denotational Semantics","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics. MIT Press, Cambridge (1977)"},{"unstructured":"Strachey, C.: The varieties of programming language. Technical Report PRG-10, Prog. Research Group, Oxford University (1973)","key":"14_CR21"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1007\/3-540-19020-1_30","volume-title":"Mathematical Foundations of Programming Language Semantics","author":"D.A. Watt","year":"1988","unstructured":"Watt, D.A.: An action semantics of standard ML. In: Main, M.G., Mislove, M.W., Melton, A.C., Schmidt, D. (eds.) MFPS 1987. LNCS, vol.\u00a0298, pp. 572\u2013598. Springer, Heidelberg (1988)"}],"container-title":["Lecture Notes in Computer Science","Semantics and Algebraic Specification"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04164-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T19:43:41Z","timestamp":1552160621000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-642-04164-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041631","9783642041648"],"references-count":22,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-642-04164-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}