{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:09Z","timestamp":1725664989363},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:18:57Z","timestamp":1330294737000},"page":"332-348","source":"Crossref","is-referenced-by-count":23,"title":["Combining slicing and constraint solving for validation of measurement software"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Snelting","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"H. Agrawal, R. DeMillo, E. Spafford: Dynamic slicing in the presence of unconstrained pointers. Proc. 4th Symposium on Testing, Analysis, and Verification. ACM 1991, pp. 60\u201373.","DOI":"10.1145\/120807.120813"},{"key":"23_CR2","unstructured":"F. Benhamou, A. Colmerauer (Ed.): Constraint Logic Programming: Selected Research. MIT Press 1993."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"J. Choi, M. Burke, P. Carini: Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. Proc. 20th Principles of Programming Languages, ACM 1993, pp. 232\u2013245.","DOI":"10.1145\/158511.158639"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1145\/183432.183438","volume":"16","author":"J. Choi","year":"1994","unstructured":"J. Choi, J. Ferrante: Static slicing in the presence of GOTO statements. ACM TOPLAS 16(1994), pp. 1087\u20131113.","journal-title":"ACM TOPLAS"},{"key":"23_CR5","unstructured":"F. Benhamou, W. Older: Applying Interval Arithmetic to Real, Integer and Bolean Constraints. To appear in Journal of Logic Programming (1995)."},{"issue":"7","key":"23_CR6","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D. Denning","year":"1977","unstructured":"D. Denning, P. Denning: Certification of programs for secure information flow. Communications of the ACM 20(7), S. 504\u2013513, Juli 1977.","journal-title":"Communications of the ACM"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"J. Field, G. Ramalingam, F. Tip: Parametric program slicing. Proc. 21th Symposium on Principles of Programming Languages, ACM 1995, S. 379\u2013392.","DOI":"10.1145\/199448.199534"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"S. Horwitz, P. Pfeiffer, T. Reps: Dependence analysis for pointer variables. Proc. SIGPLAN Programming Language Design and Implementation, ACM 1989, pp. 28\u201340.","DOI":"10.1145\/73141.74821"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T. Reps: The use of program dependence graphs in software engineering. Proc. 14th Int. Conference on Software Engineering, IEEE 1992, pp. 392\u2013411.","DOI":"10.1145\/143062.143156"},{"issue":"3","key":"23_CR10","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylow, P. Stuckey, R. Yap: The CLP(R) language and system. ACM TOPLAS 14(3), pp. 339\u2013395 (Juli 1992).","journal-title":"ACM TOPLAS"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar, M. Maher: Constraint logic programming: a survey. To appear in Journal of Logic Programming (1995).","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"W. Landi, B. Ryder: A safe approximation algorithm for interprocedural pointer aliasing. Proc. SIGPLAN Programming Language Design and Implementation, ACM 1992, pp. 93\u2013103.","DOI":"10.1145\/143095.143137"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"T. Reps, S. Horwitz, M. Sagiv, G. Rosay: Speeding up Slicing. Proc. 2nd SIGSOFT Foundations of Software Engineering, ACM 1994, pp. 11\u201320.","DOI":"10.1145\/193173.195287"},{"key":"23_CR14","unstructured":"G. Smolka, M. Henz, J. W\u00fcrz: Object-Oriented Concurrent Constraint Programming in Oz. DFKI Research Report 93-16."},{"key":"23_CR15","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"F. Tip: A survey of program slicing techniques. Journal of Programming Languages 3 (1995), pp. 121\u2013189.","journal-title":"Journal of Programming Languages"},{"issue":"4","key":"23_CR16","doi-asserted-by":"crossref","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), pp. 352\u2013357, Juli 1984.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:10Z","timestamp":1605647410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}