دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
دانلود کتاب تجزیه و تحلیل استاتیک: سومین سمپوزیوم بین المللی، SAS '96 آخن، آلمان، 24 تا 26 سپتامبر 1996 مجموعه مقالات
مشخصات کتاب
Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Alex Aiken (auth.), Radhia Cousot, David A. Schmidt (eds.) سری: Lecture Notes in Computer Science 1145 ISBN (شابک) : 3540617396, 9783540617396 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 399 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل استاتیک: سومین سمپوزیوم بین المللی، SAS '96 آخن، آلمان، 24 تا 26 سپتامبر 1996 مجموعه مقالات: است
در صورت تبدیل فایل کتاب Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل استاتیک: سومین سمپوزیوم بین المللی، SAS '96 آخن، آلمان، 24 تا 26 سپتامبر 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تجزیه و تحلیل استاتیک: سومین سمپوزیوم بین المللی، SAS '96 آخن، آلمان، 24 تا 26 سپتامبر 1996 مجموعه مقالات
این کتاب مجموعه مقالات داوری سومین سمپوزیوم بین المللی تجزیه
و تحلیل استاتیک، SAS '96، برگزار شده در آخن، آلمان، در
سپتامبر 1996 همراه با ALP و PLILP است.
این جلد 22 مقاله کامل اصلاح شده با کیفیت بالا را ارائه می
دهد. انتخاب از مجموع 79 ارسالی؛ همچنین شامل سه توصیف سیستم و
مشارکت های دعوت شده توسط الکس آیکن (فقط چکیده)، فلمینگ
نیلسون، و برنهارد استفن است. از جمله موضوعاتی که به آنها
پرداخته می شود، می توان به تحلیل برنامه، تحلیل افزایشی، تفسیر
انتزاعی، ارزیابی جزئی، برنامه نویسی منطقی، برنامه نویسی تابعی
و برنامه نویسی محدودیت اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third
International Static Analysis Symposium, SAS '96, held in
Aachen, Germany, in September 1996 in conjunction with ALP
and PLILP.
The volume presents 22 highly-quality revised full papers
selected from a total of 79 submissions; also included are
three system descriptions and invited contributions by Alex
Aiken (abstract only), Flemming Nielson, and Bernhard
Steffen. Among the topics addressed are program analysis,
incremental analysis, abstract interpretation, partial
evaluation, logic programming, functional programming, and
constraint programming.
فهرست مطالب
Constraint-based program analysis....Pages 1-1
Semantics-directed program analysis: A tool-maker\'s perspective....Pages 2-21
Property-oriented expansion....Pages 22-41
Generalized dominators for structured programs....Pages 42-51
Cache behavior prediction by abstract interpretation....Pages 52-66
Termination analysis for offline partial evaluation of a higher order functional language....Pages 67-82
Proving correctness of Constraint Logic Programs with dynamic scheduling....Pages 83-97
Understanding mobile agents via a non-interleaving semantics for facile....Pages 98-112
Termination analysis for partial functions....Pages 113-127
A freeness and sharing analysis of logic programs based on a pre-interpretation....Pages 128-142
Refinement types for program analysis....Pages 143-158
A comparison of three occur-check analysers....Pages 159-173
Analysis of the equality relations for the program terms....Pages 174-188
An even faster solver for general systems of equations....Pages 189-204
Inferring program specifications in polynomial-time....Pages 205-219
Automated modular termination proofs for real Prolog programs....Pages 220-237
Data-flow-based virtual function resolution....Pages 238-254
Compiling laziness using projections....Pages 255-269
Optimized algorithms for incremental analysis of logic programs....Pages 270-284
Tractable constraints in finite semilattices....Pages 285-300
Uniformity for the decidability of hybrid automata....Pages 301-316
A backward slicing algorithm for Prolog....Pages 317-331
Combining slicing and constraint solving for validation of measurement software....Pages 332-348
Subtyping constrained types....Pages 349-365
Abstract cofibered domains: Application to the alias analysis of untyped programs....Pages 366-382
Stan: A static analyzer for CLP({ie383-01}) based on abstract interpretation....Pages 383-384
Two applications of an incremental analysis engine for (constraint) logic programs....Pages 385-386
PAN — The Prolog analyzer....Pages 387-388
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Evolutionary biology of Ostracoda : its fundamentals and applications : proceedings of the Ninth International Symposium on Ostracoda, held in Shizuoka, Japan, 29 July-2 August
دانلود کتاب Progress in Pattern Recognition, Image Analysis and Applications: 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006 Cancun, Mexico, November 14-17, 2006 Proceedings
دانلود کتاب Management of Convergence Networks and Services: 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings
دانلود کتاب Document Analysis Systems: Theory and Practice: Third IAPR Workshop, DAS’98 Nagano, Japan, November 4–6, 1998 Selected Papers
دانلود کتاب Parallel Scientific Computing: First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings
دانلود کتاب Logic in Databases: International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
دانلود کتاب Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings
دانلود کتاب Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
دانلود کتاب Multimodal Technologies for Perception of Humans: International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
