{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:13:29Z","timestamp":1725747209168},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397172"},{"type":"electronic","value":"9783642397189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39718-9_17","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T03:01:54Z","timestamp":1377831714000},"page":"282-300","source":"Crossref","is-referenced-by-count":0,"title":["On Slicing of Programs with Input Statements"],"prefix":"10.1007","author":[{"given":"H\u00e4rmel","family":"Nestra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"1372","DOI":"10.1016\/j.tcs.2009.10.025","volume":"410","author":"R.W. Barraclough","year":"2010","unstructured":"Barraclough, R.W., Binkley, D., Danicic, S., Harman, M., Hierons, R.M., Kiss, \u00c1., Laurence, M., Ouarbya, L.: A trajectory-based strict semantics for program slicing. Theoretical Computer Science\u00a0410, 1372\u20131386 (2010)","journal-title":"Theoretical Computer Science"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0065-2458(08)60641-5","volume":"43","author":"D.W. Binkley","year":"1996","unstructured":"Binkley, D.W., Gallagher, K.B.: Program slicing. Advances in Computers\u00a043, 1\u201350 (1996)","journal-title":"Advances in Computers"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Collard, J.-F.: Reasoning about Program Transformations. Springer (2003)","DOI":"10.1007\/b97654"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S1571-0661(05)80168-9","volume":"6","author":"P. Cousot","year":"1997","unstructured":"Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Electronic Notes in Theoretical Computer Science\u00a06, 77\u2013102 (1997)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.jlap.2007.02.010","volume":"72","author":"S. Danicic","year":"2007","unstructured":"Danicic, S., Harman, M., Howroyd, J., Ouarbya, L.: A non-standard semantics for program slicing and dependence analysis. Journal of Logic and Algebraic Programming\u00a072, 191\u2013206 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1025872819613","volume":"16","author":"R. Giacobazzi","year":"2003","unstructured":"Giacobazzi, R., Mastroeni, I.: Non-standard semantics for program slicing. Higher-Order Symbolic Computation\u00a016, 297\u2013339 (2003)","journal-title":"Higher-Order Symbolic Computation"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48294-6_1","volume-title":"Static Analysis","author":"J. Hatcliff","year":"1999","unstructured":"Hatcliff, J., Corbett, J., Dwyer, M.B., Sokolowski, S., Zheng, H.: A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 1\u201318. Springer, Heidelberg (1999)"},{"issue":"1","key":"17_CR8","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1006\/inco.1995.1075","volume":"119","author":"R. Kennaway","year":"1995","unstructured":"Kennaway, R., Klop, J.W., Sleep, R., de Vries, F.-J.: Transfinite reductions in orthogonal term rewriting systems. Information and Computation\u00a0119(1), 18\u201338 (1995)","journal-title":"Information and Computation"},{"issue":"4","key":"17_CR9","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3176\/eng.2005.4.05","volume":"11","author":"H. Nestra","year":"2005","unstructured":"Nestra, H.: Transfinite semantics in program slicing. Proceedings of the Estonian Academy of Sciences: Engineering\u00a011(4), 313\u2013328 (2005)","journal-title":"Proceedings of the Estonian Academy of Sciences: Engineering"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/11784180_22","volume-title":"Algebraic Methodology and Software Technology","author":"H. Nestra","year":"2006","unstructured":"Nestra, H.: Fractional semantics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 278\u2013292. Springer, Heidelberg (2006)"},{"key":"17_CR11","unstructured":"Nestra, H.: Iteratively Defined Transfinite Trace Semantics and Program Slicing with respect to Them. PhD thesis, University of Tartu, 119 p. (2006)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1016\/j.jlap.2009.03.001","volume":"78","author":"H. Nestra","year":"2009","unstructured":"Nestra, H.: Transfinite semantics in the form of greatest fixpoint. Journal of Logic and Algebraic Programming\u00a078, 573\u2013592 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-61580-6_20","volume-title":"Partial Evaluation","author":"T. Reps","year":"1996","unstructured":"Reps, T., Turnidge, T.: Program specialization via program slicing. In: Danvy, O., Thiemann, P., Gl\u00fcck, R. (eds.) Dagstuhl Seminar 1996. LNCS, vol.\u00a01110, pp. 409\u2013429. Springer, Heidelberg (1996)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/3-540-50940-2_47","volume-title":"TAPSOFT \u201989. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989","author":"T. Reps","year":"1989","unstructured":"Reps, T., Yang, W.: The semantics of program slicing and program integration. In: D\u00edaz, J., Orejas, F. (eds.) TAPSOFT 1989. LNCS, vol.\u00a0352, pp. 360\u2013374. Springer, Heidelberg (1989)"},{"key":"17_CR15","unstructured":"Sivagurunathan, Y., Harman, M., Danicic, S.: Slicing, I\/O and the implicit state. In: Kamkar, M. (ed.) 3rd International Workshop on Automated Debugging. Link\u00f6ping Electronic Articles in Computer and Information Science, vol.\u00a02, pp. 59\u201367 (1997)"},{"issue":"3","key":"17_CR16","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of Programming Languages\u00a03(3), 121\u2013181 (1995)","journal-title":"Journal of Programming Languages"},{"issue":"2","key":"17_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1216374.1216375","volume":"29","author":"M. Ward","year":"2007","unstructured":"Ward, M., Zedan, H.: Slicing as a program transformation. ACM Transactions on Programming Languages and Systems\u00a029(2), 1\u201353 (2007)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"17_CR18","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TSE.2010.13","volume":"37","author":"M. Ward","year":"2011","unstructured":"Ward, M., Zedan, H.: Deriving a slicing algorithm via FermaT transformations. IEEE Transactions on Software Engineering\u00a037(1), 24\u201347 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR19","unstructured":"Weiser, M.: Program slicing. In: ICSE 1981 Proceedings of the 5th International Conference on Software Engineering, pp. 439\u2013449 (1981)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39718-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,5]],"date-time":"2022-03-05T03:48:01Z","timestamp":1646452081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39718-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397172","9783642397189"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39718-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}