دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Chang. Bor-Yuh Evan
سری: Lecture notes in computer science 10695
ISBN (شابک) : 9783319712369, 3319712373
ناشر: Springer International Publishing : Imprint : Springer
سال نشر: 2017
تعداد صفحات: 559
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 19 مگابایت
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: پانزدهمین سمپوزیوم آسیایی، APLAS 2017، سوژو، چین، 27-29 نوامبر 2017، مجموعه مقالات: سخت افزار کامپیوتر، برنامه نویسی کامپیوتر، علوم کامپیوتر، خرابی سیستم کامپیوتری، کامپیوتر، زبان های برنامه نویسی (رایانه های الکترونیکی)
در صورت تبدیل فایل کتاب Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: پانزدهمین سمپوزیوم آسیایی، APLAS 2017، سوژو، چین، 27-29 نوامبر 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پانزدهمین سمپوزیوم آسیایی زبانها و سیستمهای برنامهنویسی، APLAS 2017، برگزار شده در سوژو، چین، در نوامبر 2017 است. آنها در بخش های موضوعی به نام های: امنیت سازماندهی شدند. استدلال توده و هم ارزی؛ همزمانی و تایید؛ زبان های دامنه خاص؛ مفاهیم؛ و استدلال عددی این جلد همچنین شامل دو گفتگوی دعوت شده در طول مقاله است. مشارکت های دعوت شده - برنامه نویسی با مثال: PL با ML ملاقات می کند - ترکیب کد SystemC از Delay Hybrid CSP - امنیت - رام کردن ارتباطات گذرا پیام در استدلال ترکیبی درباره محرمانگی - - قابلیتهای جاوا: دسترسی ایمن به منابع - اجرای دستورالعملهای برنامهنویسی با انواع و جلوههای منطقه - تولید خودکار پوششهای امن برای SGX از مشخصات منطق جداسازی - Heap و Equivalence Reasoning - بررسی معادلسازی جعبه سیاه در بهینهسازیهای کامپایلر - - تجزیه و تحلیل حساس ضعیف برای تکرار نامحدود بر روی اشیاء جاوا اسکریپت - رویه تصمیم گیری برای مستلزم پشته های نمادین با آرایه ها - نظم بخشیدن به جنگل منطق جداسازی - همزمانی و تایید - برنامه نویسی و اثبات با انواع کلاسیک - تجزیه و تحلیل استاتیکی بازگشتی چند رشته ای برنامههایی که از طریق Rendez-vous ارتباط برقرار میکنند - درختهای متعادل با ریشه تأیید شده - ایمنی و زنده بودن قفل MCS - لایه به لایه - زبانهای خاص دامنه - Palgol: یک DSL سطح بالا برای پردازش گراف راس محور با دادههای راه دور دسترسی -- برنامه نویسی واکنشی تابعی کارآمد از طریق رفتارهای افزایشی -- اجرای جلوه های جبری در C -- Monads به صورت رایگان در C -- جستجوی یکپارچه با زبان صدا و کارآمد: حفظ نظم -- معناشناسی -- تفسیر محاسباتی عبارات بدون زمینه - مونادهای جزئی و کانتینری - هزینه ناچیز و در عین حال ظریف تطبیق الگو - حساب لامبدا برای ماتریسهای چگالی با کنترلهای کلاسیک و احتمالی - استدلال عددی - ماتریسهای محدود اختلاف فشرده - درونیابی غیرخطی واضحتر و سادهتر برای تأیید برنامه - یک زبان برنامه نویسی تابعی غیر استاندارد - انتخاب دقیق بیت هدایت شده با نمونه مقابل.
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.;Invited Contributions -- Programming by Examples: PL meets ML -- Synthesizing SystemC Code from Delay Hybrid CSP -- Security -- Taming Message-passing Communication in Compositional Reasoning about Confidentiality -- Capabilities for Java: Secure Access to Resources -- Enforcing Programming Guidelines with Region-Types and Effects -- Automatically generating secure wrappers for SGX enclaves from separation logic specifications -- Heap and Equivalence Reasoning -- Black-box equivalence checking across compiler optimizations -- Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects -- Decision Procedure for Entailment of Symbolic Heaps with Arrays -- Bringing order to the separation logic jungle -- Concurrency and Verification -- Programming and proving with classical types -- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous -- Verified Root-Balanced Trees -- Safety and Liveness of MCS Lock -- Layer by Layer -- Domain-Specific Languages -- Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access -- Efficient Functional Reactive Programming through Incremental Behaviors -- Implementing Algebraic Effects in C -- Monads for Free in C -- Sound and Efficient Language-Integrated Query: Maintaining the ORDER -- Semantics -- A Computational Interpretation of Context-Free Expressions -- Partiality and container monads -- The Negligible and Yet Subtle Cost of Pattern Matching -- A lambda calculus for density matrices wth classical and probabilistic controls -- Numerical Reasoning -- Compact Difference Bound Matrices -- Sharper and Simpler Nonlinear Interpolants for Program Verification -- A Nonstandard Functional Programming Language -- Counterexample-Guided Bit-Precision Selection.
Front Matter ....Pages I-XIX
Front Matter ....Pages 1-1
Programming by Examples: PL Meets ML (Sumit Gulwani, Prateek Jain)....Pages 3-20
Synthesizing SystemC Code from Delay Hybrid CSP (Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan)....Pages 21-41
Front Matter ....Pages 43-43
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality (Ximeng Li, Heiko Mantel, Markus Tasch)....Pages 45-66
Capabilities for Java: Secure Access to Resources (Ian J. Hayes, Xi Wu, Larissa A. Meinicke)....Pages 67-84
Enforcing Programming Guidelines with Region Types and Effects (Serdar Erbatur, Martin Hofmann, Eugen Zălinescu)....Pages 85-104
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications (Neline van Ginkel, Raoul Strackx, Frank Piessens)....Pages 105-123
Front Matter ....Pages 125-125
Black-Box Equivalence Checking Across Compiler Optimizations (Manjeet Dahiya, Sorav Bansal)....Pages 127-147
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects (Yoonseok Ko, Xavier Rival, Sukyoung Ryu)....Pages 148-168
Decision Procedure for Entailment of Symbolic Heaps with Arrays (Daisuke Kimura, Makoto Tatsuta)....Pages 169-189
Bringing Order to the Separation Logic Jungle (Qinxiang Cao, Santiago Cuellar, Andrew W. Appel)....Pages 190-211
Front Matter ....Pages 213-213
Programming and Proving with Classical Types (Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan)....Pages 215-234
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous (Adrien Pommellet, Tayssir Touili)....Pages 235-254
Verified Root-Balanced Trees (Tobias Nipkow)....Pages 255-272
Safety and Liveness of MCS Lock—Layer by Layer (Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao)....Pages 273-297
Front Matter ....Pages 299-299
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access (Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu)....Pages 301-320
Efficient Functional Reactive Programming Through Incremental Behaviors (Bob Reynders, Dominique Devriese)....Pages 321-338
Implementing Algebraic Effects in C (Daan Leijen)....Pages 339-363
Sound and Efficient Language-Integrated Query (Oleg Kiselyov, Tatsuya Katsushima)....Pages 364-383
Front Matter ....Pages 385-385
A Computational Interpretation of Context-Free Expressions (Martin Sulzmann, Peter Thiemann)....Pages 387-405
Partiality and Container Monads (Tarmo Uustalu, Niccolò Veltri)....Pages 406-425
The Negligible and Yet Subtle Cost of Pattern Matching (Beniamino Accattoli, Bruno Barras)....Pages 426-447
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Alejandro Díaz-Caro)....Pages 448-467
Front Matter ....Pages 469-469
Compact Difference Bound Matrices (Aziem Chawdhary, Andy King)....Pages 471-490
Sharper and Simpler Nonlinear Interpolants for Program Verification (Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo)....Pages 491-513
A Nonstandard Functional Programming Language (Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi)....Pages 514-533
Counterexample-Guided Bit-Precision Selection (Shaobo He, Zvonimir Rakamarić)....Pages 534-553
Back Matter ....Pages 555-555