{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:43:27Z","timestamp":1649069007466},"reference-count":13,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4288,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,11]]},"DOI":"10.1016\/s1571-0661(04)00292-0","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"271-285","source":"Crossref","is-referenced-by-count":2,"title":["Interpreting Abstract Interpretations in Membership Equational Logic"],"prefix":"10.1016","volume":"59","author":[{"given":"Bernd","family":"Fischer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0304-3975(99)00206-6","article-title":"Specification and proof in membership equational logic","volume":"236","author":"Bouhoula","year":"2000","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"10.1016\/S1571-0661(04)00292-0_NEWBIB2","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","article-title":"Model checking and abstraction","volume":"16","author":"Edmund Clarke","year":"1994","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Manuel Clavel, F. Dur\u00e1n, Steven Eker, Patrick Lincoln, N. Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and J. F. Quesada. The Maude system. In P. Narendran and M. Rusinowitch, editors, Proc. 10th Intl. Conf. Rewriting Techniques and Applications, volume 1631 of Lect. Notes Comp. Sci., pages 240\u2013243, Trento, Italy, July 1999. Springer. System Description.","DOI":"10.1007\/3-540-48685-2_18"},{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB4","doi-asserted-by":"crossref","unstructured":"Manuel Clavel, Francisco J. Dur\u00e1n, Steven Eker, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and Jos\u00e9 F. Quesada. Maude: Specification and Programming in Rewriting Logic, March 1999. Maude System documentation at http:\/\/maude.csl.sri.com\/papers.","DOI":"10.1007\/3-540-48685-2_18"},{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Patrick M. Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. 4th ACM Symp. Principles of Programming Languages, pages 238\u2013252, Los Angeles, California, January 1977. ACM Press.","DOI":"10.1145\/512950.512973"},{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Bernd Fischer, Johann Schumann, and Thomas Pressburger. Generating data analysis programs from statistical models (position paper). In Walid Taha, editor, Proc. Intl. Workshop Semantics Applications, and Implementation of Program Generation, volume 1924 of Lect. Notes Comp. Sci., pages 212\u2013229, Montreal, Canada, September 2000. Springer.","DOI":"10.1007\/3-540-45350-4_15"},{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB7","unstructured":"Joseph Goguen. Order sorted algebra. Technical Report 14, UCLA Computer Science Department, 1978. Semantics and Theory of Computation Series."},{"issue":"3","key":"10.1016\/S1571-0661(04)00292-0_NEWBIB8","first-page":"307","article-title":"Completeness of many-sorted equational logic","volume":"11","author":"Goguen","year":"1985","journal-title":"Houston Journal of Mathematics"},{"issue":"2","key":"10.1016\/S1571-0661(04)00292-0_NEWBIB9","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","article-title":"Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations","volume":"105","author":"Goguen","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB10","series-title":"Software Engineering with OBJ: algebraic specification in action","article-title":"Introducing OBJ","author":"Goguen","year":"2000"},{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer. Membership algebra as a logical framework for equational specification. In Proceedings, WADT'97, volume 1376 of Lecture Notes in Computer Science, pages 18\u201361. Springer, 1998.","DOI":"10.1007\/3-540-64299-4_26"},{"issue":"1","key":"10.1016\/S1571-0661(04)00292-0_NEWBIB12","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0004-3702(81)90015-1","article-title":"Theorem proving with abstraction","volume":"16","author":"David Plaisted","year":"1981","journal-title":"Art. Intell"},{"key":"10.1016\/S1571-0661(04)00292-0_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Willem Visser, S. Park, and John Penix. Using predicate abstraction to reduce object-oriented programs for model checking. In Proceedings of the 3rd ACM SIGSOFT Workshop on Formal Methods in Software Practice, August 2000. To appear.","DOI":"10.1145\/349360.351125"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002920?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002920?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T12:27:45Z","timestamp":1585571265000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104002920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,11]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,11]]}},"alternative-id":["S1571066104002920"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00292-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,11]]}}}