{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:21:31Z","timestamp":1729621291758,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/memcod.2008.4547685","type":"proceedings-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T15:40:32Z","timestamp":1213976432000},"page":"39-48","source":"Crossref","is-referenced-by-count":3,"title":["Rule-Based Approaches for Equivalence Checking of SpecC Programs"],"prefix":"10.1109","author":[{"given":"Subash","family":"Shankar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"a survey of program slicing techniques","year":"1994","author":"tip","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.071"},{"key":"18","first-page":"252","article-title":"program slicing for system level designs in specc","author":"tanabe","year":"2004","journal-title":"Advances in Computer Science and Technology (ACST)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015727"},{"article-title":"a new foundation for control-dependence and slicing for modern program structures","year":"2004","author":"ranganath","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/347324.349121"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/800020.808263"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050041"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems"},{"key":"3","article-title":"program slicing for vhdl","volume":"4","author":"clarke","year":"2001","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"year":"0","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019411"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120791"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277638"},{"journal-title":"Codesurfer","year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1109118.1109121"},{"key":"4","article-title":"specc language reference manual","author":"domer","year":"2002","journal-title":"SpecC Technology Open Consurtium"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73573"}],"event":{"name":"2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08)","start":{"date-parts":[[2008,6,5]]},"location":"Anaheim, CA, USA","end":{"date-parts":[[2008,6,7]]}},"container-title":["2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4542603\/4547672\/04547685.pdf?arnumber=4547685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T09:17:58Z","timestamp":1497777478000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4547685\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memcod.2008.4547685","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}