{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T14:39:40Z","timestamp":1649083180865},"reference-count":27,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6803,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1016\/s0022-0000(05)80074-1","type":"journal-article","created":{"date-parts":[[2005,8,20]],"date-time":"2005-08-20T11:18:35Z","timestamp":1124536715000},"page":"620-666","source":"Crossref","is-referenced-by-count":3,"title":["Another look at parameterization for order-sorted algebraic specifications"],"prefix":"10.1016","volume":"49","author":[{"given":"Zhenyu","family":"Qian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0022-0000(05)80074-1_bib1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0022-0000(87)90028-6","article-title":"Algebraic specification of modules and their basic interconnections","volume":"34","author":"Blum","year":"1987","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0022-0000(05)80074-1_bib2","series-title":"Proceedings, TAPSOFT 85","first-page":"259","article-title":"The semantics of shared submodules specifications","volume":"Vol. 186","author":"Blum","year":"1985"},{"key":"10.1016\/S0022-0000(05)80074-1_bib3","series-title":"Proceedings, 5th Int. Joint Conf. on Artificial Intelligence","first-page":"1045","article-title":"Putting theories together to make specifications","author":"Burstall","year":"1979"},{"key":"10.1016\/S0022-0000(05)80074-1_bib4","series-title":"Proceedings, 5th Copenhagen Winter School of Abstract Software Specification","first-page":"292","article-title":"The semantics of Clear, a specification language","volume":"Vol. 86","author":"Burstall","year":"1980"},{"key":"10.1016\/S0022-0000(05)80074-1_bib5","series-title":"Universal Algebra","author":"Cohn","year":"1981"},{"key":"10.1016\/S0022-0000(05)80074-1_bib6","doi-asserted-by":"crossref","DOI":"10.1145\/322290.322303","article-title":"On the theory of specification, implementation and parameterization of abstract data types","volume":"29","author":"Ehrich","year":"1982","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0022-0000(05)80074-1_bib7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/mana.19790910111","article-title":"Pushout-properties: An analysis for gluing constructions for graphs","volume":"91","author":"Ehrig","year":"1979","journal-title":"Math. Nachr."},{"key":"10.1016\/S0022-0000(05)80074-1_bib8","series-title":"Proceedings, 7th ICALP","first-page":"157","article-title":"Parameterized data types in algebraic specification languages","volume":"Vol. 85","author":"Ehrigh","year":"1980"},{"key":"10.1016\/S0022-0000(05)80074-1_bib9","series-title":"Fundamentals of Algebraic Specification 1\u2014Equations and Initial Semantics","author":"Ehrig","year":"1985"},{"key":"10.1016\/S0022-0000(05)80074-1_bib10","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/2166.357212","article-title":"Parameterized specifications: Parameter passing and implementation with respect to observability","volume":"5","author":"Ganzinger","year":"1983","journal-title":"ACM TOPLAS"},{"key":"10.1016\/S0022-0000(05)80074-1_bib11","series-title":"Proceedings, 9th CAAP","first-page":"139","article-title":"Partially ordered sorts in algebraic specifications","author":"Gogolla","year":"1984"},{"key":"10.1016\/S0022-0000(05)80074-1_bib12","article-title":"Order-Sorted Algebra, Semantics and Theory of Computation","author":"Goguen","year":"1978"},{"issue":"No. 5","key":"10.1016\/S0022-0000(05)80074-1_bib13","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1984.5010277","article-title":"Parameterized programming","volume":"SE-10","author":"Goguen","year":"1984","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/S0022-0000(05)80074-1_bib14","series-title":"Proceedings, 1987 Symp. on Logic in Computer Science","article-title":"Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems","author":"Goguen","year":"1987"},{"key":"10.1016\/S0022-0000(05)80074-1_bib15","article-title":"Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Polymorphism, and Partial Operations","author":"Goguen","year":"1989","journal-title":"Tech. Report SRI"},{"key":"10.1016\/S0022-0000(05)80074-1_bib16","series-title":"Current Trends in Programming Methodology. Vol. IV. Data Structuring","first-page":"80","article-title":"An initial algebra approach to the specification, correctness, and implementation of abstract data types","author":"Goguen","year":"1978"},{"key":"10.1016\/S0022-0000(05)80074-1_bib17","article-title":"The Specification and Application to Programming of Abstract Data Types","author":"Guttag","year":"1975"},{"key":"10.1016\/S0022-0000(05)80074-1_bib18","series-title":"Category Theory: An Introduction","author":"Herrlich","year":"1979"},{"key":"10.1016\/S0022-0000(05)80074-1_bib19","series-title":"Proceedings, 15th ICALP","article-title":"Operational semantics of OBJ3","author":"Kirchner","year":"1988"},{"key":"10.1016\/S0022-0000(05)80074-1_bib20","series-title":"Proceedings, TAPSOFT 91","first-page":"313","article-title":"Structuring specifications in-the-large and in-the-small: Higher-order functions, dependent types and inheritance in SPECTRAL","volume":"Vol 494","author":"Krieg-Br\u00fcckner","year":"1991"},{"key":"10.1016\/S0022-0000(05)80074-1_bib21","first-page":"121","article-title":"The equational theory of parameterized specifications","volume":"76","author":"Padawitz","year":"1988","journal-title":"Inform. and Control"},{"issue":"No. 2","key":"10.1016\/S0022-0000(05)80074-1_bib22","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0022-0000(90)90013-B","article-title":"Parameterization for order-sorted algebraic specification","volume":"40","author":"Poign\u00e9","year":"1990","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0022-0000(05)80074-1_bib23","series-title":"Proceedings, Categorical Methods in Computer Science with Aspects from Topology","first-page":"244","article-title":"Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing","volume":"Vol. 393","author":"Qian","year":"1989"},{"key":"10.1016\/S0022-0000(05)80074-1_bib24","article-title":"Extensions of Order-Sorted Algebraic Specifications: Parameterization, Higher-Order Functions and Polymorphism","author":"Qian","year":"1991"},{"key":"10.1016\/S0022-0000(05)80074-1_bib25","article-title":"Computational Aspects of an Order-Sorted Logic with Term Declarations","volume":"Vol. 395","author":"Schmidt-Schauss","year":"1989"},{"key":"10.1016\/S0022-0000(05)80074-1_bib26","series-title":"Resolution of Equations in Algebraic Structures","article-title":"Order-sorted equational computation","author":"Smolka","year":"1987"},{"key":"10.1016\/S0022-0000(05)80074-1_bib27","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","article-title":"Data type specifications: Parameterization and the power of specification techniques","volume":"4","author":"Thatcher","year":"1982","journal-title":"ACM TOPLAS"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000005800741?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000005800741?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T22:27:03Z","timestamp":1548196023000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000005800741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["S0022000005800741"],"URL":"https:\/\/doi.org\/10.1016\/s0022-0000(05)80074-1","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}