دانلود کتاب Automated and Algorithmic Debugging: First International Workshop, AADEBUG ’93 Linköping, Sweden, May 3–5, 1993 Proceedings (به فارسی: اشکال زدایی خودکار و الگوریتمی: اولین کارگاه بین المللی، AADEBUG ’93 لینکوپینگ، سوئد، 3 تا 5 مه 1993 مجموعه مقالات) نوشته شده توسط «Mireille Ducassé (auth.) – Peter A. Fritzson (eds.)»
اطلاعات کتاب اشکال زدایی خودکار و الگوریتمی: اولین کارگاه بین المللی، AADEBUG ’93 لینکوپینگ، سوئد، 3 تا 5 مه 1993 مجموعه مقالات
موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Mireille Ducassé (auth.) – Peter A. Fritzson (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1993
تعداد صفحه: 367
حجم کتاب: 20 مگابایت
کد کتاب: 9783540574170 , 3540574174 , 0387574174
نوبت چاپ: 1
توضیحات کتاب اشکال زدایی خودکار و الگوریتمی: اولین کارگاه بین المللی، AADEBUG ’93 لینکوپینگ، سوئد، 3 تا 5 مه 1993 مجموعه مقالات
اشکال‌زدایی همیشه بخشی پرهزینه از توسعه نرم‌افزار بوده است، و تلاش‌های زیادی برای ارائه پشتیبانی خودکار رایانه‌ای برای این کار انجام شده است. اشکال‌زدایی خودکار در دهه گذشته شاهد پیشرفت‌های عمده‌ای بوده است. توسعه موفق، اشکال زدایی الگوریتمی است که در برنامه نویسی منطقی منشا گرفت، اما بعداً به زبان های تابعی همزمان، ضروری و تنبل تعمیم یافت. همچنین پیشرفت‌های مهمی در اشکال‌زدایی برنامه‌های مبتنی بر دانش، و رویکردهای اشکال‌زدایی خودکار بر اساس برش استاتیک و پویا برنامه‌ها بر اساس جریان داده و فناوری تحلیل وابستگی صورت گرفته است. این اولین جلد از مقالات جمع آوری شده در مورد اشکال زدایی خودکار است و آخرین پیشرفت ها، مقالات آموزشی و نظرسنجی ها را ارائه می دهد.
Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is algorithmic debugging, which originated in logic programming but was later generalized to concurrent, imperative, and lazy functional languages. Important advances have also been made in knowledge-based program debugging, and in approaches to automated debugging based on static and dynamic program slicing based on dataflow and dependence analysis technology. This is the first collected volume of papers on automated debugging and presents latest developments, tutorial papers, and surveys.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.