دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
دانلود کتاب زبانها و سیستم های برنامه نویسی: سمپوزیوم 11TH، APLAS 2013، ملبورن، VIC، استرالیا، 9-11 دسامبر 2013. پرونده ها
مشخصات کتاب
Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
ویرایش: 1 نویسندگان: Filippo Bonchi, Georgiana Caltais, Damien Pous (auth.), Chung-chieh Shan (eds.) سری: Lecture Notes in Computer Science 8301 Programming and Software Engineering ISBN (شابک) : 9783319035413, 9783319035420 ناشر: Springer International Publishing سال نشر: 2013 تعداد صفحات: 390 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 36,000
کلمات کلیدی مربوط به کتاب زبانها و سیستم های برنامه نویسی: سمپوزیوم 11TH، APLAS 2013، ملبورن، VIC، استرالیا، 9-11 دسامبر 2013. پرونده ها: زبان های برنامه نویسی، کامپایلر، مترجم، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، علوم کامپیوتر، عمومی، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و سیستم های برنامه نویسی: سمپوزیوم 11TH، APLAS 2013، ملبورن، VIC، استرالیا، 9-11 دسامبر 2013. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و سیستم های برنامه نویسی: سمپوزیوم 11TH، APLAS 2013، ملبورن، VIC، استرالیا، 9-11 دسامبر 2013. پرونده ها
این کتاب مجموعه مقالات داوری یازدهمین سمپوزیوم آسیایی زبانها و سیستم‌های برنامه‌نویسی، APLAS 2013، برگزار شده در ملبورن، استرالیا، در دسامبر 2013 است. از بین 57 ارسال انتخاب شده است. این مقالات انواع مختلفی از مسائل اساسی و کاربردی در زبانها و سیستم‌های برنامه‌نویسی را پوشش می‌دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems.
فهرست مطالب
Front Matter....Pages -
Brzozowski’s and Up-To Algorithms for Must Testing....Pages 1-16
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes....Pages 17-32
Model Checking Dynamic Pushdown Networks....Pages 33-49
Robustness Analysis of Finite Precision Implementations....Pages 50-57
A Hoare Logic for SIMT Programs....Pages 58-73
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist....Pages 74-89
Separation Logic Modulo Theories....Pages 90-106
Bi-Abduction with Pure Properties for Specification Inference....Pages 107-123
Laws of Programming for References....Pages 124-139
Dynamic Alias Protection with Aliasing Contracts....Pages 140-155
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance....Pages 156-171
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle....Pages 172-175
Secure Compilation of Object-Oriented Components to Protected Module Architectures....Pages 176-191
Generalized Quantitative Analysis of Metric Transition Systems....Pages 192-208
GDSL: A Universal Toolkit for Giving Semantics to Machine Language....Pages 209-216
Paragon for Practical Programming with Information-Flow Control....Pages 217-232
ThisJava : An Extension of Java with Exact Types....Pages 233-240
Semantics of Probabilistic Programs: A Weak Limit Approach....Pages 241-256
Ambivalent Types for Principal Type Inference with GADTs....Pages 257-272
Temporal Specification Mining for Anomaly Analysis....Pages 273-289
Automated Inference of Library Specifications for Source-Sink Property Verification....Pages 290-306
The Proof Assistant as an Integrated Development Environment....Pages 307-314
Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries....Pages 315-332
Environmental Bisimulations for Delimited-Control Operators....Pages 333-348
On Bar Recursion and Choice in a Classical Setting....Pages 349-364
Proofs, Upside Down....Pages 365-380
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Mystic Rose, The
دانلود کتاب Handbook of Road Safety Measures, Second Edition
