{"id":"https://openalex.org/W1559507652","doi":"https://doi.org/10.1007/3-540-48153-2_22","title":"Program Slicing of Hardware Description Languages","display_name":"Program Slicing of Hardware Description Languages","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W1559507652","doi":"https://doi.org/10.1007/3-540-48153-2_22","mag":"1559507652"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-48153-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-48153-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-48153-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-48153-2_22.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110048758","display_name":"E. M. Clarke","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"E. M. Clarke","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA","Verysys Design Automation, Inc., Fremont, CA, USA","Carnegie Mellon University, PA, USA","Verysys Design Automation, Inc., CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Verysys Design Automation, Inc., Fremont, CA, USA","institution_ids":[]},{"raw_affiliation_string":"Carnegie Mellon University, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Verysys Design Automation, Inc., CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070956766","display_name":"M. Fujita","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Fujita","raw_affiliation_strings":["Fujitsu Labs of America, Sunnyvale, CA, USA","Fujitsu Labs of America, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fujitsu Labs of America, Sunnyvale, CA, USA","institution_ids":["https://openalex.org/I4210094759"]},{"raw_affiliation_string":"Fujitsu Labs of America, CA, USA","institution_ids":["https://openalex.org/I4210094759"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111449373","display_name":"Sreeranga P. Rajan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. P. Rajan","raw_affiliation_strings":["Fujitsu Labs of America, Sunnyvale, CA, USA","Fujitsu Labs of America, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fujitsu Labs of America, Sunnyvale, CA, USA","institution_ids":["https://openalex.org/I4210094759"]},{"raw_affiliation_string":"Fujitsu Labs of America, CA, USA","institution_ids":["https://openalex.org/I4210094759"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066155126","display_name":"Thomas Reps","orcid":"https://orcid.org/0000-0002-5676-9949"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]},{"id":"https://openalex.org/I4210135696","display_name":"GrammaTech (United States)","ror":"https://ror.org/03mwfxd89","country_code":"US","type":"company","lineage":["https://openalex.org/I4210135696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"T. Reps","raw_affiliation_strings":["Grammatech, Inc., Ithaca, NY, USA","University of Wisconsin, Madison, WI, USA","Grammatech, Inc., NY, USA","University of Wisconsin, WI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Grammatech, Inc., Ithaca, NY, USA","institution_ids":["https://openalex.org/I4210135696"]},{"raw_affiliation_string":"University of Wisconsin, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]},{"raw_affiliation_string":"Grammatech, Inc., NY, USA","institution_ids":["https://openalex.org/I4210135696"]},{"raw_affiliation_string":"University of Wisconsin, WI, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071314730","display_name":"Subash Shankar","orcid":null},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I39694355","display_name":"Hunter College","ror":"https://ror.org/00g2xk477","country_code":"US","type":"education","lineage":["https://openalex.org/I39694355"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Shankar","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA","Hunter College and the Graduate School, The City University of New York, New York, NY, USA","Verysys Design Automation, Inc., Fremont, CA, USA","Hunter College and the Graduate School, The City University of New York, NY, USA","Verysys Design Automation, Inc., CA, USA","Carnegie Mellon University, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Hunter College and the Graduate School, The City University of New York, New York, NY, USA","institution_ids":["https://openalex.org/I39694355","https://openalex.org/I174216632"]},{"raw_affiliation_string":"Verysys Design Automation, Inc., Fremont, CA, USA","institution_ids":[]},{"raw_affiliation_string":"Hunter College and the Graduate School, The City University of New York, NY, USA","institution_ids":["https://openalex.org/I39694355","https://openalex.org/I174216632"]},{"raw_affiliation_string":"Verysys Design Automation, Inc., CA, USA","institution_ids":[]},{"raw_affiliation_string":"Carnegie Mellon University, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056400584","display_name":"Tim Teitelbaum","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I4210135696","display_name":"GrammaTech (United States)","ror":"https://ror.org/03mwfxd89","country_code":"US","type":"company","lineage":["https://openalex.org/I4210135696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"T. Teitelbaum","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA","Grammatech, Inc., Ithaca, NY, USA","Grammatech, Inc., NY, USA","Cornell University, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Grammatech, Inc., Ithaca, NY, USA","institution_ids":["https://openalex.org/I4210135696"]},{"raw_affiliation_string":"Grammatech, Inc., NY, USA","institution_ids":["https://openalex.org/I4210135696"]},{"raw_affiliation_string":"Cornell University, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5110048758"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.4774,"has_fulltext":true,"cited_by_count":80,"citation_normalized_percentile":{"value":0.78826531,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"298","last_page":"313"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8980731964111328},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.757360577583313},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7091467976570129},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.6624668836593628},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.2944685220718384}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8980731964111328},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.757360577583313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7091467976570129},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.6624668836593628},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.2944685220718384}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/3-540-48153-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-48153-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-48153-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:repository.cmu.edu:compsci-1453","is_oa":false,"landing_page_url":"http://repository.cmu.edu/cgi/viewcontent.cgi?article=1453&context=compsci","pdf_url":null,"source":{"id":"https://openalex.org/S4306400668","display_name":"Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I74973139","host_organization_name":"Carnegie Mellon University","host_organization_lineage":["https://openalex.org/I74973139"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Department","raw_type":"text"},{"id":"pmh:doi:10.1184/r1/6608657","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal contribution"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.31.914","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.914","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-103.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.398","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.wisc.edu/wpis/papers/charme99.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.60.8818","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.8818","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~emc/papers/Conference%20Papers/Program%20Slicing%20of%20Hardware%20Description%20Languages.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.72.9752","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.9752","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-103.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/3-540-48153-2_22","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3-540-48153-2_22","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F3-540-48153-2_22.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3476212770","display_name":"Algorithm Design and Implementation for Parallel            Scientific Computation","funder_award_id":"9505472","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3500687615","display_name":"Shape-Analysis for Languages with Destructive Updating","funder_award_id":"9619219","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4739673260","display_name":null,"funder_award_id":"96-00337","funder_id":"https://openalex.org/F4320320950","funder_display_name":"United States-Israel Binational Science Foundation"},{"id":"https://openalex.org/G5016584211","display_name":"Semantics-Based Program Manipulation","funder_award_id":"9625667","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320320950","display_name":"United States-Israel Binational Science Foundation","ror":"https://ror.org/00j8z2m73"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1559507652.pdf","grobid_xml":"https://content.openalex.org/works/W1559507652.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W53653091","https://openalex.org/W1501405968","https://openalex.org/W1575308494","https://openalex.org/W1576925855","https://openalex.org/W1605593319","https://openalex.org/W1921315132","https://openalex.org/W1973828066","https://openalex.org/W1976886499","https://openalex.org/W1997493115","https://openalex.org/W2060910994","https://openalex.org/W2064625489","https://openalex.org/W2080973181","https://openalex.org/W2088140535","https://openalex.org/W2092483417","https://openalex.org/W2117189826","https://openalex.org/W2136657144","https://openalex.org/W2142840915","https://openalex.org/W2144344516","https://openalex.org/W2147088720","https://openalex.org/W2157402204","https://openalex.org/W2162310108","https://openalex.org/W2252806406","https://openalex.org/W2293624369","https://openalex.org/W3151756653","https://openalex.org/W4235775353","https://openalex.org/W4235915479","https://openalex.org/W4248351790","https://openalex.org/W4250884204","https://openalex.org/W4253692155","https://openalex.org/W6823100860"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W2991905743","https://openalex.org/W4239953224","https://openalex.org/W2112395437","https://openalex.org/W2347708239","https://openalex.org/W4302024603","https://openalex.org/W2170816480","https://openalex.org/W1595405651","https://openalex.org/W2011854888"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":3}],"updated_date":"2026-05-19T08:33:51.333923","created_date":"2025-10-10T00:00:00"}