{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T06:02:32Z","timestamp":1740808952363,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_9","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:56:28Z","timestamp":1292864188000},"page":"105-114","source":"Crossref","is-referenced-by-count":2,"title":["Proving Functional Equivalence for Program Slicing in SPARKTM"],"prefix":"10.1007","author":[{"given":"Ricky E.","family":"Sward","sequence":"first","affiliation":[]},{"suffix":"III","given":"Leemon C.","family":"Baird","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"ASIS Basic Concepts (1998), http:\/\/www.acm.org\/sigada\/wg\/asiswg\/basics.html (retrieved June 3, 2003)"},{"key":"9_CR2","series-title":"c2003 Praxis Critical Systems","volume-title":"High Integrity Software, The SPARK Approach to Safety and Security","author":"J. Barnes","year":"2003","unstructured":"Barnes, J.: High Integrity Software, The SPARK Approach to Safety and Security. c2003 Praxis Critical Systems. Addison-Wesley, London (2003)"},{"key":"9_CR3","unstructured":"Dwyer, M.B., Corbett, J.C., Hatcliff, J., Sokolowski, S., Zheng, H.: Slicing Multi-Threaded Java Programs: A Case Study. Tech. Report KSU CIS TR 99-7"},{"key":"9_CR4","unstructured":"Program Slicing, http:\/\/www.ssw.unilinz.ac.at\/Research\/Projects\/ProgramSlicing (retrieved June 4, 2003)"},{"key":"9_CR5","unstructured":"SPARK 95 \u2013 The SPADE Ada 95 Kernel, copyright Praxis Critical Systems. Edition 4.1 (October 2003)"},{"key":"9_CR6","unstructured":"Sward, R.E.: Extracting Functionally Equivalent Object-Oriented Designs from Legacy Imperative Code. PhD Thesis, Air Force Institute of Technology, Wright-Patterson AFB, OH (September 1997)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Sward, R.E., Chamillard, A.T.: AdaSlicer: A Program Slicer for Ada. In: Proceedings of the ACM International SIGAda 2003 Conference, San Diego, CA (December 2003)","DOI":"10.1145\/958420.958423"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Sward, R.E., Chamillard, A.T.: Re-engineering Global Variables in Ada. In: Proceedings of the ACM International SIGAda 2004 Conference, Atlanta, GA (November 2004)","DOI":"10.1145\/1032297.1032303"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Sward, R.E., Hartrum, T.C.: Extracting objects from legacy imperative code. In: Proceedings of the 12th IEEE International Conference on Automated Software Engineering, Incline Village, Nevada, November 1997, pp. 98\u2013106 (1997)","DOI":"10.1109\/ASE.1997.632829"},{"key":"9_CR10","unstructured":"The Unravel Project (1998), http:\/\/hissa.nist.gov\/unravel\/ (retrieved June 4, 2003)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Weiser, M.: Program slicing. IEEE Transactions on Software Engineering, SE-10(4), 352\u2013357 (1984)","DOI":"10.1109\/TSE.1984.5010248"},{"key":"9_CR12","unstructured":"The Wisconsin Program-Slicing Tool, Version 1.1 (2000), http:\/\/www.cs.wisc.edu\/wpis\/slicing_tool\/ (retrieved June 4, 2003)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T23:56:24Z","timestamp":1740786984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11499909_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}