{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T08:27:01Z","timestamp":1648715221083},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1986,12,1]],"date-time":"1986-12-01T00:00:00Z","timestamp":533779200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1986,12]]},"DOI":"10.1007\/bf03037390","type":"journal-article","created":{"date-parts":[[2009,4,23]],"date-time":"2009-04-23T22:35:41Z","timestamp":1240526141000},"page":"365-381","source":"Crossref","is-referenced-by-count":0,"title":["Inserting injection operations to denotational specifications"],"prefix":"10.1007","volume":"4","author":[{"given":"Masato","family":"Takeichi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"No. 6","key":"BF03037390_CR1","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1145\/800230.806997","volume":"17","author":"J. Bodwin","year":"1982","unstructured":"Bodwin, J., Bradley, L., Kanda, K., Litle, D. and Pleban, U., \u201cExperience with an Experimental Compiler Generator Based on Denotational Semantics,\u201dProc. 1982 ACM Symp. on Compiler Construction, SIGPLAN Notices, Vol. 17, No. 6, pp. 216\u2013229, 1982.","journal-title":"Proc. 1982 ACM Symp. on Compiler Construction, SIGPLAN Notices"},{"key":"BF03037390_CR2","unstructured":"Cardelli, L., \u201cBasic Polymorphic Typechecking,\u201dPolymorphism,Vol. 2,No. 1, 1984."},{"key":"BF03037390_CR3","unstructured":"Chujo, H. and Takeichi, M., \u201cPorting ML on a New Machine,\u201dProc. 28th Symp. of Inf. Proc. Japan, pp. 427\u2013428, 1984, [in Japanese]. Also Cardelli, L.,Pascal VAX-Unix Version of Edinburgh ML, converted from VMS by Nobuo Saito."},{"key":"BF03037390_CR4","doi-asserted-by":"crossref","unstructured":"Futatsugi, K., Goguen, J. A., Jouannaud, J.-P. and Meseguer, J., \u201cPrinciples of OBJ2,\u201dProc. 12th ACM Symp. on Principles of Prog. Lang., pp. 52\u201366, 1984.","DOI":"10.1145\/318593.318610"},{"key":"BF03037390_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, M. J. C.,The Denotational Description of Programming Languages, Springer-Verlag, 1979.","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"BF03037390_CR6","doi-asserted-by":"crossref","unstructured":"Gordon, M. J., Milner, R. and Wadsworth, C. P.,Edinburgh LCF, LNCS 78, Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09724-4"},{"key":"BF03037390_CR7","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner R., \u201cA Theory of Type Polymorphism,\u201dJ. Comput. Syst. Sci., Vol. 17, pp. 348\u2013375, 1978.","journal-title":"J. Comput. Syst. Sci."},{"key":"BF03037390_CR8","doi-asserted-by":"crossref","unstructured":"Mitchell, J. C., \u201cCoercion and Type Inference (Summary),\u201dProc. 11th ACM Symp. on Principles of Prog. Lang., pp. 175\u2013185, 1983.","DOI":"10.1145\/800017.800529"},{"key":"BF03037390_CR9","volume-title":"SIS\u2014Semantic Implementation System: Reference Manual and User Guide, DIAMI MD-30","author":"P. Mosses","year":"1979","unstructured":"Mosses, P.,SIS\u2014Semantic Implementation System: Reference Manual and User Guide, DIAMI MD-30, Dept. of Computer Science, University of Aarhus, Denmark, 1979."},{"key":"BF03037390_CR10","unstructured":"Ohira, T. and Takeichi, M., \u201cA Language Development System,\u201dProc. 28th Symp. of Inf. Proc. Japan, pp. 329\u2013330, 1984, [in Japanese]."},{"key":"BF03037390_CR11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A., \u201cA Machine-Oriented Logic Based on the Resolution Principle,\u201dJ. ACM, Vol. 12, pp. 23\u201349, 1965.","journal-title":"J. ACM"},{"key":"BF03037390_CR12","unstructured":"Stoy, J. E.,Denotational Semantics, MIT Press, 1977."},{"issue":"No. 6","key":"BF03037390_CR13","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/502874.502895","volume":"19","author":"M. Wand","year":"1984","unstructured":"Wand, M., \u201cA Semantic Prototyping System,\u201dProc. 1984 ACM Symp. on Compiler Construction, SIGPLAN Notices, Vol. 19, No. 6, pp. 213\u2013221, 1984.","journal-title":"Proc. 1984 ACM Symp. on Compiler Construction, SIGPLAN Notices"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037390.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037390\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:35Z","timestamp":1558558355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037390"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,12]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1986,12]]}},"alternative-id":["BF03037390"],"URL":"https:\/\/doi.org\/10.1007\/bf03037390","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,12]]}}}