{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T05:16:55Z","timestamp":1734153415347,"version":"3.30.2"},"reference-count":44,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1988,12,1]],"date-time":"1988-12-01T00:00:00Z","timestamp":596937600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1988,12,1]],"date-time":"1988-12-01T00:00:00Z","timestamp":596937600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2004,2,11]],"date-time":"2004-02-11T00:00:00Z","timestamp":1076457600000},"content-version":"vor","delay-in-days":5550,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1988,12]]},"DOI":"10.1016\/0004-3702(88)90052-5","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"123-153","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":14,"title":["Modular algebraic specification of some basic geometrical constructions"],"prefix":"10.1016","volume":"37","author":[{"given":"Joseph A.","family":"Goguen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1979","author":"Abrial","key":"10.1016\/0004-3702(88)90052-5_BIB1"},{"issue":"10","key":"10.1016\/0004-3702(88)90052-5_BIB2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/323648.323756","article-title":"An algebraic model of subtypes in object-oriented languages","volume":"21","author":"Bruce","year":"1986","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0004-3702(88)90052-5_BIB3","series-title":"Theoretical Foundations of Programming Methodology, Proceedings, 1981 Marktoberdorf NATO Summer School","first-page":"329","article-title":"Algebras, theories and freeness: An introduction for computer scientists","volume":"C91","author":"Burstall","year":"1982"},{"key":"10.1016\/0004-3702(88)90052-5_BIB4","series-title":"Proceedings IJCAI-77","first-page":"1045","article-title":"Putting theories together to make specifications","author":"Burstall","year":"1977"},{"key":"10.1016\/0004-3702(88)90052-5_BIB5","series-title":"Proceedings 1979 Copenhagen Winter School on Abstract Software Specification","first-page":"292","article-title":"The semantics of Clear, a specification language","volume":"86","author":"Burstall","year":"1980"},{"key":"10.1016\/0004-3702(88)90052-5_BIB6","series-title":"Proceedings 12th ACM Symposium on Principles of Programming Languages","first-page":"52","article-title":"Principles of OBJ2","author":"Futatsugi","year":"1985"},{"key":"10.1016\/0004-3702(88)90052-5_BIB7","series-title":"Proceedings Ninth International Conference on Software Engineering","first-page":"51","article-title":"Parameterized programming in OBJ2","author":"Futatsugi","year":"1987"},{"key":"10.1016\/0004-3702(88)90052-5_BIB8_1","series-title":"Proceedings First IFIP Working Conference on Formal Description of Programming Concepts","first-page":"21.1","article-title":"Abstract errors for abstract data types","author":"Goguen","year":"1977"},{"year":"1979","first-page":"491","key":"10.1016\/0004-3702(88)90052-5_BIB8_2"},{"key":"10.1016\/0004-3702(88)90052-5_BIB9","series-title":"Proceedings, University of Texas Year of Programming, Institute on Declarative Programming","article-title":"Higher-order functions considered unnecessary for higher-order programming","author":"Goguen","year":"1988"},{"key":"10.1016\/0004-3702(88)90052-5_BIB10","series-title":"Proceedings Fifth Conference on Automated Deduction","first-page":"356","article-title":"How to prove algebraic inductive hypotheses without induction: With applications to the correctness of data type representations","volume":"87","author":"Goguen","year":"1980"},{"key":"10.1016\/0004-3702(88)90052-5_BIB11","series-title":"Proceedings Workshop on Program Specification","first-page":"31","article-title":"Ordinary specification of some construction in plane geometry","volume":"134","author":"Goguen","year":"1982"},{"issue":"5","key":"10.1016\/0004-3702(88)90052-5_BIB12","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/TSE.1984.5010277","article-title":"Parameterized programming","volume":"10","author":"Goguen","year":"1984","journal-title":"IEEE Trans. Softw. Eng."},{"year":"1985","author":"Goguen","article-title":"Institutions: Abstract model theory for computer science","key":"10.1016\/0004-3702(88)90052-5_BIB13_1"},{"key":"10.1016\/0004-3702(88)90052-5_BIB13_2","series-title":"Proceedings, Logics of Programming Workshop","first-page":"221","volume":"164","year":"1984"},{"key":"10.1016\/0004-3702(88)90052-5_BIB14","series-title":"Proceedings, 1985 International Conference on Automata, Languages and Programming","article-title":"Operational semantics of order-sorted algebra","volume":"194","author":"Goguen","year":"1985"},{"key":"10.1016\/0004-3702(88)90052-5_BIB15_1","series-title":"Functional and Logic Programming","first-page":"295","article-title":"EQLOG: Equality, types, and generic modules for logic programming","author":"Goguen","year":"1986"},{"issue":"2","key":"10.1016\/0004-3702(88)90052-5_BIB15_2","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0743-1066(84)90004-9","volume":"1","year":"1984","journal-title":"Logic Program"},{"key":"10.1016\/0004-3702(88)90052-5_BIB16_1","series-title":"Research Directions in Object-Oriented Programming","first-page":"417","article-title":"Extensions and foundations for object-oriented programming","author":"Goguen","year":"1987"},{"issue":"10","key":"10.1016\/0004-3702(88)90052-5_BIB16_2","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/323648.323755","volume":"21","year":"1986","journal-title":"SIGPLAN Notices"},{"year":"1987","key":"10.1016\/0004-3702(88)90052-5_BIB16_3"},{"key":"10.1016\/0004-3702(88)90052-5_BIB17_1","series-title":"Proceedings 1987 TAPSOFT","first-page":"1","article-title":"Models and equality for logical programming","volume":"250","author":"Goguen","year":"1987"},{"year":"1987","key":"10.1016\/0004-3702(88)90052-5_BIB17_2"},{"year":"1988","author":"Goguen","article-title":"Order sorted algebra I: Partial and overloaded operations, errors and inheritance","key":"10.1016\/0004-3702(88)90052-5_BIB18"},{"key":"10.1016\/0004-3702(88)90052-5_BIB19_1","series-title":"Proceedings Second Symposium on Logic in Computer Science","first-page":"18","article-title":"Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems","author":"Goguen","year":"1987"},{"year":"1987","key":"10.1016\/0004-3702(88)90052-5_BIB19_2"},{"key":"10.1016\/0004-3702(88)90052-5_BIB20","series-title":"Proceedings 9th International Conference on Automata, Languages and Programming","article-title":"Universal realization, persistent interconnection and implementation of abstract modules","volume":"140","author":"Goguen","year":"1982"},{"year":"1976","author":"Goguen","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","key":"10.1016\/0004-3702(88)90052-5_BIB21_1"},{"volume":"IV","year":"1978","first-page":"80","key":"10.1016\/0004-3702(88)90052-5_BIB21_2"},{"key":"10.1016\/0004-3702(88)90052-5_BIB22","series-title":"Software Reusability","article-title":"Principles of parameterized programming","author":"Goguen","year":"1988"},{"key":"10.1016\/0004-3702(88)90052-5_BIB23","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/359605.359618","article-title":"Abstract data types and the development of data structures","volume":"20","author":"Guttag","year":"1977","journal-title":"Comm. ACM"},{"key":"10.1016\/0004-3702(88)90052-5_BIB24","article-title":"Larch in five easy pieces","volume":"5","author":"Guttag","year":"1985"},{"key":"10.1016\/0004-3702(88)90052-5_BIB25","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","article-title":"Refutational theorem proving using term rewriting systems","volume":"25","author":"Hsiang","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(88)90052-5_BIB26","series-title":"Formal Language Theory: Perspectives and Open Problems","article-title":"Equations and rewrite rules: A survey","author":"Huet","year":"1980"},{"year":"1978","author":"Jensen","key":"10.1016\/0004-3702(88)90052-5_BIB27"},{"key":"10.1016\/0004-3702(88)90052-5_BIB28","series-title":"Fundamentals of Computation Theory","first-page":"120","article-title":"Initial algebraic semantics for non-context-free languages","volume":"56","author":"Kaphengst","year":"1977"},{"key":"10.1016\/0004-3702(88)90052-5_BIB29","series-title":"Algebraic Methods in Semantics","first-page":"459","article-title":"Initiality, induction and computability","author":"Meseguer","year":"1985"},{"year":"1972","author":"Morrill","key":"10.1016\/0004-3702(88)90052-5_BIB30"},{"key":"10.1016\/0004-3702(88)90052-5_BIB31","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","article-title":"On the criteria to be used in decomposing systems into modules","volume":"15","author":"Parnas","year":"1972","journal-title":"Comm. ACM"},{"key":"10.1016\/0004-3702(88)90052-5_BIB32","first-page":"341","article-title":"Computable algebra: General theory and theory of computable fields","volume":"95","author":"Rabin","year":"1960","journal-title":"Trans. Am. Math. Soc."},{"key":"10.1016\/0004-3702(88)90052-5_BIB33","series-title":"Semantics Directed Compiler Generation","first-page":"211","article-title":"Using category theory to design implicit conversions and generic operators","volume":"94","author":"Reynolds","year":"1980"},{"key":"10.1016\/0004-3702(88)90052-5_BIB34","series-title":"Proceedings Aarhus Workshop on Specification","first-page":"25","article-title":"Geometrical constructions","volume":"134","author":"Staunstrup","year":"1982"},{"key":"10.1016\/0004-3702(88)90052-5_BIB35","series-title":"Proceedings 14th ACM Symposium on Principles of Programming Languages","first-page":"307","article-title":"Views: A way for pattern matching to cohabit with data abstraction","author":"Wadler","year":"1987"},{"key":"10.1016\/0004-3702(88)90052-5_BIB36","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","article-title":"Final algebra semantics and data type extension","volume":"19","author":"Wand","year":"1979","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370288900525?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370288900525?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T08:59:48Z","timestamp":1734080388000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370288900525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,12]]},"references-count":44,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1988,12]]}},"alternative-id":["0004370288900525"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(88)90052-5","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[1988,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Modular algebraic specification of some basic geometrical constructions","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0004-3702(88)90052-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1988 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}