دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
دانلود کتاب زبان ها و سیستم های برنامه نویسی: سمپوزیوم پنجم آسیا ، APLAS 2007 ، سنگاپور ، 29 نوامبر - 1 دسامبر 2007. مجموعه مقالات
مشخصات کتاب
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Vijay Saraswat (auth.), Zhong Shao (eds.) سری: Lecture Notes in Computer Science 4807 ISBN (شابک) : 3540766367, 9783540766360 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 440 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب زبان ها و سیستم های برنامه نویسی: سمپوزیوم پنجم آسیا ، APLAS 2007 ، سنگاپور ، 29 نوامبر - 1 دسامبر 2007. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق و معانی برنامه ها، سیستم عامل ها، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان ها و سیستم های برنامه نویسی: سمپوزیوم پنجم آسیا ، APLAS 2007 ، سنگاپور ، 29 نوامبر - 1 دسامبر 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان ها و سیستم های برنامه نویسی: سمپوزیوم پنجم آسیا ، APLAS 2007 ، سنگاپور ، 29 نوامبر - 1 دسامبر 2007. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین سمپوزیوم آسیایی زبان‌ها و سیستم‌های برنامه‌نویسی، APLAS 2007، برگزار شده در سنگاپور، در نوامبر/دسامبر 2007 است.
25 مقاله کامل اصلاح‌شده همراه با 3 مقاله دعوت شده ارائه شده است. گفتگوها به دقت بررسی و از بین 84 مورد ارسالی انتخاب شدند. این سمپوزیوم به تمام مسائل مربوط به زبان ها و سیستم های برنامه نویسی می پردازد - از مسائل اساسی تا عملی. این مقالات بر موضوعاتی مانند معناشناسی، منطق، نظریه بنیادی، سیستم‌های نوع، طراحی زبان، تجزیه و تحلیل برنامه، بهینه‌سازی، تبدیل، امنیت نرم‌افزار، ایمنی، تأیید، سیستم‌های کامپایلر، مفسرها، ماشین‌های انتزاعی، زبان‌ها و سیستم‌های خاص دامنه تمرکز دارند. همچنین ابزارها و محیط های برنامه نویسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007.
The 25 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
فهرست مطالب
Front Matter....Pages -
X10: Concurrent Programming for Modern Architectures....Pages 1-1
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification....Pages 2-18
Local Reasoning for Storable Locks and Threads....Pages 19-37
Monadic, Prompt Lazy Assertions in Haskell....Pages 38-53
Translation Correctness for First-Order Object-Oriented Pattern Matching....Pages 54-70
Persistent Oberon: A Programming Language with Integrated Persistence....Pages 71-85
More Typed Assembly Languages for Confidentiality....Pages 86-104
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics....Pages 105-121
On a Tighter Integration of Functional and Logic Programming....Pages 122-138
Scalable Simulation of Cellular Signaling Networks....Pages 139-157
Timed, Distributed, Probabilistic, Typed Processes....Pages 158-174
A Probabilistic Applied Pi–Calculus....Pages 175-190
Type-Based Verification of Correspondence Assertions for Communication Protocols....Pages 191-205
Deriving Compilers and Virtual Machines for a Multi-level Language....Pages 206-221
Finally Tagless, Partially Evaluated....Pages 222-238
Polymorphic Delimited Continuations....Pages 239-254
Adjunct Elimination in Context Logic for Trees....Pages 255-270
Positive Arithmetic Without Exchange Is a Subclassical Logic....Pages 271-285
Mixed Inductive/Coinductive Types and Strong Normalization....Pages 286-301
Static and Dynamic Analysis: Better Together....Pages 302-302
The Semantics of “Semantic Patches” in Coccinelle: Program Transformation for the Working Programmer....Pages 303-318
An Efficient SSA-Based Algorithm for Complete Global Value Numbering....Pages 319-334
A Systematic Approach to Probabilistic Pointer Analysis....Pages 335-350
Complete Lattices and Up-To Techniques....Pages 351-366
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract....Pages 367-382
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence....Pages 383-398
Call-by-Name and Call-by-Value in Normal Modal Logic....Pages 399-414
Call-by-Value Is Dual to Call-by-Name, Extended....Pages 415-430
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Arduino Adventures: Escape from Gemini Station. Дополнительные материалы к книге
دانلود کتاب Visual Blueprint Visual Basic NET
دانلود کتاب 5 Practical React Projects
دانلود کتاب C Programming in Linux
دانلود کتاب Entity Framework 4.0 Recipes: A Problem-Solution Approach
دانلود کتاب Programming Mobile Devices: An Introduction for Practitioners
دانلود کتاب The standard C library
دانلود کتاب Coder to Developer: Tools and Strategies for Delivering Your Software
