{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T21:01:08Z","timestamp":1751662868167},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665595"},{"type":"electronic","value":"9783540481539"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48153-2_22","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:13:28Z","timestamp":1269882808000},"page":"298-313","source":"Crossref","is-referenced-by-count":36,"title":["Program Slicing of Hardware Description Languages"],"prefix":"10.1007","author":[{"given":"E. M.","family":"Clarke","sequence":"first","affiliation":[]},{"given":"M.","family":"Fujita","sequence":"additional","affiliation":[]},{"given":"S. P.","family":"Rajan","sequence":"additional","affiliation":[]},{"given":"T.","family":"Reps","sequence":"additional","affiliation":[]},{"given":"S.","family":"Shankar","sequence":"additional","affiliation":[]},{"given":"T.","family":"Teitelbaum","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, April 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"D. D\u00e9harbe, S. Shankar, and E.M. Clarke. Model checking VHDL with CV. In Formal Methods in Computer Aided Design (FMCAD), page to appear, 1997.","DOI":"10.1007\/3-540-49519-3_33"},{"issue":"4","key":"22_CR3","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352\u2013357, 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR4","unstructured":"M. Weiser. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, 1979."},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"K.J. Ottenstein and L.M. Ottenstein. The program dependence graph in a software development environment. In Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 177\u2013184, New York, NY, 1984. ACM Press.","DOI":"10.1145\/800020.808263"},{"issue":"9","key":"22_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"3","author":"J. Ferrante","year":"1987","unstructured":"J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 3(9):319\u2013349, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26\u201360, January 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T. Reps, M. Sagiv, and G. Rosay. Speeding up slicing. In Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 11\u201320, New York, NY, December 1994. ACM Press.","DOI":"10.1145\/195274.195287"},{"key":"22_CR9","unstructured":"F. Tip. A survey of program slicing techniques. Technical Report CS-R9438, Centrum voor Wiskunde en Informatica, 1994."},{"key":"22_CR10","volume-title":"Advances in Computers","author":"D. Binkley","year":"1996","unstructured":"D. Binkley and K. Gallagher. Program slicing. In M. Zelkowitz, editor, Advances in Computers, Vol. 43. Academic Press, San Diego, CA, 1996."},{"issue":"8","key":"22_CR11","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1109\/32.83912","volume":"SE-17","author":"K.B. Gallagher","year":"1991","unstructured":"K.B. Gallagher and J.R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, SE-17(8):751\u2013761, August 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR12","unstructured":"J. Lyle and M. Weiser. Experiments on slicing-based debugging tools. In Proceedings of the First Conference on Empirical Studies of Programming, June 1986."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"D. Binkley. Using semantic differencing to reduce the cost of regression testing. In Proceedings of the 1992 Conference on Software Maintenance (Orlando, FL, November 9-12, 1992), pages 41\u201350, 1992.","DOI":"10.1109\/ICSM.1992.242560"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"S. Bates and S. Horwitz. Incremental program testing using program dependence graphs. In ACM Symposium on Principles of Programming Languages, pages 384\u2013396, 1993.","DOI":"10.1145\/158511.158694"},{"issue":"3","key":"22_CR15","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/65979.65980","volume":"11","author":"S. Horwitz","year":"1989","unstructured":"S. Horwitz, J. Prins, and T. Reps. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems, 11(3):345\u2013387, July 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"S. Horwitz. Identifying the semantic and textual differences between two versions of a program. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 234\u2013245, 1990.","DOI":"10.1145\/93542.93574"},{"key":"22_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-61580-6_20","volume-title":"Proc. of the Dagstuhl Seminar on Partial Evaluation","author":"T. Reps","year":"1996","unstructured":"T. Reps and T. Turnidge. Program specialization via program slicing. In O. Danvy, R. Glueck, and P. Thiemann, editors, Proc. of the Dagstuhl Seminar on Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, pages 409\u2013429, Schloss Dagstuhl, Wadern, Germany, February 1996. Springer-Verlag."},{"issue":"5","key":"22_CR18","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/175290.175295","volume":"37","author":"J.Q. Ning","year":"1994","unstructured":"J.Q. Ning, A. Engberts, and W. Kozaczynski. Automated support for legacy code understanding. Communications of the ACM, 37(5):50\u201357, May 1994.","journal-title":"Communications of the ACM"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"D. Jackson and E.J. Rollins. A new model of program dependences for reverse engineering. SIGSOFT 94: Proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, (New Orleans, LA, December 7-9, 1994), ACM SIGSOFT Software Engineering Notes, 19, December 1994.","DOI":"10.1145\/193173.195281"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"T. Reps and G. Rosay. Precise interprocedural chopping. SIGSOFT 95: Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, (Washington, DC, October 10-13, 1995), ACM SIGSOFT Software Engineering Notes, 20(4), 1995.","DOI":"10.1145\/222132.222138"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/176454.176473","volume":"2","author":"D. Binkley","year":"1993","unstructured":"D. Binkley. Precise executable interprocedural slices. ACM Letters on Programming Languages and Systems, 2:31\u201345, 1993.","journal-title":"ACM Letters on Programming Languages and Systems"},{"issue":"4","key":"22_CR22","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR23","unstructured":"IEEE. IEEE Standard VHDL Language Reference Manual, 1987. Std 1076\u20131987."},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, M. F ujita, S.P. R ajan, T. Reps, S. Shankar, and T. Teitelbaum. Program slicing of hardware description languages. Technical Report CMU-CS-99-103, Carnegie Mellon University, 1999.","DOI":"10.21236\/ADA363556"},{"key":"22_CR25","unstructured":"M. Iwaihara, M. Nomura, S. Ichinose, and H. Yasuura. Program slicing on VHDL descriptions and its applications. In Asian Pacific Conference on Hardware Description Languages (APCHDL), pages 132\u2013139, 1996."},{"key":"22_CR26","unstructured":"S. Ichinose, M. Iwaihara, and H. Yasuura. Program slicing on VHDL descriptions and its evaluation. Technical report, Kyushu University, 1998."},{"key":"22_CR27","unstructured":"L. Millett and T. Teitelbaum. Slicing promela and its applications to protocol understanding and analysis. In 4th International SPIN Workshop, pages 75\u201383, 1998."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Robert P. Kurshan. \u201cComputer-Aided Verification of Coordinating Processes\u201d. Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"key":"22_CR29","unstructured":"T. Reps. Program analysis via graph reachability. In Proc. of ILPS 7#x2019;97: Int. Logic Programming Symposium, pages 5\u201319, Cambridge, MA, 1997. M.I.T."}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48153-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:59:04Z","timestamp":1558969144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48153-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665595","9783540481539"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-48153-2_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}