{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:15Z","timestamp":1750307475899,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,3,28]],"date-time":"2010-03-28T00:00:00Z","timestamp":1269734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PTDC\/EIA\/65862\/2006"],"award-info":[{"award-number":["PTDC\/EIA\/65862\/2006"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,3,28]]},"DOI":"10.1145\/1868281.1868284","type":"proceedings-article","created":{"date-parts":[[2010,10,12]],"date-time":"2010-10-12T15:38:31Z","timestamp":1286897911000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["GamaSlicer"],"prefix":"10.1145","author":[{"given":"Daniela","family":"da Cruz","sequence":"first","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]},{"given":"Pedro Rangel","family":"Henriques","sequence":"additional","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]},{"given":"Jorge Sousa","family":"Pinto","sequence":"additional","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2010,3,28]]},"reference":[{"volume-title":"Workshop on Inspection in Software Engineering","year":"2001","author":"Anderson P.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/645545.656027"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.291"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/372202.372784"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647537.729684"},{"key":"e_1_3_2_1_6_1","unstructured":"}}S. Conchon E. Contejean and J. Kanig. Ergo: a theorem prover for polymorphic first-order logic modulo theories 2006.  }}S. Conchon E. Contejean and J. Kanig. Ergo: a theorem prover for polymorphic first-order logic modulo theories 2006."},{"key":"e_1_3_2_1_7_1","unstructured":"}}D. da Cruz J. S. Pinto and P. R. Henriques. Specification-based slicing and slice graphs. http:\/\/alfa.di.uminho.pt\/~danieladacruz\/techReportCPH09b.pdf October 2009.  }}D. da Cruz J. S. Pinto and P. R. Henriques. Specification-based slicing and slice graphs. http:\/\/alfa.di.uminho.pt\/~danieladacruz\/techReportCPH09b.pdf October 2009."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"}}\n      \n      L.\n       \n      de Moura\n     and \n      \n      \n      N.\n       \n      Bj\u00f8rner\n      \n  \n  . \n  Z3: An Efficient SMT Solver volume \n  4963\/2008\n   of \n  Lecture Notes in Computer Science pages \n  337\n  --\n  340\n  . \n  Springer Berlin April \n  2008\n  .   }}L. de Moura and N. Bj\u00f8rner. Z3: An Efficient SMT Solver volume 4963\/2008 of Lecture Notes in Computer Science pages 337--340. Springer Berlin April 2008.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_9_1","unstructured":"}}B. Dutertre and L. de Moura. The Yices SMT solver. Tool paper at http:\/\/yices.csl.sri.com\/tool-paper.pdf August 2006.  }}B. Dutertre and L. de Moura. The Yices SMT solver. Tool paper at http:\/\/yices.csl.sri.com\/tool-paper.pdf August 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972724"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018431.1021412"},{"key":"e_1_3_2_1_14_1","unstructured":"}}G. T. Leavens and Y. Cheon. Design by Contract with JML 2004.  }}G. T. Leavens and Y. Cheon. Design by Contract with JML 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_16_1","unstructured":"}}T. Parr. The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Programmers. Pragmatic Bookshelf first edition May 2007.   }}T. Parr. The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Programmers. Pragmatic Bookshelf first edition May 2007."},{"volume-title":"IEEE Computer Society","year":"2002","author":"Reynolds J.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"}],"event":{"name":"LDTA '10: Language Descriptions, Tools and Applications","sponsor":["University of Minnesota Software Engineering Center","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Paphos Cyprus","acronym":"LDTA '10"},"container-title":["Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868281.1868284","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1868281.1868284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:52Z","timestamp":1750248532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868281.1868284"}},"subtitle":["an online laboratory for program verification and analysis"],"short-title":[],"issued":{"date-parts":[[2010,3,28]]},"references-count":17,"alternative-id":["10.1145\/1868281.1868284","10.1145\/1868281"],"URL":"https:\/\/doi.org\/10.1145\/1868281.1868284","relation":{},"subject":[],"published":{"date-parts":[[2010,3,28]]},"assertion":[{"value":"2010-03-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}