{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:45Z","timestamp":1725662985868},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164708"},{"type":"electronic","value":"9783540398097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16470-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:44:07Z","timestamp":1330177447000},"page":"144-157","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic specification method of programming languages"],"prefix":"10.1007","author":[{"given":"Hidehiko","family":"Kita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshiki","family":"Sakabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasuyoshi","family":"Inagaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"ADJ(Goguen, J.A.,Thatcher, J.W.,Wagner, E.G., Wright, J.B.): Initial Algebra Semantics and Continuous algebras, J.ACM, Vol.24, pp.68\u201395(1977).","journal-title":"J.ACM"},{"key":"8_CR2","unstructured":"ADJ(Goguen,J.A.,Thatcher,J.W.,Wright,J.B.): An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, Current Trends in Programming Methodology, Vol.4(Yeh,R.T.,ed.), Prentice-Hall (1978)."},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(81)90080-3","volume":"15","author":"J. W. Thatcher","year":"1981","unstructured":"ADJ(Thatcher, J.W.,Wagner, E.G.,Wright, J.B.): More on Advice on Structuring Compilers and Their Correctness, Theor. Comput. Sci., Vol.15, pp.223\u2013249 (1981).","journal-title":"Theor. Comput. Sci."},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0304-3975(82)90003-2","volume":"17","author":"B. Courcelle","year":"1982","unstructured":"Courcelle, B.,Franchi-Zannettacci, P.:Attribute Grammars and Primitive Recursive Shemes, Theor. Comput. Sci., Vol.17, pp.163\u2013191, pp.235\u2013257 (1982).","journal-title":"Theor. Comput. Sci."},{"issue":"12","key":"8_CR5","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/988193.988197","volume":"18","author":"J. Despryroux","year":"1983","unstructured":"Despryroux, J.:An Algebraic Specification of a Pascal Compiler, SIGPLAN Notice, Vol.18, No.12, pp.34\u201348 (1983).","journal-title":"SIGPLAN Notice"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Gaudel,M.C.:Specification of Compilers as Abstract Data Type Representations, Proc. on Workshop on Semantics-Directed Compiler Generation, Aarhus, in Lecture Notes in Computer Science 94(1980).","DOI":"10.1007\/3-540-10250-7_21"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10699-5_106","volume":"107","author":"J. A. Goguen","year":"1981","unstructured":"Goguen, J.A. and Parsaye-Ghomi, K.: Algebraic Denotational Semantics using Parameterized Abstract Modules, in Lecture Notes in Computer Science 107, pp.292\u2013309(1981).","journal-title":"Lecture Notes in Computer Science"},{"key":"8_CR8","unstructured":"Mosses,P.:A Constructive Approach to Compiler Correctness Proc. of Workshop on Semantics-Directed Compiler Generation, Aarhus, in Lecture Notes in Computer Science 94(1980)."},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(82)90109-8","volume":"18","author":"C. Pair","year":"1982","unstructured":"Pair, C.:Abstract Data Types and Algebraic Semantics of Programming Languages, Theor. Comput. Sci., Vol. 18, pp.1\u201331 (1982).","journal-title":"Theor. Comput. Sci."},{"key":"8_CR10","unstructured":"Wirth,N.:Algorithms + Data Structure = Programs, Prentice-Hall(1976)."}],"container-title":["Lecture Notes in Computer Science","RIMS Symposia on Software Science and Engineering II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16470-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:03:55Z","timestamp":1619543035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16470-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164708","9783540398097"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16470-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}