乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:19:30Z","timestamp":1725747570727},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3427081.3427090","type":"proceedings-article","created":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T19:50:55Z","timestamp":1603396255000},"page":"64-71","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards an order-aware object comparison"],"prefix":"10.1145","author":[{"given":"Bruno","family":"Sofiato","sequence":"first","affiliation":[{"name":"Universidade de S\u00e3o Paulo, S\u00e3o Paulo, SP, Brazil"}]},{"given":"F\u00e1bio Levy","family":"Siqueira","sequence":"additional","affiliation":[{"name":"Universidade de S\u00e3o Paulo, S\u00e3o Paulo, SP, Brazil"}]},{"given":"Ricardo Luis","family":"de Azevedo Rocha","sequence":"additional","affiliation":[{"name":"Universidade de S\u00e3o Paulo, S\u00e3o Paulo, SP, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2020,10,22]]},"reference":[{"volume-title":"http:\/\/findbugs.sourceforge.net\/. [Online","year":"2017","key":"e_1_3_2_1_1_1","unstructured":"2017. Findbugs. http:\/\/findbugs.sourceforge.net\/. [Online ; accessed 13- July - 2017 ]. 2017. Findbugs. http:\/\/findbugs.sourceforge.net\/. [Online; accessed 13-July-2017]."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/www.eclipse.org\/aspectj\/. [Online","author":"J.","year":"2019","unstructured":"2019. Aspect J. https:\/\/www.eclipse.org\/aspectj\/. [Online ; accessed 19- May - 2019 ]. 2019. AspectJ. https:\/\/www.eclipse.org\/aspectj\/. [Online; accessed 19-May-2019]."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/165593.165596"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/163359.163375"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167515.1167488"},{"volume-title":"Addison-Wesley","author":"Bloch Joshua","key":"e_1_3_2_1_6_1","unstructured":"Joshua Bloch . 2018. Effective Java (3 ed.). Addison-Wesley , Boston, MA . https:\/\/www.safaribooksonline.com\/library\/view\/effective-java-third\/9780134686097\/ Joshua Bloch. 2018. Effective Java (3 ed.). Addison-Wesley, Boston, MA. https:\/\/www.safaribooksonline.com\/library\/view\/effective-java-third\/9780134686097\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Pierce","author":"Bruce Kim B.","year":"1995","unstructured":"Kim B. Bruce , Luca Cardelli , Giuseppe Castagna , Jonathan Eifrig , Scott F. Smith , Valery Trifonov , Gary T. Leavens , and Benjamin C . Pierce . 1995 . On Binary Methods . Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, and Benjamin C. Pierce. 1995. On Binary Methods."},{"key":"e_1_3_2_1_8_1","volume-title":"Operations on records. Mathematical structures in computer science 1, 1","author":"Cardelli Luca","year":"1991","unstructured":"Luca Cardelli and John C Mitchell . 1991. Operations on records. Mathematical structures in computer science 1, 1 ( 1991 ), 3--48. Luca Cardelli and John C Mitchell. 1991. Operations on records. Mathematical structures in computer science 1, 1 (1991), 3--48."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9288-2"},{"key":"e_1_3_2_1_10_1","unstructured":"Gottlob Frege. 1879. Begriffsschrift eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. L. Nebert. Gottlob Frege. 1879. Begriffsschrift eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. L. Nebert."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/186897"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Neville Grech Julian Rathke and Bernd Fischer. 2010. Generating correct and efficient equality and hashing methods using JEqualityGen. (2010). Neville Grech Julian Rathke and Bernd Fischer. 2010. Generating correct and efficient equality and hashing methods using JEqualityGen. (2010).","DOI":"10.1145\/1868294.1868320"},{"volume-title":"International Organization for Standardization","author":"ISO.","key":"e_1_3_2_1_13_1","unstructured":"ISO. 2018. ISO\/IEC 14882:N4778 Information technology - Programming languages - C++. International Organization for Standardization , Geneva, Switzerland . ISO. 2018. ISO\/IEC 14882:N4778 Information technology - Programming languages - C++. International Organization for Standardization, Geneva, Switzerland."},{"key":"e_1_3_2_1_14_1","unstructured":"ISO\/IEC. 2010. ISO\/IEC 25010 System and software quality models. Technical Report. ISO\/IEC. 2010. ISO\/IEC 25010 System and software quality models. Technical Report."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"volume-title":"Introduction to metamathematics","author":"Kleene Stephen Cole","key":"e_1_3_2_1_16_1","unstructured":"Stephen Cole Kleene , NG de Bruijn , J de Groot , and Adriaan Cornelis Zaanen . 1952. Introduction to metamathematics . Vol. 483 . van Nostrand New York . Stephen Cole Kleene, NG de Bruijn, J de Groot, and Adriaan Cornelis Zaanen. 1952. Introduction to metamathematics. Vol. 483. van Nostrand New York."},{"volume-title":"Philosophical Papers and Letters: A Selection","author":"Leibniz Gottfried Wilhelm","key":"e_1_3_2_1_17_1","unstructured":"Gottfried Wilhelm Leibniz . 1976. Philosophical Papers and Letters: A Selection (Synthese Historical Library 2). D. Reidel\/Springer . Gottfried Wilhelm Leibniz. 1976. Philosophical Papers and Letters: A Selection (Synthese Historical Library 2). D. Reidel\/Springer."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-006-9033-1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449955.1449808"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1894386.1894390"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234169"},{"key":"e_1_3_2_1_23_1","unstructured":"Giuseppe Peano. 1889. Arithmetices Principia Novo Methodo Exposita. Bocca. http:\/\/eudml.org\/doc\/203509 Giuseppe Peano. 1889. Arithmetices Principia Novo Methodo Exposita. Bocca. http:\/\/eudml.org\/doc\/203509"},{"key":"e_1_3_2_1_24_1","unstructured":"Gordon D Plotkin. 1981. A structural approach to operational semantics. (1981). Gordon D Plotkin. 1981. A structural approach to operational semantics. (1981)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070534"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1463788.1463800"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/6294.806902"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3350768.3351796"},{"key":"e_1_3_2_1_29_1","volume-title":"https:\/\/projectlombok.org\/. [Online","author":"Spilker Roel","year":"2019","unstructured":"Roel Spilker and Reinier Zwitserloot . 2019. Project Lombok . https:\/\/projectlombok.org\/. [Online ; accessed 24- April - 2019 ]. Roel Spilker and Reinier Zwitserloot. 2019. Project Lombok. https:\/\/projectlombok.org\/. [Online; accessed 24-April-2019]."},{"key":"e_1_3_2_1_30_1","unstructured":"Venkat Subramaniam. [n.d.]. Effective implementation of equals method. https:\/\/agiledeveloper.com\/articles\/equals062002.htm Venkat Subramaniam. [n.d.]. Effective implementation of equals method. https:\/\/agiledeveloper.com\/articles\/equals062002.htm"},{"volume-title":"Introduction to Logic and to the Methodology of the Deductive Sciences (Oxford Logic Guides)","author":"Tarski Alfred","key":"e_1_3_2_1_31_1","unstructured":"Alfred Tarski . 1994. Introduction to Logic and to the Methodology of the Deductive Sciences (Oxford Logic Guides) . Oxford University Press . Alfred Tarski. 1994. Introduction to Logic and to the Methodology of the Deductive Sciences (Oxford Logic Guides). Oxford University Press."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_24"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394764"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01445300"}],"event":{"name":"SBLP '20: 24th Brazilian Symposium on Programming Languages","sponsor":["SBC Brazilian Computer Society"],"location":"Natal Brazil","acronym":"SBLP '20"},"container-title":["Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3427081.3427090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T19:36:36Z","timestamp":1673552196000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427081.3427090"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":34,"alternative-id":["10.1145\/3427081.3427090","10.1145\/3427081"],"URL":"https:\/\/doi.org\/10.1145\/3427081.3427090","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}