{"product_id":"automated-and-algorithmic-debugging-first-international-workshop-aadebug-93-linkoping-sweden-may-3-5-1993-proceedings-von-peter-a-fritzson-hrsg","title":"Automated and Algorithmic Debugging","description":"Debugging has always been a costly part of software\ndevelopment, and many   attempts have been made to provide\nautomatic computer support for this task.Automated\ndebugging has seen major develoments over the last decade.\nOnesuccessful development is algorithmic debugging, which\noriginated in logic  programming but was later generalized to\nconcurrent, imperative, and lazy   functional languages.\nImportant advances have also been made in             knowledge-based\nprogram debugging, and in approaches to automated           debugging\nbased on static and dynamic program slicing based on\ndataflow and dependence analysis technology. This is the\nfirst collected volume of   papers on automated debugging and\npresents latest developments, tutorial    papers, and surveys.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540574170\"\u003e\u003ch3\u003eFirst International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540574170","offer_id":39437022953565,"sku":"9783540574170","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/21fb7fc9-6710-4820-8c50-e53661d8479e.jpg?v=1773554746","url":"https:\/\/shop.autorenwelt.de\/products\/automated-and-algorithmic-debugging-first-international-workshop-aadebug-93-linkoping-sweden-may-3-5-1993-proceedings-von-peter-a-fritzson-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}